Daikon failure on gtest

[mernst]

Originally reported on Google Code with ID 37

Now that kvasir-tests/gtest is working with Fjalar/Kvasir (see issue #34) it looks like
there is a problem processing the output in daikon.  Don't know if kvasir output is
incorrect or daikon interpretation is incorrect, but problem is that diakon reports
duplicate symbol definitions.  In daikon/tests/kvasir-tests/gtest run diffs-w-daikon
to see problem.  EXCEPT that kvasir-tests/Makefile.common is currently hacked to not
run test case.  See notes in this file to turn back on.

Reported by markro@cs.washington.edu on 2014-11-18 04:54:24

[mernst]

Fixed the problems and turned the test case back on.  Was caused by dwarf input of TAG_variable
representing the definition of a C++ static const.  Followed later by another TAR_variable
with an AT_specification pointing back to the first.  This represents the declaration
(contained address).  We were not getting the proper information copied into the Fjalar
variable table and were inserting duplicate entries as well.

Reported by markro@cs.washington.edu on 2015-01-12 05:15:02

• Status changed: Fixed