From 10120fe4d9980139e44012888a91716df2edf2e0 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 29 Dec 2014 11:51:25 +0100
Subject: Support "asm volatile" (closes: PR#5). The CompCert back-end already
 treats "asm" inserts as "volatile" in GCC's sense (performing unpredictable
 side-effects), so no change is required outside of the parser.

---
 cparser/Parser.vy | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cparser/Parser.vy')

diff --git a/cparser/Parser.vy b/cparser/Parser.vy
index ce1beae0..a058a8d1 100644
--- a/cparser/Parser.vy
+++ b/cparser/Parser.vy
@@ -822,6 +822,8 @@ jump_statement:
 asm_statement:
 | loc = ASM LPAREN template = STRING_LITERAL RPAREN SEMICOLON
     { let '(wide, chars, _) := template in ASM wide chars loc }
+| loc = ASM VOLATILE LPAREN template = STRING_LITERAL RPAREN SEMICOLON
+    { let '(wide, chars, _) := template in ASM wide chars loc }
 
 (* 6.9 *)
 translation_unit_file:
-- 
cgit