summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2015-01-07 10:24:53 +0100
committerAkim Demaille <akim@lrde.epita.fr>2015-01-07 10:34:07 +0100
commit7cf84b13a079740a638fed6b46634bc888bd2622 (patch)
tree1be656e7e75ec316c6ab1b53148bcff4dc68bb0a /THANKS
parent56351d4c7b3be8a81953defa7e34503976d3589b (diff)
downloadbison-7cf84b13a079740a638fed6b46634bc888bd2622.tar.gz
c++: variants: comparing addresses of typeid.name() is undefined
Instead of storing and comparing pointers to names of types, store pointers to the typeids, and compares the typeids. Reported by Thomas Jahns. <http://lists.gnu.org/archive/html/bug-bison/2014-03/msg00001.html> * data/variant.hh (yytname_): Replace with... (yytypeid_): this.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 2436f004..908498c7 100644
--- a/THANKS
+++ b/THANKS
@@ -132,6 +132,7 @@ Steve Murphy murf@parsetree.com
Sum Wu sum@geekhouse.org
Théophile Ranquet theophile.ranquet@gmail.com
Thiru Ramakrishnan thiru.ramakrishnan@gmail.com
+Thomas Jahns jahns@dkrz.de
Tim Josling tej@melbpc.org.au
Tim Landscheidt tim@tim-landscheidt.de
Tim Van Holder tim.van.holder@pandora.be