diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-29 04:13:37 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-29 04:13:37 +0000 |
| commit | 8601612227e50352eecba41168252eee1e9c0410 (patch) | |
| tree | 21e62bd54d59f615b1ae1bb32cffba329a918176 /scripts | |
| parent | 48e88fc93c95a84c53f7250fdc698f37d4623250 (diff) | |
| download | klee-8601612227e50352eecba41168252eee1e9c0410.tar.gz | |
Multiply for alloca & malloca instructions may need to coerce index expression
to target pointer width. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77428 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions