| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
287 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
455 State = setIteratorPosition(State, LVal, in handleComparison()
459 State = setIteratorPosition(State, RVal, in handleComparison()
528 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
529 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
554 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
555 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
591 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
287 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
455 State = setIteratorPosition(State, LVal, in handleComparison()
459 State = setIteratorPosition(State, RVal, in handleComparison()
528 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
529 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
554 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
555 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
591 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 207 State = setIteratorPosition(State, Call.getReturnValue(), *Pos); in checkPostCall()
240 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
299 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
480 State = setIteratorPosition(State, LVal, in handleComparison()
484 State = setIteratorPosition(State, RVal, in handleComparison()
559 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
560 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
585 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
586 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleDecrement()
622 State = setIteratorPosition(State, TgtVal, *NewPos); in handleRandomIncrOrDecr()
[all …]
|
| H A D | Iterator.cpp | 197 ProgramStateRef setIteratorPosition(ProgramStateRef State, const SVal &Val, in setIteratorPosition() function
220 return setIteratorPosition(State, Val, in createIteratorPosition()
255 return setIteratorPosition(State, Iter, NewPos); in advancePosition()
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 279 ProgramStateRef setIteratorPosition(ProgramStateRef State,
469 State = setIteratorPosition(State, CurrentThis, *Pos); in checkPreStmt()
482 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
654 State = setIteratorPosition(State, Iter, NewPos); in handleIncrement()
677 State = setIteratorPosition(State, Iter, NewPos); in handleDecrement()
761 State = setIteratorPosition(State, TgtVal, NewPos); in handleRandomIncrOrDecr()
829 State = setIteratorPosition(State, RetVal, in handleBegin()
855 State = setIteratorPosition(State, RetVal, in handleEnd()
872 State = setIteratorPosition(State, RetVal, in assignToContainer()
1132 ProgramStateRef setIteratorPosition(ProgramStateRef State, in setIteratorPosition() function
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 405 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
423 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
532 State = setIteratorPosition(State, LVal, in handleComparison()
536 State = setIteratorPosition(State, RVal, in handleComparison()
605 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
606 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
631 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
665 State = setIteratorPosition(NewState, TgtVal, *NewPos); in handleRandomIncrOrDecr()
689 State = setIteratorPosition(State, RetVal, in handleBegin()
711 State = setIteratorPosition(State, RetVal, in handleEnd()
[all …]
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 405 State = setIteratorPosition(State, Loc, *Pos); in checkBind()
423 State = setIteratorPosition(State, C.getSVal(MTE), *Pos); in checkPostStmt()
532 State = setIteratorPosition(State, LVal, in handleComparison()
536 State = setIteratorPosition(State, RVal, in handleComparison()
605 State = setIteratorPosition(State, Iter, *NewPos); in handleIncrement()
606 State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos); in handleIncrement()
631 State = setIteratorPosition(State, Iter, *NewPos); in handleDecrement()
665 State = setIteratorPosition(NewState, TgtVal, *NewPos); in handleRandomIncrOrDecr()
689 State = setIteratorPosition(State, RetVal, in handleBegin()
711 State = setIteratorPosition(State, RetVal, in handleEnd()
[all …]
|