From 1a94c7d4d05d0b5727501c66d96d3eb3cad9e128 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 17 Sep 2014 08:23:14 +0000
Subject: Tolerance in parsing of 'section' pragma

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2623 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/CPragmas.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cfrontend/CPragmas.ml b/cfrontend/CPragmas.ml
index c074632..0c93217 100644
--- a/cfrontend/CPragmas.ml
+++ b/cfrontend/CPragmas.ml
@@ -67,6 +67,9 @@ let process_pragma name =
   | ["section"; classname; istring; ustring; addrmode; accmode] ->
       process_section_pragma classname istring ustring addrmode accmode;
       true
+  | ["section"; classname; istring; ustring; accmode] ->
+      process_section_pragma classname istring ustring "" accmode;
+      true
   | "section" :: _ ->
       C2C.error "ill-formed `section' pragma"; true
   | "use_section" :: classname :: identlist ->
-- 
cgit v1.2.3