| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 168 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
528 State = assumeNoOverflow(State, Sym, 4); in handleComparison()
725 State = assumeNoOverflow(State, Sym, 4); in assignToContainer()
768 State = assumeNoOverflow(State, NewEndSym, 4); in handleAssign()
1333 State = assumeNoOverflow(State, Sym, 4); in createContainerBegin()
1356 State = assumeNoOverflow(State, Sym, 4); in createContainerEnd()
1391 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
1451 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 168 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
528 State = assumeNoOverflow(State, Sym, 4); in handleComparison()
725 State = assumeNoOverflow(State, Sym, 4); in assignToContainer()
768 State = assumeNoOverflow(State, NewEndSym, 4); in handleAssign()
1333 State = assumeNoOverflow(State, Sym, 4); in createContainerBegin()
1356 State = assumeNoOverflow(State, Sym, 4); in createContainerEnd()
1391 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
1451 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| H A D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/ |
| H A D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 690 static ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
757 State = assumeNoOverflow(State, NewOffset, 4); in handleRandomIncrOrDecr()
826 State = assumeNoOverflow(State, BeginSym, 4); in handleBegin()
852 State = assumeNoOverflow(State, EndSym, 4); in handleEnd()
871 State = assumeNoOverflow(State, Sym, 4); in assignToContainer()
1192 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateIteratorPositions()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 315 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
879 State = assumeNoOverflow(State, Sym, 4); in handleComparison()
1192 State = assumeNoOverflow(State, Sym, 4); in assignToContainer()
1235 State = assumeNoOverflow(State, NewEndSym, 4); in handleAssign()
1586 State = assumeNoOverflow(State, NewPosSym, 4); in advancePosition()
1951 State = assumeNoOverflow(State, Sym, 4); in createContainerBegin()
1974 State = assumeNoOverflow(State, Sym, 4); in createContainerEnd()
2059 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
2100 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|