diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-28 08:43:42 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-28 08:43:42 +0000 |
| commit | 4c60e4c9e3b0f8a4933d11cac7acbead62e8f323 (patch) | |
| tree | b2faca8b4e27d8fe03b310371f507fc05a450c5e /lib/Core/Common.cpp | |
| parent | 62029881a52097477a3a6720691a5dedc17ad36e (diff) | |
| download | klee-4c60e4c9e3b0f8a4933d11cac7acbead62e8f323.tar.gz | |
KLEE64: Fix a type conversion problem with calls to klee_make_symbolic; there
are probably lots more of this -- we really need coercion and argument validation to be checked outside of the individual intrinsic handlers. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77311 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/Common.cpp')
0 files changed, 0 insertions, 0 deletions