CPP: Generalize the fix to all template code.

This commit is contained in:
Geoffrey White
2020-01-08 13:36:59 +00:00
parent 8044fefb1f
commit b6e1f35ff6

View File

@@ -97,6 +97,6 @@ where
assignOperatorWithWrongType(op, msg) or
assignOperatorWithWrongResult(op, msg)
) and
// exclude template classes which may have incomplete function bodies
not op.getDeclaringType() instanceof TemplateClass
// exclude code in templates which may be incomplete
not op.isFromUninstantiatedTemplate(_)
select op, msg