codeql/cpp/ql/test/library-tests/preprocessor/macroinvocations/getanaffectedelement.ql

import cpp

predicate reason(MacroInvocation mi, Element e, string reason) {
	(mi.getAnAffectedElement() = e and reason = "getAnAffectedElement()") or
	(mi.getAnExpandedElement() = e and reason = "getAnExpandedElement()") or
	(mi.getAGeneratedElement() = e and reason = "getAGeneratedElement()") or
	(mi.getExpr() = e and reason = "getExpr()") or
	(mi.getStmt() = e and reason = "getStmt()") or
	(mi.getEnclosingFunction() = e and reason = "getEnclosingFunction()")
}

string reasonspart(MacroInvocation mi, Element e) {
	reason(mi, e, result) or
	exists(string a, string b |
		a = reasonspart(mi, e) and
		reason(mi, e, b) and
		not a.splitAt(" ") >= b and
		result = a + " " + b
	)
}

string reasons(MacroInvocation mi, Element e) {
	result = reasonspart(mi, e) and
	not reasonspart(mi, e).length() > result.length()
}

from MacroInvocation mi, Element e
where reason(mi, e, _)
select mi, e, reasons(mi, e)