diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2023-06-16 10:21:53 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2023-06-16 10:21:53 -0400 |
commit | a5550d478234efbb89d1c23ae3234bed626a47f6 (patch) | |
tree | 66b0e99a670cc7043ee453fef4ddf6f969b4c76b /tests/bfs/printf_incomplete_format.sh | |
parent | 425956c9022fda1e98544c4b2d495e91dfde4b4f (diff) | |
download | bfs-a5550d478234efbb89d1c23ae3234bed626a47f6.tar.xz |
opt: Wait until purity is computed to update facts_when_impure
Since we moved purity out of the parser, side-effect detection has been
unnecessarily pessimistic due to this bug. The fix restores warnings in
cases like
$ bfs -false
bfs: warning: This command won't do anything.
Fixes: 693b5f60dc9787d9237920cc0c87fe0e010194ee
Diffstat (limited to 'tests/bfs/printf_incomplete_format.sh')
0 files changed, 0 insertions, 0 deletions