Merge branch 'develop' into c11-alignof

Author: michael-schwarz

src/frontc/clexer.mll

@@ -439,7 +439,7 @@ let oct_escape = '\\' octdigit octdigit? octdigit?
 
 (* Pragmas that are not parsed by CIL.  We lex them as PRAGMA_LINE tokens *)
 let no_parse_pragma =
-               "warning" | "GCC" | "STDC"
+               "warning" | "GCC" | "STDC" | "clang"
              (* Solaris-style pragmas:  *)
              | "ident" | "section" | "option" | "asm" | "use_section" | "weak"
              | "redefine_extname"