projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 197462b) | patch
Fixing a potential use after free coming from a pop_back() call invalidating strictly...
authorTim King <taking@google.com>
Sun, 25 Sep 2016 22:49:52 +0000 (15:49 -0700)
committerTim King <taking@google.com>
Sun, 25 Sep 2016 22:49:52 +0000 (15:49 -0700)
commit061c6941ae2595333987897f73bb6cf32b053c4b
tree4388a6484d9d55777e8ddd242cdab4a10747f23btree
parent197462bef8b5d19ca34dfeca00a76df837f27de2commit | diff
Fixing a potential use after free coming from a pop_back() call invalidating strictly earlier entries.
src/theory/arith/theory_arith_private.cpp diff | blob | history