Predicate CastConsistency::missingSemanticConversionString
Holds if the cast has no result for Cast.getSemanticConversionString()
.
Import path
import cpp
predicate missingSemanticConversionString(Cast cast, Type fromType)
Holds if the cast has no result for Cast.getSemanticConversionString()
.
import cpp
predicate missingSemanticConversionString(Cast cast, Type fromType)