Tolerance in parsing of 'section' pragma

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2623 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

Author: xleroy

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 ->