We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 31739cd commit 0348993Copy full SHA for 0348993
cpp/ql/src/jsf/4.13 Functions/AV Rule 114.ql
@@ -63,6 +63,7 @@ where
63
functionsMissingReturnStmt(f, blame) and
64
reachable(blame) and
65
not functionImperfectlyExtracted(f) and
66
+ not f.isFromUninstantiatedTemplate(_) and
67
(blame = stmt or blame.(Expr).getEnclosingStmt() = stmt) and
68
msg =
69
"Function " + f.getName() + " should return a value of type " + f.getType().getName() +
0 commit comments