diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2020-03-23 12:59:56 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2020-03-23 12:59:56 -0400 |
| commit | 12e93e7c7721f9a581f62a8df9534571d0ec353d (patch) | |
| tree | 4b352f5a4c940438fb9bcca117a1d330f6134d93 /util.c | |
| parent | cd76a94a328719df61c15b02f25f984b43cce19e (diff) | |
| download | bfs-12e93e7c7721f9a581f62a8df9534571d0ec353d.tar.xz | |
opt: Avoid dangling pointers in de_morgan()
If optimize_{and,or}_expr() relocates expr, we need to update the parent
expr or else we might return garbage. It seems impossible to actually
trigger this bug right now, since the {and,or} optimizations are
symmetric, but it could be hit if the simplifications in de_morgan()
expose more information than was known previously.
Diffstat (limited to 'util.c')
0 files changed, 0 insertions, 0 deletions