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 /src/bfstd.c | |
| 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 'src/bfstd.c')
0 files changed, 0 insertions, 0 deletions