Allow short-circuiting optimizations with non-pure operands

1 files changed, 4 insertions, 0 deletions

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;