diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2017-07-21 19:16:54 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2017-07-21 19:30:26 -0400 |
commit | 2876e0ac4ecf21f26a3e5b42ac9e9a6f61db1062 (patch) | |
tree | 1e4b483c77fd5e31d5b9c66804d16d4dc5cdf628 /dstring.h | |
parent | 462589f69859354a9c623cad9015821e769beecb (diff) |
Represent never returning as always_true && always_false
Expressions that never return are vacuously always both true and false.
Using this representation lets us take advantage of existing truth-based
optimizations, which gets us optimizations of command lines like
bfs -name foo -quit -print
for free.
Diffstat (limited to 'dstring.h')
0 files changed, 0 insertions, 0 deletions