diff options
Diffstat (limited to 'cparser/Cflow.ml')
-rw-r--r-- | cparser/Cflow.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cflow.ml b/cparser/Cflow.ml index f5408c15..790d9079 100644 --- a/cparser/Cflow.ml +++ b/cparser/Cflow.ml @@ -117,6 +117,7 @@ let resolve_test env e = match Ceval.integer_expr env e with | None -> None | Some n -> Some (n <> 0L) + | exception Env.Error _ -> None (* Any error due to local types should be ignored *) let if_ env e (s1: flow) (s2: flow) : flow = match resolve_test env e with |