added _Null_unspecified clang extension

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