extractor

jsinglet · jsinglet · commit 0358f6ef588e · 2022-11-08T16:35:17.000-05:00
diff --git a/c/misra/test/rules/RULE-1-2/test.c b/c/misra/test/rules/RULE-1-2/test.c
@@ -1,3 +1,7 @@
+// semmle-extractor-options:--clang -fhonor-infinity -std=c11 --edg --diag_error=implicit_func_decl -nostdinc -I../../../../common/test/includes/standard-library
+
+// do it on a translation unit -- flag first line 
+
 #include <stdbool.h>
 #include <stdio.h>
 // Note: Clang aims to support both clang and gcc extensions.
@@ -135,7 +139,7 @@ void gf14() {
 }
 
 void gf15() {
-  float f = 0x1.fp3; // NON_COMPLIANT
+  float f = 0x1.fp3; // NON_COMPLIANT 
 }
 
 void gf16() {

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,7 @@`
	`1`	`+// semmle-extractor-options:--clang -fhonor-infinity -std=c11 --edg --diag_error=implicit_func_decl -nostdinc -I../../../../common/test/includes/standard-library`
	`2`	`+`
	`3`	`+// do it on a translation unit -- flag first line`
	`4`	`+`
`1`	`5`	`#include <stdbool.h>`
`2`	`6`	`#include <stdio.h>`
`3`	`7`	`// Note: Clang aims to support both clang and gcc extensions.`
`@@ -135,7 +139,7 @@ void gf14() {`
`135`	`139`	`}`
`136`	`140`
`137`	`141`	`void gf15() {`
`138`		`- float f = 0x1.fp3; // NON_COMPLIANT`
	`142`	`+ float f = 0x1.fp3; // NON_COMPLIANT`
`139`	`143`	`}`
`140`	`144`
`141`	`145`	`void gf16() {`