diff options
author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 19:03:17 -0700 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 19:08:39 -0700 |
commit | 853cc1f5c47781cc3e3681351ffe7a6d0dcd39de (patch) | |
tree | ca400a4e192f09a95c9d5789032cd81d2773666c /lib/Basic | |
parent | f093572ff2dd5d52787fa5be578f975eadf41dd3 (diff) | |
download | klee-853cc1f5c47781cc3e3681351ffe7a6d0dcd39de.tar.gz |
[Module] Fix handling of instructions without debug info.
- The change in 6829fb9 caused us to not allocation InstructionInfo objects for instructions without source-level debug info, however, that means that all such instructions end up sharing the one dummy InstructionInfo object, which really breaks statistics tracking. - This commit basically reverts that change, and also changes the code so we don't ever use the dummy InstructionInfo object for instructions, so that this problem can't be hit in other ways (e.g., if someone modifies the module after the InstructionInfoTable construction). There is a FIXME for checking the same thing for functions. - Fixes #144.
Diffstat (limited to 'lib/Basic')
0 files changed, 0 insertions, 0 deletions