Home
last modified time | relevance | path

Searched refs:Contradicted (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp56 case Nullability::Contradicted: in getNullabilityString()
810 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostCall()
890 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
900 State->set<NullabilityMap>(ReturnRegion, Nullability::Contradicted); in checkPostObjCMessage()
913 Nullability::Contradicted); in checkPostObjCMessage()
1001 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
1020 TrackedNullability->getValue() != Nullability::Contradicted) { in checkPostStmt()
1021 State = State->set<NullabilityMap>(Region, Nullability::Contradicted); in checkPostStmt()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerHelpers.h56 Contradicted, // Tracked nullability is contradicted by an explicit cast. Do enumerator