/dports/math/spot/spot-2.10.2/spot/tl/ |
H A D | formula.cc | 1170 is_.not_marked = true; in setup_props() 1192 is_.not_marked = true; in setup_props() 1216 is_.not_marked = true; in setup_props() 1235 is_.not_marked = true; in setup_props() 1252 is_.not_marked = true; in setup_props() 1269 is_.not_marked = true; in setup_props() 1284 is_.not_marked = true; in setup_props() 1316 is_.not_marked = true; in setup_props() 1411 is_.not_marked = true; in setup_props() 1462 is_.not_marked = true; in setup_props() [all …]
|
/dports/math/py-spot/spot-2.10.2/spot/tl/ |
H A D | formula.cc | 1170 is_.not_marked = true; in setup_props() 1192 is_.not_marked = true; in setup_props() 1216 is_.not_marked = true; in setup_props() 1235 is_.not_marked = true; in setup_props() 1252 is_.not_marked = true; in setup_props() 1269 is_.not_marked = true; in setup_props() 1284 is_.not_marked = true; in setup_props() 1316 is_.not_marked = true; in setup_props() 1411 is_.not_marked = true; in setup_props() 1462 is_.not_marked = true; in setup_props() [all …]
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/share/gc/shared/ |
H A D | scavengableNMethods.cpp | 116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod() 222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
|
H A D | scavengableNMethodsData.hpp | 66 bool not_marked() { return (state() & ~state_on_list) == 0; } in not_marked() function in ScavengableNMethodsData
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/hotspot/share/gc/shared/ |
H A D | scavengableNMethods.cpp | 116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod() 222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
|
H A D | scavengableNMethodsData.hpp | 66 bool not_marked() { return (state() & ~state_on_list) == 0; } in not_marked() function in ScavengableNMethodsData
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/hotspot/share/gc/shared/ |
H A D | scavengableNMethods.cpp | 116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod() 222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
|
H A D | scavengableNMethodsData.hpp | 66 bool not_marked() { return (state() & ~state_on_list) == 0; } in not_marked() function in ScavengableNMethodsData
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/hotspot/share/gc/shared/ |
H A D | scavengableNMethods.cpp | 116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod() 222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
|
H A D | scavengableNMethodsData.hpp | 66 bool not_marked() { return (state() & ~state_on_list) == 0; } in not_marked() function in ScavengableNMethodsData
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/hotspot/share/gc/shared/ |
H A D | scavengableNMethods.cpp | 116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod() 222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
|
H A D | scavengableNMethodsData.hpp | 66 bool not_marked() { return (state() & ~state_on_list) == 0; } in not_marked() function in ScavengableNMethodsData
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 124 void not_marked(void); 126 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 124 void not_marked(void); 126 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/code/ |
H A D | compiledMethod.hpp | 141 not_marked, enumerator 230 …is_marked_for_deoptimization() const { return _mark_for_deoptimization_status != not_marked; } in is_marked_for_deoptimization()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/share/code/ |
H A D | compiledMethod.hpp | 147 not_marked, enumerator 247 …is_marked_for_deoptimization() const { return _mark_for_deoptimization_status != not_marked; } in is_marked_for_deoptimization()
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/code/ |
H A D | compiledMethod.hpp | 141 not_marked, enumerator 230 …is_marked_for_deoptimization() const { return _mark_for_deoptimization_status != not_marked; } in is_marked_for_deoptimization()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 138 void not_marked(void); 140 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/OpenMP/ |
H A D | declare_variant_messages.c | 132 void not_marked(void); 134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…
|