CodeQL library for C/C++
Search

Module CastConsistency

INTERNAL: Do not use. Query predicates used to check invariants that should hold for all Cast nodes. To run all consistency queries for the ASTs, including the ones below, run “semmle/code/cpp/ASTConsistency.ql”.

Import path

import cpp

Predicates

missingSemanticConversionString

Holds if the cast has no result for Cast.getSemanticConversionString().

multipleSemanticConversionStrings

Holds if the cast has more than one result for Cast.getSemanticConversionString().

unknownSemanticConversionString

Holds if the cast has a result for Cast.getSemanticConversionString() that indicates that the kind of its semantic conversion is not known.