diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-04-23 20:20:33 +0100 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2014-04-24 12:05:01 +0100 |
| commit | 2795655e567c3cdbfe3d4815edd83b4f4cdbb542 (patch) | |
| tree | 80400e7fa9b69edd1ecdb3600ca88244f533c389 /lib/Module/Passes.h | |
| parent | aa8cc67c0d8c16388ebe670757327a81f774d0ee (diff) | |
| download | klee-2795655e567c3cdbfe3d4815edd83b4f4cdbb542.tar.gz | |
Asserting that update lists have non-NULL roots within ReadExpr objects (update
lists can have NULL roots, e.g. in MemoryObject instances with concrete contents, where root is allocated lazily only when the updates are required). Also checking whether array updates are typed correctly in UpdateList::extend() rather than in the constructor of UpdateNode (only for update lists with non-NULL roots).
Diffstat (limited to 'lib/Module/Passes.h')
0 files changed, 0 insertions, 0 deletions