Searched refs:getKnownValue (Results 1 – 12 of 12) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| HD | VLASizeChecker.cpp | 108 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize)) in checkVLA()
124 if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) { in checkVLA()
|
| HD | CastSizeChecker.cpp | 116 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in checkPreStmt()
|
| HD | PointerSubChecker.cpp | 71 if (const llvm::APSInt *I = SVB.getKnownValue(State, ElemReg->getIndex()); in checkArrayBounds()
|
| HD | StreamChecker.cpp | 809 static std::optional<int64_t> getKnownValue(ProgramStateRef State, SVal V) { in getKnownValue() function
811 if (const llvm::APSInt *Int = SVB.getKnownValue(State, V)) in getKnownValue()
1085 std::optional<int64_t> CountVal = getKnownValue(State, NMembVal); in tryToInvalidateFReadBufferByElements()
1086 std::optional<int64_t> Size = getKnownValue(State, SizeVal); in tryToInvalidateFReadBufferByElements()
1088 getKnownValue(State, StartElementIndex.value_or(UnknownVal())); in tryToInvalidateFReadBufferByElements()
|
| HD | StdLibraryFunctionsChecker.cpp | 927 State->getStateManager().getSValBuilder().getKnownValue( in printArgValueInfo()
1302 State->getStateManager().getSValBuilder().getKnownValue(State, in describeArgumentValue()
|
| HD | CStringChecker.cpp | 2370 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
|
| HD | MallocChecker.cpp | 3389 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()
|
| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | SValBuilder.h | 111 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | SimpleSValBuilder.cpp | 81 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
1218 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue() function in SimpleSValBuilder
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/Parse/ |
| HD | ParseStmt.cpp | 1567 ConstexprCondition = Cond.getKnownValue(); in ParseIfStatement()
|
| /freebsd-13-stable/contrib/llvm-project/clang/include/clang/Sema/ |
| HD | Sema.h | 7340 std::optional<bool> getKnownValue() const { return KnownValue; } in getKnownValue() function
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/Sema/ |
| HD | TreeTransform.h | 8024 ConstexprConditionValue = Cond.getKnownValue(); in TransformIfStmt()
|