import cpp

import codingstandards.c.misra

from Macro m

not isExcluded(m, DeadCodePackage::unusedMacroDeclarationQuery()) and

not exists(MacroAccess ma | ma.getMacro() = m) and

// We consider a macro "used" if the name is undef-ed at some point in the same file, or a file

// that includes the file defining the macro. This will over approximate use in the case of a

// macro which is defined, then undefined, then re-defined but not used.

not exists(PreprocessorUndef u |

u.getName() = m.getName() and u.getFile().getAnIncludedFile*() = m.getFile()

)

select m, "Macro " + m.getName() + " is unused."

| test.c:4:1:4:16 | #define MACRO3 3 | Macro MACRO3 is unused. |

| test.h:3:1:3:21 | #define HEADER_MACRO3 | Macro HEADER_MACRO3 is unused. |

rules/RULE-2-5/UnusedMacroDeclaration.ql

#include "test.h"

#define MACRO1 1 // COMPLIANT

#define MACRO2 2 // COMPLIANT

#define MACRO3 3 // NON_COMPLIANT

#undef MACRO1

#define MACRO1 1 // NON_COMPLIANT[FALSE_NEGATIVE]

#undef HEADER_MACRO1

void test() {

MACRO2;

HEADER_MACRO2;

}

#define HEADER_MACRO1 // COMPLIANT

#define HEADER_MACRO2 // COMPLIANT

#define HEADER_MACRO3 // NON_COMPLIANT