diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 11:21:59 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-28 11:21:59 +0200 |
| commit | b04bb783badb9051c62b26fb1858f916d0e4ccd0 (patch) | |
| tree | c102a6ccdcfad8b4b3a76cffc2019742232a7cb3 /cparser/PackedStructs.ml | |
| parent | 3c6f5343e0e64b273658b6b3508a8dd6c29b8cef (diff) | |
| download | compcert-kvx-b04bb783badb9051c62b26fb1858f916d0e4ccd0.tar.gz compcert-kvx-b04bb783badb9051c62b26fb1858f916d0e4ccd0.zip | |
Extended inline asm: handle missing cases.
Bitfields: better translation of initializers and compound literals; run this pass before unblocking.
Transform.stmt: extend with ability to treat unblocked code.
test/regression: more bitfield tests.
Diffstat (limited to 'cparser/PackedStructs.ml')
| -rw-r--r-- | cparser/PackedStructs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/PackedStructs.ml b/cparser/PackedStructs.ml index 1f602fc1..ca6c9da5 100644 --- a/cparser/PackedStructs.ml +++ b/cparser/PackedStructs.ml @@ -317,7 +317,7 @@ let transf_expr loc env ctx e = (* Statements *) let transf_stmt env s = - Transform.stmt transf_expr env s + Transform.stmt ~expr:transf_expr env s (* Functions *) |