From 2495dbb6960c1fc94809ea68ae5c5cca82ac0f0e Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Sat, 11 Feb 2017 10:51:39 -0500 Subject: Allow short-circuiting optimizations with non-pure operands --- bfs.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'bfs.h') diff --git a/bfs.h b/bfs.h index 63766e7..b589def 100644 --- a/bfs.h +++ b/bfs.h @@ -202,6 +202,10 @@ struct expr { /** Whether this expression has no side effects. */ bool pure; + /** Whether this expression always evaluates to true. */ + bool always_true; + /** Whether this expression always evaluates to false. */ + bool always_false; /** Number of times this predicate was executed. */ size_t evaluations; -- cgit v1.2.3