diff options
| author | Alasdair | 2019-02-06 03:20:03 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-06 03:20:03 +0000 |
| commit | 0f736fcb7fd46d902dffa171d1458253b2070b79 (patch) | |
| tree | 06fc9008f7d3e60d3996c132f2db53811741450a /src/rewrites.ml | |
| parent | 18d9a16b1cfd442fb05039a326795bcd64cb6a79 (diff) | |
Remove all sizeof rewriting from C compilation
All sizeof expressions now removed by the type-checker, so it's now
properly a type error if they cannot be removed rather than a bizarre
re-write error. This also greatly improves compilation speed overall, at
the expense of the first type-checking pass.
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index c6406639..19294698 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -5171,9 +5171,6 @@ let rewrite_defs_c = [ ("remove_vector_concat", rewrite_defs_remove_vector_concat); ("remove_bitvector_pats", rewrite_defs_remove_bitvector_pats); ("exp_lift_assign", rewrite_defs_exp_lift_assign); - ("constraint", rewrite_constraint); - ("trivial_sizeof", rewrite_trivial_sizeof); - ("sizeof", rewrite_sizeof); ("merge_function_clauses", merge_funcls); ("recheck_defs", Optimize.recheck) ] |