Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/inline16_gen.ads @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
line wrap: on
line source

generic
   type Payload_Type is private;
package Inline16_Gen
with SPARK_Mode => On
is
   procedure Gfw_Image_Read(Data   : out Payload_Type)
     with Inline_Always;

end Inline16_Gen;