repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
2017-07-25 Richard Biener <rguenther@suse.de>
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
noreturn4.ads
blob
d6216da33619817608d12c9d2ca35b07487a649c
1
package
Noreturn4
is
2
3
procedure
P1
(
Msg
:
String
);
4
procedure
P1
(
Msg
:
String
;
Val
:
Integer
);
5
pragma
No_Return
(
P1
);
6
7
procedure
Fatal_Error
(
X
:
Integer
);
8
pragma
No_Return
(
Fatal_Error
);
9
10
end
Noreturn4
;