From 71464adaaf62c328cc85b16f49c96f482b3b46f6 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Sat, 13 May 2017 13:02:36 -0400 Subject: Optimize based on reachability due to -quit --- bfs.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'bfs.h') diff --git a/bfs.h b/bfs.h index 7a41537..3720b9a 100644 --- a/bfs.h +++ b/bfs.h @@ -203,6 +203,8 @@ struct expr { bool always_true; /** Whether this expression always evaluates to false. */ bool always_false; + /** Whether this expression never returns. */ + bool never_returns; /** Number of times this predicate was executed. */ size_t evaluations; -- cgit v1.2.3