diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-17 16:30:43 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-17 16:30:43 +0200 |
| commit | 1b5db339bb05f773a6a132be4c0b8cea54d50461 (patch) | |
| tree | 5c7c767bc107eca66fdf6795777821572c5ec5af /backend/CMparser.mly | |
| parent | 3d751c114fe4611a5b72e160127be09cf6c6cfec (diff) | |
| download | compcert-1b5db339bb05f773a6a132be4c0b8cea54d50461.tar.gz compcert-1b5db339bb05f773a6a132be4c0b8cea54d50461.zip | |
Experiment: support a subset of GCC's extended asm statements.
Diffstat (limited to 'backend/CMparser.mly')
| -rw-r--r-- | backend/CMparser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index 69b70e72..bcfa4548 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -60,7 +60,7 @@ let mkef sg toks = if sg.sig_args = [] then raise Parsing.Parse_error; EF_annot_val(intern_string txt, List.hd sg.sig_args) | [EFT_tok "inline_asm"; EFT_string txt] -> - EF_inline_asm(intern_string txt) + EF_inline_asm(intern_string txt, sg) | _ -> raise Parsing.Parse_error |