fixes

jsinglet · jsinglet · commit 81c3c267ab24 · 2023-02-10T11:47:44.000-05:00
diff --git a/change_notes/2023-02-10-refactor-test-cases.md b/change_notes/2023-02-10-refactor-test-cases.md
@@ -1 +1,2 @@
- - `A1-1-2`: Refactored this test case to support better cross-compiler testing. 
+ - `A1-1-2`: Refactored this test case to support better cross-compiler testing. 
+ - `A1-1-3`: Added support for alternate spelling of compiler flag. 
diff --git a/cpp/autosar/src/rules/A1-1-3/UncompliantOptimizationOptionMustBeDisabledInCompiler.ql b/cpp/autosar/src/rules/A1-1-3/UncompliantOptimizationOptionMustBeDisabledInCompiler.ql
@@ -26,7 +26,7 @@ where
     c.getAnArgument() = flag and
     flag =
       [
-        "-Ofast", "-ffast-math", "-fgnu-keywords", "-fno-signed-zeroes", "-menable-unsafe-fp-math",
+        "-Ofast", "-ffast-math", "-fgnu-keywords", "-fno-signed-zeroes", "-fno-signed-zeroes", "-menable-unsafe-fp-math",
         "-menable-no-nans", "-menable-no-infs", "-menable-unsafe-fp-math", "-ffinite-math-only",
         "-ffloat-store"
       ]
diff --git a/cpp/autosar/test/rules/A1-1-3/options.clang b/cpp/autosar/test/rules/A1-1-3/options.clang
@@ -1 +1 @@
--Ofast -ffast-math -fgnu-keywords -fno-signed-zeroes -menable-unsafe-fp-math -menable-no-nans -menable-no-infs -menable-unsafe-fp-math -ffinite-math-only -ffloat-store
+-Ofast -ffast-math -fgnu-keywords -fno-signed-zeros -ffinite-math-only -ffloat-store
diff --git a/cpp/autosar/test/rules/A1-1-3/options.gcc b/cpp/autosar/test/rules/A1-1-3/options.gcc
@@ -1 +1 @@
--Ofast -ffast-math -fgnu-keywords -fno-signed-zeroes -menable-unsafe-fp-math -menable-no-nans -menable-no-infs -menable-unsafe-fp-math -ffinite-math-only -ffloat-store
+-Ofast -ffast-math -fgnu-keywords -fno-signed-zeros -ffinite-math-only -ffloat-store

Original file line number	Diff line number	Diff line change
`@@ -1 +1,2 @@`
`1`		- - `A1-1-2`: Refactored this test case to support better cross-compiler testing.
	`1`	+ - `A1-1-2`: Refactored this test case to support better cross-compiler testing.
	`2`	+ - `A1-1-3`: Added support for alternate spelling of compiler flag.
Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ where`
`26`	`26`	`c.getAnArgument() = flag and`
`27`	`27`	`flag =`
`28`	`28`	`[`
`29`		`- "-Ofast", "-ffast-math", "-fgnu-keywords", "-fno-signed-zeroes", "-menable-unsafe-fp-math",`
	`29`	`+ "-Ofast", "-ffast-math", "-fgnu-keywords", "-fno-signed-zeroes", "-fno-signed-zeroes", "-menable-unsafe-fp-math",`
`30`	`30`	`"-menable-no-nans", "-menable-no-infs", "-menable-unsafe-fp-math", "-ffinite-math-only",`
`31`	`31`	`"-ffloat-store"`
`32`	`32`	`]`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`--Ofast -ffast-math -fgnu-keywords -fno-signed-zeroes -menable-unsafe-fp-math -menable-no-nans -menable-no-infs -menable-unsafe-fp-math -ffinite-math-only -ffloat-store`
	`1`	`+-Ofast -ffast-math -fgnu-keywords -fno-signed-zeros -ffinite-math-only -ffloat-store`