Home
last modified time | relevance | path

Searched refs:addTransition (Results 176 – 200 of 1756) sorted by relevance

12345678910>>...71

/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp48 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 DMPIChecker.cpp47 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 DMPIChecker.cpp48 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 DMPIChecker.cpp47 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 DMPIChecker.cpp48 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 DMPIChecker.cpp48 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 DMPIChecker.cpp48 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 DMPIChecker.cpp48 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 DMPIChecker.cpp48 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 DSmartPtrModeling.cpp341 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 DStreamChecker.cpp516 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 DSmartPtrModeling.cpp341 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 DStreamChecker.cpp516 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 DSmartPtrModeling.cpp341 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 DStreamChecker.cpp516 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 DSmartPtrModeling.cpp341 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 DStreamChecker.cpp516 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 DSmartPtrModeling.cpp341 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 DStreamChecker.cpp516 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 DSmartPtrModeling.cpp341 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 DStreamChecker.cpp516 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 Dtrafficlight.py100 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 Dtrafficlight.py100 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 Dtrafficlight.py100 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 DStreamChecker.cpp461 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 …]

12345678910>>...71