Home
last modified time | relevance | path

Searched refs:evalBind (Results 1 – 25 of 65) sorted by relevance

123

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Backend/
H A DMonad.hs340 evalBind :: Eval a -> (a -> Eval b) -> Eval b
341 evalBind (Ready a) f = f a function
342 evalBind (Eval x) f = Eval (\stk -> x stk >>= runEval stk . f) function
343 evalBind (Thunk x) f = Eval (\stk -> unDelay x >>= runEval stk . f) function
359 (>>=) = evalBind
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp84 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
721 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
823 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp84 evalBind(Dst, CallExpr, Pred, ThisVal, V, true);
810 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
841 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
841 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
920 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
920 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp83 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
936 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h611 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h611 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h611 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h602 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h595 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h660 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h661 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h661 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,

123