diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2020-06-07 17:10:34 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2020-06-07 17:14:28 -0400 |
commit | 671aceb40f6b64e6bfea41c08d6e1b3747a0f3e4 (patch) | |
tree | f5fee8d8696058aa2c99c0fc806dd41a1a8a215e /cmdline.h | |
parent | 527d49a18979bc04992af5864034af57495a2f0b (diff) | |
download | bfs-671aceb40f6b64e6bfea41c08d6e1b3747a0f3e4.tar.xz |
opt: Warn when no side effects are reachable
Diffstat (limited to 'cmdline.h')
0 files changed, 0 insertions, 0 deletions