added _Null_unspecified clang extension

Daniel Kroening · Daniel Kroening · commit c9e9ba20cfc2 · 2018-07-28T15:27:09.000+01:00
diff --git a/src/ansi-c/scanner.l b/src/ansi-c/scanner.l
@@ -1377,6 +1377,14 @@ __decltype          { if(PARSER.cpp98 &&
                 return make_identifier();
             }
 
+  /* This is a clang extension */
+
+"_Null_unspecified" { if(PARSER.mode==configt::ansi_ct::flavourt::CLANG)
+                { /* ignore */ }
+              else
+                return make_identifier();
+            }
+
 }
 
   /* operators following */

Original file line number	Diff line number	Diff line change
`@@ -1377,6 +1377,14 @@ __decltype { if(PARSER.cpp98 &&`
`1377`	`1377`	`return make_identifier();`
`1378`	`1378`	`}`
`1379`	`1379`
	`1380`	`+ /* This is a clang extension */`
	`1381`	`+`
	`1382`	`+"_Null_unspecified" { if(PARSER.mode==configt::ansi_ct::flavourt::CLANG)`
	`1383`	`+ { /* ignore */ }`
	`1384`	`+ else`
	`1385`	`+ return make_identifier();`
	`1386`	`+ }`
	`1387`	`+`
`1380`	`1388`	`}`
`1381`	`1389`
`1382`	`1390`	`/* operators following */`