/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 129 Ctx.addTransition(State); in checkMissingWaits() 131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 47 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 52 Ctx.addTransition(State); in checkDoubleNonblocking() 94 Ctx.addTransition(State); in checkUnmatchedWaits() 96 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 128 Ctx.addTransition(State); in checkMissingWaits() 130 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 129 Ctx.addTransition(State); in checkMissingWaits() 131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 47 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 52 Ctx.addTransition(State); in checkDoubleNonblocking() 94 Ctx.addTransition(State); in checkUnmatchedWaits() 96 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 128 Ctx.addTransition(State); in checkMissingWaits() 130 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 129 Ctx.addTransition(State); in checkMissingWaits() 131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 129 Ctx.addTransition(State); in checkMissingWaits() 131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 129 Ctx.addTransition(State); in checkMissingWaits() 131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); 53 Ctx.addTransition(State); 95 Ctx.addTransition(State); 97 Ctx.addTransition(State, ErrorNode); 132 Ctx.addTransition(State); 134 Ctx.addTransition(State, ErrorNode);
|
/dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking() 53 Ctx.addTransition(State); in checkDoubleNonblocking() 95 Ctx.addTransition(State); in checkUnmatchedWaits() 97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits() 129 Ctx.addTransition(State); in checkMissingWaits() 131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 341 C.addTransition(State); in evalCall() 393 C.addTransition( in evalCall() 506 C.addTransition( in handleComparisionOp() 509 C.addTransition( in handleComparisionOp() 537 C.addTransition(State); in handleOstreamOperator() 553 C.addTransition(State); in checkDeadSymbols() 614 C.addTransition( in handleReset() 729 C.addTransition(State); in handleGet() 788 C.addTransition( in updateMovedSmartPointers() 866 C.addTransition( in handleBoolConversion() [all …]
|
H A D | StreamChecker.cpp | 516 C.addTransition(State); in preFreopen() 582 C.addTransition(State); in evalFclose() 606 C.addTransition(State); in preFread() 625 C.addTransition(State); in preFwrite() 664 C.addTransition(State); in evalFreadFwrite() 728 C.addTransition(State); in preFseek() 790 C.addTransition(State); in evalClearerr() 845 C.addTransition(State); in preDefault() 858 C.addTransition(State); in evalSetFeofFerror() 1014 C.addTransition(State); in reportFEofWarning() [all …]
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 341 C.addTransition(State); in evalCall() 393 C.addTransition( in evalCall() 506 C.addTransition( in handleComparisionOp() 509 C.addTransition( in handleComparisionOp() 537 C.addTransition(State); in handleOstreamOperator() 553 C.addTransition(State); in checkDeadSymbols() 614 C.addTransition( in handleReset() 729 C.addTransition(State); in handleGet() 788 C.addTransition( in updateMovedSmartPointers() 866 C.addTransition( in handleBoolConversion() [all …]
|
H A D | StreamChecker.cpp | 516 C.addTransition(State); in preFreopen() 582 C.addTransition(State); in evalFclose() 606 C.addTransition(State); in preFread() 625 C.addTransition(State); in preFwrite() 664 C.addTransition(State); in evalFreadFwrite() 728 C.addTransition(State); in preFseek() 790 C.addTransition(State); in evalClearerr() 845 C.addTransition(State); in preDefault() 858 C.addTransition(State); in evalSetFeofFerror() 1014 C.addTransition(State); in reportFEofWarning() [all …]
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 341 C.addTransition(State); in evalCall() 393 C.addTransition( in evalCall() 506 C.addTransition( in handleComparisionOp() 509 C.addTransition( in handleComparisionOp() 537 C.addTransition(State); in handleOstreamOperator() 553 C.addTransition(State); in checkDeadSymbols() 614 C.addTransition( in handleReset() 729 C.addTransition(State); in handleGet() 788 C.addTransition( in updateMovedSmartPointers() 866 C.addTransition( in handleBoolConversion() [all …]
|
H A D | StreamChecker.cpp | 516 C.addTransition(State); in preFreopen() 582 C.addTransition(State); in evalFclose() 606 C.addTransition(State); in preFread() 625 C.addTransition(State); in preFwrite() 664 C.addTransition(State); in evalFreadFwrite() 728 C.addTransition(State); in preFseek() 790 C.addTransition(State); in evalClearerr() 845 C.addTransition(State); in preDefault() 858 C.addTransition(State); in evalSetFeofFerror() 1014 C.addTransition(State); in reportFEofWarning() [all …]
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 341 C.addTransition(State); in evalCall() 393 C.addTransition( in evalCall() 506 C.addTransition( in handleComparisionOp() 509 C.addTransition( in handleComparisionOp() 537 C.addTransition(State); in handleOstreamOperator() 553 C.addTransition(State); in checkDeadSymbols() 614 C.addTransition( in handleReset() 729 C.addTransition(State); in handleGet() 788 C.addTransition( in updateMovedSmartPointers() 866 C.addTransition( in handleBoolConversion() [all …]
|
H A D | StreamChecker.cpp | 516 C.addTransition(State); in preFreopen() 582 C.addTransition(State); in evalFclose() 606 C.addTransition(State); in preFread() 625 C.addTransition(State); in preFwrite() 664 C.addTransition(State); in evalFreadFwrite() 728 C.addTransition(State); in preFseek() 790 C.addTransition(State); in evalClearerr() 845 C.addTransition(State); in preDefault() 858 C.addTransition(State); in evalSetFeofFerror() 1014 C.addTransition(State); in reportFEofWarning() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 341 C.addTransition(State); in evalCall() 393 C.addTransition( in evalCall() 506 C.addTransition( in handleComparisionOp() 509 C.addTransition( in handleComparisionOp() 537 C.addTransition(State); in handleOstreamOperator() 553 C.addTransition(State); in checkDeadSymbols() 614 C.addTransition( in handleReset() 729 C.addTransition(State); in handleGet() 788 C.addTransition( in updateMovedSmartPointers() 866 C.addTransition( in handleBoolConversion() [all …]
|
H A D | StreamChecker.cpp | 516 C.addTransition(State); in preFreopen() 582 C.addTransition(State); in evalFclose() 606 C.addTransition(State); in preFread() 625 C.addTransition(State); in preFwrite() 664 C.addTransition(State); in evalFreadFwrite() 728 C.addTransition(State); in preFseek() 790 C.addTransition(State); in evalClearerr() 845 C.addTransition(State); in preDefault() 858 C.addTransition(State); in evalSetFeofFerror() 1014 C.addTransition(State); in reportFEofWarning() [all …]
|
/dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 341 C.addTransition(State); in evalCall() 393 C.addTransition( in evalCall() 506 C.addTransition( in handleComparisionOp() 509 C.addTransition( in handleComparisionOp() 537 C.addTransition(State); in handleOstreamOperator() 553 C.addTransition(State); in checkDeadSymbols() 614 C.addTransition( in handleReset() 729 C.addTransition(State); in handleGet() 788 C.addTransition( in updateMovedSmartPointers() 866 C.addTransition( in handleBoolConversion() [all …]
|
H A D | StreamChecker.cpp | 516 C.addTransition(State); in preFreopen() 582 C.addTransition(State); in evalFclose() 606 C.addTransition(State); in preFread() 625 C.addTransition(State); in preFwrite() 664 C.addTransition(State); in evalFreadFwrite() 728 C.addTransition(State); in preFseek() 790 C.addTransition(State); in evalClearerr() 845 C.addTransition(State); in preDefault() 858 C.addTransition(State); in evalSetFeofFerror() 1014 C.addTransition(State); in reportFEofWarning() [all …]
|
/dports/devel/pyside2/pyside-setup-opensource-src-5.15.2/examples/widgets/state-machine/ |
H A D | trafficlight.py | 100 timing.addTransition(timer, SIGNAL('timeout()'), done) 117 redGoingYellow.addTransition(redGoingYellow, SIGNAL('finished()'), yellowGoingGreen) 120 yellowGoingGreen.addTransition(yellowGoingGreen, SIGNAL('finished()'), greenGoingYellow) 123 greenGoingYellow.addTransition(greenGoingYellow, SIGNAL('finished()'), yellowGoingRed) 124 yellowGoingRed.addTransition(yellowGoingRed, SIGNAL('finished()'), redGoingYellow)
|
/dports/devel/pyside2-tools/pyside-setup-opensource-src-5.15.2/examples/widgets/state-machine/ |
H A D | trafficlight.py | 100 timing.addTransition(timer, SIGNAL('timeout()'), done) 117 redGoingYellow.addTransition(redGoingYellow, SIGNAL('finished()'), yellowGoingGreen) 120 yellowGoingGreen.addTransition(yellowGoingGreen, SIGNAL('finished()'), greenGoingYellow) 123 greenGoingYellow.addTransition(greenGoingYellow, SIGNAL('finished()'), yellowGoingRed) 124 yellowGoingRed.addTransition(yellowGoingRed, SIGNAL('finished()'), redGoingYellow)
|
/dports/devel/shiboken2/pyside-setup-opensource-src-5.15.2/examples/widgets/state-machine/ |
H A D | trafficlight.py | 100 timing.addTransition(timer, SIGNAL('timeout()'), done) 117 redGoingYellow.addTransition(redGoingYellow, SIGNAL('finished()'), yellowGoingGreen) 120 yellowGoingGreen.addTransition(yellowGoingGreen, SIGNAL('finished()'), greenGoingYellow) 123 greenGoingYellow.addTransition(greenGoingYellow, SIGNAL('finished()'), yellowGoingRed) 124 yellowGoingRed.addTransition(yellowGoingRed, SIGNAL('finished()'), redGoingYellow)
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | StreamChecker.cpp | 461 C.addTransition(StateNull); in evalFopen() 472 C.addTransition(State); in preFreopen() 538 C.addTransition(State); in evalFclose() 561 C.addTransition(State); in preFread() 579 C.addTransition(State); in preFwrite() 618 C.addTransition(State); in evalFreadFwrite() 677 C.addTransition(State); in preFseek() 739 C.addTransition(State); in evalClearerr() 793 C.addTransition(State); in preDefault() 806 C.addTransition(State); in evalSetFeofFerror() [all …]
|