Home
last modified time | relevance | path

Searched refs:not_marked (Results 1 – 25 of 46) sorted by relevance

12

/dports/math/spot/spot-2.10.2/spot/tl/
H A Dformula.cc1170 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 Dformula.cc1170 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 DscavengableNMethods.cpp116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod()
222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
H A DscavengableNMethodsData.hpp66 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 DscavengableNMethods.cpp116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod()
222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
H A DscavengableNMethodsData.hpp66 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 DscavengableNMethods.cpp116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod()
222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
H A DscavengableNMethodsData.hpp66 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 DscavengableNMethods.cpp116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod()
222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
H A DscavengableNMethodsData.hpp66 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 DscavengableNMethods.cpp116 assert(gc_data(nm).not_marked(), ""); in verify_nmethod()
222 assert(data.not_marked(), "clean state"); in mark_on_list_nmethods()
H A DscavengableNMethodsData.hpp66 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 Ddeclare_variant_messages.c124 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 Ddeclare_variant_messages.c124 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 Ddeclare_variant_messages.c132 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 Ddeclare_variant_messages.c132 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 Ddeclare_variant_messages.c132 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 Ddeclare_variant_messages.c132 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 DcompiledMethod.hpp141 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 Ddeclare_variant_messages.c132 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 DcompiledMethod.hpp147 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 Ddeclare_variant_messages.c132 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 DcompiledMethod.hpp141 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 Ddeclare_variant_messages.c138 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 Ddeclare_variant_messages.c132 void not_marked(void);
134 #pragma omp declare variant(not_marked) match(implementation={vendor(unknown)}, device={kind(cpu)})…

12