Home
last modified time | relevance | path

Searched refs:Simple_Barriers (Results 1 – 25 of 151) sorted by relevance

1234567

/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Ds-rident.ads91 (Simple_Barriers, -- GNAT (Ravenscar) literal
215 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
222 Simple_Barriers .. Max_Storage_At_Blocking;
226 Simple_Barriers .. SPARK;
230 Simple_Barriers .. Static_Storage_Size;
477 Simple_Barriers => True,
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Ds-rident.ads91 (Simple_Barriers, -- GNAT (Ravenscar) literal
215 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
222 Simple_Barriers .. Max_Storage_At_Blocking;
226 Simple_Barriers .. SPARK;
230 Simple_Barriers .. Static_Storage_Size;
477 Simple_Barriers => True,
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
221 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
229 Simple_Barriers .. Max_Storage_At_Blocking;
233 Simple_Barriers .. SPARK_05;
237 Simple_Barriers .. Static_Storage_Size;
486 Simple_Barriers => True,
H A Drestrict.ads109 (Simple_Barriers => True,
/dports/lang/gcc6-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly4.1/5.1.0/adainclude/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
224 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
232 Simple_Barriers .. Max_Storage_At_Blocking;
236 Simple_Barriers .. SPARK_05;
240 Simple_Barriers .. Static_Storage_Size;
489 Simple_Barriers => True,
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
234 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
241 Simple_Barriers .. Max_Storage_At_Blocking;
245 Simple_Barriers .. SPARK_05;
249 Simple_Barriers .. Static_Storage_Size;
544 Simple_Barriers => True,
669 Simple_Barriers => True,
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
235 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
242 Simple_Barriers .. Max_Storage_At_Blocking;
246 Simple_Barriers .. SPARK_05;
250 Simple_Barriers .. Static_Storage_Size;
545 Simple_Barriers => True,
670 Simple_Barriers => True,
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
234 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
241 Simple_Barriers .. Max_Storage_At_Blocking;
245 Simple_Barriers .. SPARK_05;
249 Simple_Barriers .. Static_Storage_Size;
544 Simple_Barriers => True,
669 Simple_Barriers => True,
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc8/gcc-8.5.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
234 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
241 Simple_Barriers .. Max_Storage_At_Blocking;
245 Simple_Barriers .. SPARK_05;
249 Simple_Barriers .. Static_Storage_Size;
544 Simple_Barriers => True,
669 Simple_Barriers => True,
/dports/lang/gcc9-aux/bootstrap/lib/gcc/x86_64-aux-dragonfly5.5/9.1.0/adainclude/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/libgnat/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
230 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
238 Simple_Barriers .. Max_Storage_At_Blocking;
242 Simple_Barriers .. SPARK_05;
246 Simple_Barriers .. Static_Storage_Size;
537 Simple_Barriers => True,
631 Simple_Barriers => True,
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
229 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
237 Simple_Barriers .. Max_Storage_At_Blocking;
241 Simple_Barriers .. SPARK_05;
245 Simple_Barriers .. Static_Storage_Size;
500 Simple_Barriers => True,
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Ds-rident.ads91 (Simple_Barriers, -- Ada 2012 (D.7 (10.9/3)) literal
229 Boolean_Entry_Barriers : Restriction_Id renames Simple_Barriers;
237 Simple_Barriers .. Max_Storage_At_Blocking;
241 Simple_Barriers .. SPARK_05;
245 Simple_Barriers .. Static_Storage_Size;
500 Simple_Barriers => True,
/dports/lang/adacontrol/adactl-1.18r9/rules/
H A Dravenscar.aru47 Simple_Barriers : check Barrier_Expressions;

1234567