projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e61a7a) | patch
Changing ArrayStoreAll's constructor to delay allocation until it is done checking...
authorTim King <taking@google.com>
Mon, 7 Nov 2016 19:44:52 +0000 (11:44 -0800)
committerTim King <taking@google.com>
Mon, 7 Nov 2016 19:44:52 +0000 (11:44 -0800)
commitd9608e29789960cd50704689d39e9a35d01be321
tree1a73c1293d21ef9ba9d0337d9ed276ffe6cea5aetree
parent6e61a7ad085774c222afa9ffcd2602b827883556commit | diff
Changing ArrayStoreAll's constructor to delay allocation until it is done checking error conditions. This prevents a memory leak in exception throwing branches.
src/expr/array_store_all.cpp diff | blob | history
test/unit/util/array_store_all_black.h diff | blob | history