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/Core/Common.cpp | |
| 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/Core/Common.cpp')
0 files changed, 0 insertions, 0 deletions