source: tests/bugs/.expect/66.txt @ 76de075

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 76de075 was 4d23dd2, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Added tests cases for some of the opened tickets

  • Property mode set to 100644
File size: 1.7 KB
Line 
1bugs/66.cfa:11:1 error: Cannot choose between 2 alternatives for expression
2Applying untyped:
3  Name: ?!=?
4...to:
5  Name: next
6  constant expression (0 0: zero_t)
7 Alternatives are:
8Cost ( 0, 2, 17, 0, 1, -2, 0 ): Application of
9      Variable Expression: ?!=?: forall
10        FT: function type
11        function
12      ... with parameters
13        intrinsic pointer to instance of type FT ( function type)
14        intrinsic pointer to instance of type FT ( function type)
15      ... returning
16        _retval__operator_notequal: signed int
17        ... with attributes:
18          Attribute with name: unused
19
20
21    ... to arguments
22      Variable Expression: next: function
23        accepting unspecified arguments
24      ... returning nothing
25
26      Generated Cast of:
27        constant expression (0 0: zero_t)
28      ... to:
29        pointer to function
30          accepting unspecified arguments
31        ... returning nothing
32
33
34  (types:
35    signed int
36  )
37  Environment: -> function
38        accepting unspecified arguments
39      ... returning nothing
40 (no widening)
41
42
43Cost ( 0, 2, 17, 0, 1, -2, 0 ): Application of
44      Variable Expression: ?!=?: forall
45        DT: data type
46        function
47      ... with parameters
48        intrinsic pointer to instance of type DT (not function type)
49        intrinsic pointer to instance of type DT (not function type)
50      ... returning
51        _retval__operator_notequal: signed int
52        ... with attributes:
53          Attribute with name: unused
54
55
56    ... to arguments
57      Variable Expression: next: pointer to signed int
58      Generated Cast of:
59        constant expression (0 0: zero_t)
60      ... to:
61        pointer to signed int
62
63  (types:
64    signed int
65  )
66  Environment: -> signed int (no widening)
67
68
69
Note: See TracBrowser for help on using the repository browser.