diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-08-07 17:03:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-19 15:37:46 +0000 |
| commit | d5ce6b3b2c62badebc7534550f09f1b5592a7aa3 (patch) | |
| tree | b8733065d645291db4ee0728b834c8dfc48fd42e /lib/Module/KModule.cpp | |
| parent | 488e65f76e49e28e3db1a845276bf3dac49a2dc1 (diff) | |
| download | klee-d5ce6b3b2c62badebc7534550f09f1b5592a7aa3.tar.gz | |
Refactor InstructionInfoTable
Better debug information
Diffstat (limited to 'lib/Module/KModule.cpp')
| -rw-r--r-- | lib/Module/KModule.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 2a15b02f..9cd46798 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -327,7 +327,7 @@ void KModule::manifest(InterpreterHandler *ih, bool forceSourceOutput) { /* Build shadow structures */ infos = std::unique_ptr<InstructionInfoTable>( - new InstructionInfoTable(module.get())); + new InstructionInfoTable(*module.get())); std::vector<Function *> declarations; @@ -341,7 +341,7 @@ void KModule::manifest(InterpreterHandler *ih, bool forceSourceOutput) { for (unsigned i=0; i<kf->numInstructions; ++i) { KInstruction *ki = kf->instructions[i]; - ki->info = &infos->getInfo(ki->inst); + ki->info = &infos->getInfo(*ki->inst); } functionMap.insert(std::make_pair(&Function, kf.get())); |