RULE-21-11: Avoid double reporting macros

The macros in tgmath.h often expand to other macros in tgmath.h. This
cause the query to report multiple macro violations for the one macro
invocation. We exclude macro invocations expanded from other macro
invocations from the same file to avoid this double reporting, and
produce more useful and stable results across compilers.

Author: lcartey

c/misra/src/rules/RULE-21-11/StandardHeaderFileTgmathhUsed.ql

@@ -17,5 +17,6 @@ from Macro m, MacroInvocation mi
 where
   not isExcluded(mi, BannedPackage::standardHeaderFileTgmathhUsedQuery()) and
   mi.getMacro() = m and
-  m.getFile().getBaseName() = "tgmath.h"
+  m.getFile().getBaseName() = "tgmath.h" and
+  not mi.getParentInvocation().getMacro().getFile().getBaseName() = "tgmath.h"
 select mi, "Call to banned macro " + m.getName() + "."

c/misra/test/rules/RULE-21-11/StandardHeaderFileTgmathhUsed.expected

@@ -1,74 +1,5 @@
-| test.c:5:3:5:9 | __DBLCX(x) | Call to banned macro __DBLCX. |
-| test.c:5:3:5:9 | __FLT(x) | Call to banned macro __FLT. |
-| test.c:5:3:5:9 | __FLTCX(x) | Call to banned macro __FLTCX. |
-| test.c:5:3:5:9 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:5:3:5:9 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:5:3:5:9 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:5:3:5:9 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:5:3:5:9 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:5:3:5:9 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:5:3:5:9 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:5:3:5:9 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:5:3:5:9 | __IS_REAL(x) | Call to banned macro __IS_REAL. |
-| test.c:5:3:5:9 | __IS_REAL(x) | Call to banned macro __IS_REAL. |
-| test.c:5:3:5:9 | __LDBL(x) | Call to banned macro __LDBL. |
-| test.c:5:3:5:9 | __LDBLCX(x) | Call to banned macro __LDBLCX. |
-| test.c:5:3:5:9 | __RETCAST(x) | Call to banned macro __RETCAST. |
-| test.c:5:3:5:9 | __tg_real_complex(fun,x) | Call to banned macro __tg_real_complex. |
 | test.c:5:3:5:9 | sqrt(x) | Call to banned macro sqrt. |
-| test.c:7:3:7:8 | __DBLCX(x) | Call to banned macro __DBLCX. |
-| test.c:7:3:7:8 | __FLT(x) | Call to banned macro __FLT. |
-| test.c:7:3:7:8 | __FLTCX(x) | Call to banned macro __FLTCX. |
-| test.c:7:3:7:8 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:7:3:7:8 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:7:3:7:8 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:7:3:7:8 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:7:3:7:8 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:7:3:7:8 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:7:3:7:8 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:7:3:7:8 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:7:3:7:8 | __IS_REAL(x) | Call to banned macro __IS_REAL. |
-| test.c:7:3:7:8 | __IS_REAL(x) | Call to banned macro __IS_REAL. |
-| test.c:7:3:7:8 | __LDBL(x) | Call to banned macro __LDBL. |
-| test.c:7:3:7:8 | __LDBLCX(x) | Call to banned macro __LDBLCX. |
-| test.c:7:3:7:8 | __RETCAST(x) | Call to banned macro __RETCAST. |
-| test.c:7:3:7:8 | __tg_real_complex(fun,x) | Call to banned macro __tg_real_complex. |
 | test.c:7:3:7:8 | sin(x) | Call to banned macro sin. |
-| test.c:10:21:10:28 | __DBLCX(x) | Call to banned macro __DBLCX. |
-| test.c:10:21:10:28 | __FLT(x) | Call to banned macro __FLT. |
-| test.c:10:21:10:28 | __FLTCX(x) | Call to banned macro __FLTCX. |
-| test.c:10:21:10:28 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:10:21:10:28 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:10:21:10:28 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:10:21:10:28 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:10:21:10:28 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:10:21:10:28 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:10:21:10:28 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:10:21:10:28 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:10:21:10:28 | __IS_REAL(x) | Call to banned macro __IS_REAL. |
-| test.c:10:21:10:28 | __IS_REAL(x) | Call to banned macro __IS_REAL. |
-| test.c:10:21:10:28 | __LDBL(x) | Call to banned macro __LDBL. |
-| test.c:10:21:10:28 | __LDBLCX(x) | Call to banned macro __LDBLCX. |
-| test.c:10:21:10:28 | __RETCAST(x) | Call to banned macro __RETCAST. |
-| test.c:10:21:10:28 | __tg_real_complex(fun,x) | Call to banned macro __tg_real_complex. |
 | test.c:10:21:10:28 | sqrt(x) | Call to banned macro sqrt. |
-| test.c:11:3:11:10 | __FLTCX(x) | Call to banned macro __FLTCX. |
-| test.c:11:3:11:10 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:11:3:11:10 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:11:3:11:10 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:11:3:11:10 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:11:3:11:10 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:11:3:11:10 | __LDBLCX(x) | Call to banned macro __LDBLCX. |
-| test.c:11:3:11:10 | __RETCAST_REAL(x) | Call to banned macro __RETCAST_REAL. |
-| test.c:11:3:11:10 | __tg_complex_retreal(fun,x) | Call to banned macro __tg_complex_retreal. |
 | test.c:11:3:11:10 | creal(x) | Call to banned macro creal. |
-| test.c:12:3:12:10 | __FLTCX(x) | Call to banned macro __FLTCX. |
-| test.c:12:3:12:10 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:12:3:12:10 | __IS_CX(x) | Call to banned macro __IS_CX. |
-| test.c:12:3:12:10 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:12:3:12:10 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:12:3:12:10 | __IS_FP(x) | Call to banned macro __IS_FP. |
-| test.c:12:3:12:10 | __LDBLCX(x) | Call to banned macro __LDBLCX. |
-| test.c:12:3:12:10 | __RETCAST_REAL(x) | Call to banned macro __RETCAST_REAL. |
-| test.c:12:3:12:10 | __tg_complex_retreal(fun,x) | Call to banned macro __tg_complex_retreal. |
 | test.c:12:3:12:10 | cimag(x) | Call to banned macro cimag. |