added _Null_unspecified clang extension

Daniel Kroening · Daniel Kroening · commit e63402efe5ac · 2018-07-30T18:21:27.000+01:00
diff --git a/src/ansi-c/scanner.l b/src/ansi-c/scanner.l
@@ -1389,6 +1389,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
`@@ -1389,6 +1389,14 @@ __decltype { if(PARSER.cpp98 &&`
`1389`	`1389`	`return make_identifier();`
`1390`	`1390`	`}`
`1391`	`1391`
	`1392`	`+ /* This is a clang extension */`
	`1393`	`+`
	`1394`	`+"_Null_unspecified" { if(PARSER.mode==configt::ansi_ct::flavourt::CLANG)`
	`1395`	`+ { /* ignore */ }`
	`1396`	`+ else`
	`1397`	`+ return make_identifier();`
	`1398`	`+ }`
	`1399`	`+`
`1392`	`1400`	`}`
`1393`	`1401`
`1394`	`1402`	`/* operators following */`