diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-20 18:38:36 +0000 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-02-14 13:10:05 +0000 |
| commit | daf4eef5c3b99cdbc894f6bee40b4d047c5e6553 (patch) | |
| tree | 6336f7aa46c84a3b19f4c0e982101d444aa00adc /lib/Expr/ExprSMTLIBPrinter.cpp | |
| parent | 19b7bdd916c484b52ce1237401b15a346575b4cf (diff) | |
| download | klee-daf4eef5c3b99cdbc894f6bee40b4d047c5e6553.tar.gz | |
ReadExpr::create() was missing an opportunity to constant fold when handling constant arrays.
Diffstat (limited to 'lib/Expr/ExprSMTLIBPrinter.cpp')
0 files changed, 0 insertions, 0 deletions