Searched refs:SizeE (Results 1 – 2 of 2) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VLASizeChecker.cpp | 84 const Expr *SizeE = VLA->getSizeExpr(); in checkVLA() local
85 State = checkVLAIndexSize(C, State, SizeE); in checkVLA()
88 VLASizes.push_back(SizeE); in checkVLA()
111 for (const Expr *SizeE : VLASizes) { in checkVLA() local
155 SVal SizeV = C.getSVal(SizeE); in checkVLAIndexSize()
158 reportBug(VLA_Garbage, SizeE, State, C); in checkVLAIndexSize()
169 reportBug(VLA_Tainted, SizeE, nullptr, C, in checkVLAIndexSize()
181 reportBug(VLA_Zero, SizeE, StateZero, C); in checkVLAIndexSize()
191 QualType SizeTy = SizeE->getType(); in checkVLAIndexSize()
202 reportBug(VLA_Negative, SizeE, State, C); in checkVLAIndexSize()
[all …]
|
| /llvm-project-15.0.7/polly/lib/Analysis/ |
| H A D | ScopInfo.cpp | 651 isl::pw_aff SizeE = SAI->getDimensionSizePw(i); in assumeNoOutOfBound() local
652 SizeE = SizeE.add_dims(isl::dim::in, Space.dim(isl::dim::set).release()); in assumeNoOutOfBound()
653 SizeE = SizeE.set_tuple_id(isl::dim::in, Space.get_tuple_id(isl::dim::set)); in assumeNoOutOfBound()
654 DimOutside = DimOutside.unite(SizeE.le_set(Var)); in assumeNoOutOfBound()
|