A7-1-2: Exclude variables in uninstantiated templates and compiler generated variables

[lcartey]

Affected rules

• A7-1-2

Description

Uninstantiated templates may not include the full set of types or call targets for function calls, which can cause false positives for this query.

Similarly, compiler generated variables cannot be addressed by the end user and should be filtered out.

Example

template <typename T> T* init(T** t) { }

template <typename T> T* init() {
 T* t = nullptr; // COMPLIANT - initialized below
 init(&t); // Init is ignored in uninitialized template
 return t;
}