diff options
| author | Martin Nowack <martin_nowack@tu-dresden.de> | 2017-10-29 22:06:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-02-18 12:49:41 +0000 |
| commit | f751f9351f0176a3109e260a6e8e9727fc9fb4ea (patch) | |
| tree | 802068a39fe5266b5d80719001becae26f4f0593 /lib/Core/Context.h | |
| parent | 51183b4370eb2a081c440b6ff32acc4e5f50890e (diff) | |
| download | klee-f751f9351f0176a3109e260a6e8e9727fc9fb4ea.tar.gz | |
Fix getelementptr for array or vector indices
Rewrote code based on: llvm::GEPOperator::accumulateConstantOffset(): Handle signed offset correctly.
Diffstat (limited to 'lib/Core/Context.h')
0 files changed, 0 insertions, 0 deletions