C++: Exclude uninstantiated templates from AV Rule 114.

This commit is contained in:
Mathias Vorreiter Pedersen
2021-09-13 18:08:51 +01:00
parent 31739cdae6
commit 034899367d

View File

@@ -63,6 +63,7 @@ where
functionsMissingReturnStmt(f, blame) and
reachable(blame) and
not functionImperfectlyExtracted(f) and
not f.isFromUninstantiatedTemplate(_) and
(blame = stmt or blame.(Expr).getEnclosingStmt() = stmt) and
msg =
"Function " + f.getName() + " should return a value of type " + f.getType().getName() +