| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Proving/ |
| H A D | ComposedFactQuery.cs | 42 private Predicate<APC> isUnreachable; field in Mono.CodeContracts.Static.Proving.ComposedFactQuery
44 public ComposedFactQuery(Predicate<APC> isUnreachable ) in ComposedFactQuery()
|
| H A D | BasicFacts.cs | 39 protected Predicate<APC> isUnreachable; field in Mono.CodeContracts.Static.Proving.BasicFacts
41 …<Expression, Variable> contextProvider, IFactBase<Variable> factBase, Predicate<APC> isUnreachable) in BasicFacts()
|
| H A D | SimpleLogicInference.cs | 38 …<Expression, Variable> contextProvider, IFactBase<Variable> factBase, Predicate<APC> isUnreachable) in SimpleLogicInference()
|
| /dports/devel/frink/frink-2.2.2/ |
| H A D | blocks.c | 167 int isUnreachable() in isUnreachable() function
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static/ |
| H A D | Checker.cs | 132 …private ComposedFactQuery<Variable> CreateFactQuery<Variable> (Predicate<APC> isUnreachable, IEnum… in CreateFactQuery()
|
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.ExpressionAnalysis/ |
| H A D | ExpressionAnalysisFacade.cs | 49 Predicate<APC> isUnreachable) in ExpressionAnalysisFacade()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
| H A D | Treeless.hs | 242 isUnreachable = isUnreachable . aBody function
245 isUnreachable (TError TUnreachable{}) = True function
246 isUnreachable (TLet _ b) = isUnreachable b function
247 isUnreachable _ = False function
|
| /dports/devel/binaryen/binaryen-version_98/src/passes/ |
| H A D | DeadCodeElimination.cpp | 90 bool isUnreachable(Expression* child) { in isUnreachable() function
|
| H A D | Inlining.cpp | 160 bool isUnreachable; in visitCall() local
|
| /dports/games/libretro-desmume2015/desmume2015-d6128e6/desmume/src/utils/AsmJit/core/ |
| H A D | compileritem.h | 79 inline bool isUnreachable() const in isUnreachable() function
|
| /dports/games/retroarch/RetroArch-1.9.7/deps/glslang/glslang/SPIRV/ |
| H A D | spvIR.h | 183 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/glslang/src/SPIRV/ |
| H A D | spvIR.h | 214 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/emulators/ppsspp/ppsspp-1.12.3/ext/glslang/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/emulators/ppsspp-qt5/ppsspp-1.12.3/ext/glslang/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/emulators/dolphin-emu/dolphin-3152428/Externals/glslang/SPIRV/ |
| H A D | spvIR.h | 214 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/emulators/mess/mame-mame0226/3rdparty/bgfx/3rdparty/glslang/SPIRV/ |
| H A D | spvIR.h | 214 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/emulators/mame/mame-mame0226/3rdparty/bgfx/3rdparty/glslang/SPIRV/ |
| H A D | spvIR.h | 214 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/emulators/libretro-ppsspp/ppsspp-1.12.3/ext/glslang/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/graphics/waifu2x-ncnn-vulkan/waifu2x-ncnn-vulkan-20210521/src/ncnn/glslang/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/glslang/src/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/graphics/glslang/glslang-11.7.1/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/benchmarks/vkpeak/vkpeak-20210430/ncnn/glslang/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/graphics/realsr-ncnn-vulkan/realsr-ncnn-vulkan-20210210/src/ncnn/glslang/SPIRV/ |
| H A D | spvIR.h | 215 bool isUnreachable() const { return unreachable; } in isUnreachable() function
|
| /dports/lang/spidermonkey78/firefox-78.9.0/js/src/frontend/ |
| H A D | BinASTTokenReaderContext.h | 1310 bool isUnreachable(TableIdentity i) const { in isUnreachable() function
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/lib/Transforms/Scalar/ |
| H A D | SimpleLoopUnswitch.cpp | 618 bool isUnreachable = isa<UnreachableInst>(TI); in unswitchTrivialSwitch() local
|