diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-28 08:30:24 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-28 08:30:24 +0000 |
| commit | df7a33107ede974d52bd1662d9e35838a24cc130 (patch) | |
| tree | 8ef756fa9d8612ab2b2752fba7cc9893cedb95b8 /www | |
| parent | 7cafc466deb29417053b6927c36e4ea29108c029 (diff) | |
| download | klee-df7a33107ede974d52bd1662d9e35838a24cc130.tar.gz | |
KLEE64: GetElementPtr constants should be evaluated in the target pointer width.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77308 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
0 files changed, 0 insertions, 0 deletions