diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-17 15:25:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-17 15:25:54 -0700 |
| commit | 8f085eb6a087242ab8c775ec4fe41ab9a194cec2 (patch) | |
| tree | b21935259add8fdbfca57bf4fdd1a76ea96985d9 /src/theory | |
| parent | f99889b0c1260fccf28daac995e58312912bae9f (diff) | |
Add NodeManagerScopes to fix use-after-free issues (#4768)
This commit fixes our current ASan issues. Some methods in `NodeManager`
were not creating a `NodeManagerScope` for `this` but were indirectly
calling methods that get the `NodeManager` from the current scope, so we
ended up calling methods on a `NodeManager` that had already been
destroyed.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions