You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: c/cert/test/rules/INT34-C/test.c
+4-4Lines changed: 4 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -357,8 +357,8 @@ int main() {
357
357
lhs12 << rhs11; // COMPLIANT: lhs12's precision is strictly greater than rhs11
358
358
lhs12 << rhs12; // NON_COMPLIANT: lhs12's precision is not strictly greater
359
359
// than rhs12's
360
-
lhs12 << rhs13; // COMPLIANT[FALSE POSITIVE]: lhs12's precision is strictly greater than rhs13 (FP because range analysis reduced precision for performance reasons)
361
-
lhs12 << rhs14; // COMPLIANT[FALSE POSITIVE]: lhs12's precision is strictly greater than rhs14 (FP because range analysis reduced precision for performance reasons)
360
+
lhs12 << rhs13; // COMPLIANT[FALSE_POSITIVE]: lhs12's precision is strictly greater than rhs13 (FP because range analysis reduced precision for performance reasons)
361
+
lhs12 << rhs14; // COMPLIANT[FALSE_POSITIVE]: lhs12's precision is strictly greater than rhs14 (FP because range analysis reduced precision for performance reasons)
362
362
lhs13 << rhs0; // COMPLIANT: lhs13's precision is strictly greater than rhs0
363
363
lhs13 << rhs1; // COMPLIANT: lhs13's precision is strictly greater than rhs1
364
364
lhs13 << rhs2; // COMPLIANT: lhs13's precision is strictly greater than rhs2
@@ -1893,8 +1893,8 @@ int main() {
1893
1893
lhs12 >> rhs11; // COMPLIANT: lhs12's precision is strictly greater than rhs11
1894
1894
lhs12 >> rhs12; // NON_COMPLIANT: lhs12's precision is not strictly greater
1895
1895
// than rhs12
1896
-
lhs12 >> rhs13; // COMPLIANT[FALSE POSITIVE]: lhs12's precision is strictly greater than rhs13 (FP because range analysis reduced precision for performance reasons)
1897
-
lhs12 >> rhs14; // COMPLIANT[FALSE POSITIVE]: lhs12's precision is strictly greater than rhs14 (FP because range analysis reduced precision for performance reasons)
1896
+
lhs12 >> rhs13; // COMPLIANT[FALSE_POSITIVE]: lhs12's precision is strictly greater than rhs13 (FP because range analysis reduced precision for performance reasons)
1897
+
lhs12 >> rhs14; // COMPLIANT[FALSE_POSITIVE]: lhs12's precision is strictly greater than rhs14 (FP because range analysis reduced precision for performance reasons)
1898
1898
lhs13 >> rhs0; // COMPLIANT: lhs13's precision is strictly greater than rhs0
1899
1899
lhs13 >> rhs1; // COMPLIANT: lhs13's precision is strictly greater than rhs1
1900
1900
lhs13 >> rhs2; // COMPLIANT: lhs13's precision is strictly greater than rhs2
0 commit comments