Merge pull request #9786 from jketema/lossy

C++: LossyFunctionResultCast updates
This commit is contained in:
Jeroen Ketema
2022-07-11 14:14:33 +02:00
committed by GitHub
3 changed files with 1 additions and 1 deletions

View File

@@ -44,7 +44,7 @@ predicate whiteListWrapped(FunctionCall fc) {
from FunctionCall c, FloatingPointType t1, IntegralType t2
where
t1 = c.getTarget().getType().getUnderlyingType() and
pragma[only_bind_into](t1) = c.getTarget().getType().getUnderlyingType() and
t2 = c.getActualType() and
c.hasImplicitConversion() and
not whiteListWrapped(c)