Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
inline13_pkg.ads
blob: 814cf80ff2e1e94c4d7a8e50a16b1821f7a4ad08 [
file
] [
log
] [
blame
]
package
Inline13_Pkg
is
subtype
Padded_T
is
String
(
1.
.
8
);
type T
is
new
Padded_T
;
function
Padded
(
Value
:
T
)
return
Padded_T
;
pragma
Inline_Always
(
Padded
);
end
Inline13_Pkg
;