source: tests/raii/.expect/partial-ERR1.txt @ e797179

Last change on this file since e797179 was 64f3b9f, checked in by Michael Brooks <mlbrooks@…>, 7 days ago

Fix support for partial autogen.

Partial autogen means that some lifecycle functions are possible to generate, and needed, while others are impossible to generate, but unneeded. It is a valid situation that a user can implicitly request.

Previous handling of "impossible to generate" left the function in a zombie state, where it could show up as an alternative later. This zombie state is problematic handling caused by a compiler bug. Without the fix, the added test fails by creating zombie states.

This change is also a prerequsite for an upcoming change to avoid gcc warnings by not emitting autogen forward declarations.
  • Property mode set to 100644
File size: 5.0 KB
Line 
1raii/partial.cfa:33:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
2  Application of
3    Deleted Expression
4      Variable Expression: ?{}: static inline function
5      ... with parameters
6        reference to instance of struct thing3 with body
7      ... returning nothing
8
9      ... with resolved type:
10        function
11        ... with parameters
12          reference to instance of struct thing3 with body
13        ... returning nothing
14
15      ... deleted by: ?{}: function
16      ... with parameters
17        reference to instance of struct thing3 with body
18        instance of struct thing3 with body
19      ... returning nothing
20
21    ... to arguments
22    Generated Cast of:
23      Variable Expression: x: instance of struct thing3 with body
24      ... with resolved type:
25        instance of struct thing3 with body
26    ... to:
27      reference to instance of struct thing3 with body
28    ... with resolved type:
29      reference to instance of struct thing3 with body
30
31  ... with resolved type:
32    void
33... to: nothing
34... with resolved type:
35  void
36raii/partial.cfa:50:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
37  Application of
38    Deleted Expression
39      Variable Expression: ?{}: function
40      ... with parameters
41        reference to instance of struct thing456 with body
42        instance of struct thing456 with body
43      ... returning nothing
44
45      ... with resolved type:
46        function
47        ... with parameters
48          reference to instance of struct thing456 with body
49          instance of struct thing456 with body
50        ... returning nothing
51
52      ... deleted by: ?{}: function
53      ... with parameters
54        reference to instance of struct thing456 with body
55        instance of struct thing456 with body
56      ... returning nothing
57
58    ... to arguments
59    Generated Cast of:
60      Variable Expression: y: instance of struct thing456 with body
61      ... with resolved type:
62        instance of struct thing456 with body
63    ... to:
64      reference to instance of struct thing456 with body
65    ... with resolved type:
66      reference to instance of struct thing456 with body
67    Variable Expression: x: instance of struct thing456 with body
68    ... with resolved type:
69      instance of struct thing456 with body
70
71  ... with resolved type:
72    void
73... to: nothing
74... with resolved type:
75  void
76raii/partial.cfa:58:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
77  Application of
78    Deleted Expression
79      Variable Expression: ?{}: static inline function
80      ... with parameters
81        reference to instance of struct wrapper1 with body
82        instance of struct wrapper1 with body
83      ... returning nothing
84
85      ... with resolved type:
86        function
87        ... with parameters
88          reference to instance of struct wrapper1 with body
89          instance of struct wrapper1 with body
90        ... returning nothing
91
92      ... deleted by: ?{}: autogenerated cfa static inline function
93      ... with parameters
94        reference to instance of struct wrapper1 with body
95        instance of struct wrapper1 with body
96      ... returning nothing
97
98    ... to arguments
99    Generated Cast of:
100      Variable Expression: y: instance of struct wrapper1 with body
101      ... with resolved type:
102        instance of struct wrapper1 with body
103    ... to:
104      reference to instance of struct wrapper1 with body
105    ... with resolved type:
106      reference to instance of struct wrapper1 with body
107    Variable Expression: x: instance of struct wrapper1 with body
108    ... with resolved type:
109      instance of struct wrapper1 with body
110
111  ... with resolved type:
112    void
113... to: nothing
114... with resolved type:
115  void
116raii/partial.cfa:65:1 error: Unique best alternative includes deleted identifier in Generated Cast of:
117  Application of
118    Deleted Expression
119      Variable Expression: ?{}: static inline function
120      ... with parameters
121        reference to instance of struct wrapper2 with body
122        instance of struct wrapper2 with body
123      ... returning nothing
124
125      ... with resolved type:
126        function
127        ... with parameters
128          reference to instance of struct wrapper2 with body
129          instance of struct wrapper2 with body
130        ... returning nothing
131
132      ... deleted by: ?{}: autogenerated cfa static inline function
133      ... with parameters
134        reference to instance of struct wrapper2 with body
135        instance of struct wrapper2 with body
136      ... returning nothing
137
138    ... to arguments
139    Generated Cast of:
140      Variable Expression: y: instance of struct wrapper2 with body
141      ... with resolved type:
142        instance of struct wrapper2 with body
143    ... to:
144      reference to instance of struct wrapper2 with body
145    ... with resolved type:
146      reference to instance of struct wrapper2 with body
147    Variable Expression: x: instance of struct wrapper2 with body
148    ... with resolved type:
149      instance of struct wrapper2 with body
150
151  ... with resolved type:
152    void
153... to: nothing
154... with resolved type:
155  void
Note: See TracBrowser for help on using the repository browser.