1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
-- { dg-do compile }
-- { dg-options "-fstrub=strict -fdump-ipa-strubm -fdump-ipa-strub" }
-- { dg-require-effective-target strub }
package body Strub_Attr is
E : exception;
procedure P (X : Integer) is
begin
raise E;
end;
function F (X : Integer) return Integer is
begin
return X * X;
end;
function G return Integer is (F (X));
-- function G return Integer is (FP (X));
-- Calling G would likely raise an exception, because although FP
-- carries the strub at-calls attribute needed to call F, the
-- attribute is dropped from the type used for the call proper.
end Strub_Attr;
-- { dg-final { scan-ipa-dump-times "\[(\]strub \[(\]internal\[)\]\[)\]" 2 "strubm" } }
-- { dg-final { scan-ipa-dump-times "\[(\]strub \[(\]at-calls\[)\]\[)\]" 0 "strubm" } }
-- { dg-final { scan-ipa-dump-times "\[(\]strub\[)\]" 1 "strubm" } }
-- { dg-final { scan-ipa-dump-times "strub.watermark_ptr" 6 "strub" } }
-- We have 1 at-calls subprogram (F) and 2 wrapped (P and G).
-- For each of them, there's one match for the wrapped signature,
-- and one for the update call.
-- { dg-final { scan-ipa-dump-times "strub.watermark" 27 "strub" } }
-- The 6 matches above, plus:
-- 5*2: wm var decl, enter, call, leave and clobber for each wrapper;
-- 2*1: an extra leave and clobber for the exception paths in the wrappers.
-- 7*1: for the F call in G, including EH path.
|
