Home
last modified time | relevance | path

Searched refs:getKnownValue (Results 1 – 10 of 10) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
161 SB.getKnownValue(State, C.getSVal(B->getRHS())); in checkPostStmt()
H A DVLASizeChecker.cpp109 if (const llvm::APSInt *KV = SVB.getKnownValue(State, ArrSize)) in checkVLA()
125 if (const llvm::APSInt *IndexLVal = SVB.getKnownValue(State, IndexLength)) { in checkVLA()
H A DCastSizeChecker.cpp116 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in checkPreStmt()
H A DCStringChecker.cpp2115 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
H A DMallocChecker.cpp3333 C.getSValBuilder().getKnownValue(State, ArgVal); in isArgZERO_SIZE_PTR()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h111 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp77 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
1188 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue() function in SimpleSValBuilder
/openbsd-src/gnu/llvm/clang/lib/Parse/
H A DParseStmt.cpp1502 ConstexprCondition = Cond.getKnownValue(); in ParseIfStatement()
/openbsd-src/gnu/llvm/clang/include/clang/Sema/
H A DSema.h12814 std::optional<bool> getKnownValue() const { in getKnownValue() function
/openbsd-src/gnu/llvm/clang/lib/Sema/
H A DTreeTransform.h7599 ConstexprConditionValue = Cond.getKnownValue(); in TransformIfStmt()