diff options
Diffstat (limited to 'src/constant_fold.ml')
| -rw-r--r-- | src/constant_fold.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/constant_fold.ml b/src/constant_fold.ml index 7321a801..6ad1f663 100644 --- a/src/constant_fold.ml +++ b/src/constant_fold.ml @@ -180,6 +180,8 @@ let rec rewrite_constant_function_calls' ast = | E_app (id, args) when List.for_all is_constant args -> evaluate e_aux annot + | E_cast (typ, (E_aux (E_lit _, _) as lit)) -> ok (); lit + | E_field (exp, id) when is_constant exp -> evaluate e_aux annot |