synchronized1.ads\gnat.dg\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/synchronized1.ads

blob: f814c91d8c66df34d156131d9c487a78fda328ff (plain)

package Synchronized1
  with SPARK_Mode,
       Abstract_State => (State with Synchronous),
       Initializes    => State
is
   procedure Force_Body;
end Synchronized1;