added _Null_unspecified clang extension

Daniel Kroening · Daniel Kroening · commit a257dc4747cf · 2018-07-28T17:14:18.000+01:00
diff --git a/src/ansi-c/scanner.l b/src/ansi-c/scanner.l
@@ -1381,6 +1381,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
`@@ -1381,6 +1381,14 @@ __decltype { if(PARSER.cpp98 &&`
`1381`	`1381`	`return make_identifier();`
`1382`	`1382`	`}`
`1383`	`1383`
	`1384`	`+ /* This is a clang extension */`
	`1385`	`+`
	`1386`	`+"_Null_unspecified" { if(PARSER.mode==configt::ansi_ct::flavourt::CLANG)`
	`1387`	`+ { /* ignore */ }`
	`1388`	`+ else`
	`1389`	`+ return make_identifier();`
	`1390`	`+ }`
	`1391`	`+`
`1384`	`1392`	`}`
`1385`	`1393`
`1386`	`1394`	`/* operators following */`