diff options
| author | Alasdair Armstrong | 2017-12-05 20:00:26 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-05 20:00:26 +0000 |
| commit | 44e9396fa90ab68ee4c8d9674c6bbad6fc851c6d (patch) | |
| tree | 9d70ccdadfca9ecf0422ee4919b2729b03f42414 /src/rewrites.ml | |
| parent | 680a5b9dc1db936536c6603aed065ccbd8eabeb5 (diff) | |
Better support for exceptions in sail for ASL specs that need them.
Diffstat (limited to 'src/rewrites.ml')
| -rw-r--r-- | src/rewrites.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rewrites.ml b/src/rewrites.ml index 8963d189..100b9eb7 100644 --- a/src/rewrites.ml +++ b/src/rewrites.ml @@ -364,6 +364,7 @@ let rewrite_sizeof (Defs defs) = ; e_sizeof = (fun nexp -> (E_sizeof nexp, E_sizeof nexp)) ; e_constraint = (fun nc -> (E_constraint nc, E_constraint nc)) ; e_exit = (fun (e1,e1') -> (E_exit (e1), E_exit (e1'))) + ; e_throw = (fun (e1,e1') -> (E_throw (e1), E_throw (e1'))) ; e_return = (fun (e1,e1') -> (E_return e1, E_return e1')) ; e_assert = (fun ((e1,e1'),(e2,e2')) -> (E_assert(e1,e2), E_assert(e1',e2')) ) ; e_internal_cast = (fun (a,(e1,e1')) -> (E_internal_cast (a,e1), E_internal_cast (a,e1'))) |