We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 85036d5 commit 3342bb5Copy full SHA for 3342bb5
change_notes/2024-12-17-fix-fp-824-a15-4-4
@@ -0,0 +1,2 @@
1
+ - `A15-4-4` - `MissingNoExcept.ql`:
2
+ - Reduce false positives by not reporting on functions that have a noexcept specification with a complex expression.
cpp/autosar/src/rules/A15-4-4/MissingNoExcept.ql
@@ -28,6 +28,9 @@ where
28
not isNoExceptTrue(f) and
29
// Not explicitly marked noexcept(false)
30
not isNoExceptExplicitlyFalse(f) and
31
+ // Not having a noexcept specification that
32
+ // could not be computed as true or false above.
33
+ not exists(f.getADeclarationEntry().getNoExceptExpr()) and
34
// Not compiler generated
35
not f.isCompilerGenerated() and
36
// The function is defined in this database
0 commit comments