RULE-21-12: Exclude nested macro invocations

lcartey · lcartey · commit e4151cf58039 · 2023-03-03T10:44:58.000Z
Do not report macro invocations inside other macro invocations where the
parent macro invocation is also for a macro inside fenv.h.
diff --git a/c/misra/src/rules/RULE-21-12/ExceptionHandlingFeaturesOfFenvhUsed.ql b/c/misra/src/rules/RULE-21-12/ExceptionHandlingFeaturesOfFenvhUsed.ql
@@ -45,7 +45,9 @@ where
     exists(FPExceptionHandlingMacro m |
       call = m.getAnInvocation() and
       name = m.getName() and
-      kind = "macro"
+      kind = "macro" and
+      // Exclude macro invocations expanded from other macro invocations from macros in fenv.h.
+      not call.(MacroInvocation).getParentInvocation().getMacro().getFile().getBaseName() = "fenv.h"
     )
   )
 select call, "Call to banned " + kind + " " + name + "."

Original file line number	Diff line number	Diff line change
`@@ -45,7 +45,9 @@ where`
`45`	`45`	`exists(FPExceptionHandlingMacro m \|`
`46`	`46`	`call = m.getAnInvocation() and`
`47`	`47`	`name = m.getName() and`
`48`		`- kind = "macro"`
	`48`	`+ kind = "macro" and`
	`49`	`+ // Exclude macro invocations expanded from other macro invocations from macros in fenv.h.`
	`50`	`+ not call.(MacroInvocation).getParentInvocation().getMacro().getFile().getBaseName() = "fenv.h"`
`49`	`51`	`)`
`50`	`52`	`)`
`51`	`53`	`select call, "Call to banned " + kind + " " + name + "."`