[0f4ac10] | 1 | ---- PTRPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( & a ); } |
---|
| 2 | done STA EQ STA, L=7, R=7 |
---|
| 3 | done STA NE STA, L=7, R=42 |
---|
| 4 | done STA EQ STA, L=7, R=enu7 |
---|
| 5 | done STA NE STA, L=7, R=enu42 |
---|
| 6 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 7 | skip STA NE UNS, L=7, R=mut42 |
---|
| 8 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 9 | done STA NE STA, L=enu7, R=enu42 |
---|
| 10 | done STA EQ STA, L=enu7, R=7 |
---|
| 11 | done STA NE STA, L=enu7, R=42 |
---|
| 12 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 13 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 14 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 15 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 16 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 17 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 18 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 19 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 20 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 21 | skip UNS NE STA, L=mut7, R=42 |
---|
| 22 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 23 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 24 | skip STA NE XXX, L=7, R=dim42 |
---|
| 25 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 26 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 27 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 28 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 29 | skip XXX NE STA, L=dim7, R=42 |
---|
| 30 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 31 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 32 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 33 | skip UNS NE XXX, L=mut7, R=dim42 |
---|
| 34 | ---- PTRVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = & a; } |
---|
| 35 | done STA EQ STA, L=7, R=7 |
---|
| 36 | done STA NE STA, L=7, R=42 |
---|
| 37 | done STA EQ STA, L=7, R=enu7 |
---|
| 38 | done STA NE STA, L=7, R=enu42 |
---|
| 39 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 40 | skip STA NE UNS, L=7, R=mut42 |
---|
| 41 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 42 | done STA NE STA, L=enu7, R=enu42 |
---|
| 43 | done STA EQ STA, L=enu7, R=7 |
---|
| 44 | done STA NE STA, L=enu7, R=42 |
---|
| 45 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 46 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 47 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 48 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 49 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 50 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 51 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 52 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 53 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 54 | skip UNS NE STA, L=mut7, R=42 |
---|
| 55 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 56 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 57 | skip STA NE XXX, L=7, R=dim42 |
---|
| 58 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 59 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 60 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 61 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 62 | skip XXX NE STA, L=dim7, R=42 |
---|
| 63 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 64 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 65 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 66 | skip UNS NE XXX, L=mut7, R=dim42 |
---|
| 67 | ---- PTRVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = 0p; b = & a; } |
---|
| 68 | done STA EQ STA, L=7, R=7 |
---|
| 69 | done STA NE STA, L=7, R=42 |
---|
| 70 | done STA EQ STA, L=7, R=enu7 |
---|
| 71 | done STA NE STA, L=7, R=enu42 |
---|
| 72 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 73 | skip STA NE UNS, L=7, R=mut42 |
---|
| 74 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 75 | done STA NE STA, L=enu7, R=enu42 |
---|
| 76 | done STA EQ STA, L=enu7, R=7 |
---|
| 77 | done STA NE STA, L=enu7, R=42 |
---|
| 78 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 79 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 80 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 81 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 82 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 83 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 84 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 85 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 86 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 87 | skip UNS NE STA, L=mut7, R=42 |
---|
| 88 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 89 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 90 | skip STA NE XXX, L=7, R=dim42 |
---|
| 91 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 92 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 93 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 94 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 95 | skip XXX NE STA, L=dim7, R=42 |
---|
| 96 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 97 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 98 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 99 | skip UNS NE XXX, L=mut7, R=dim42 |
---|
| 100 | ---- REFPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( a ); } |
---|
| 101 | done STA EQ STA, L=7, R=7 |
---|
| 102 | done STA NE STA, L=7, R=42 |
---|
| 103 | done STA EQ STA, L=7, R=enu7 |
---|
| 104 | done STA NE STA, L=7, R=enu42 |
---|
| 105 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 106 | skip STA NE UNS, L=7, R=mut42 |
---|
| 107 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 108 | done STA NE STA, L=enu7, R=enu42 |
---|
| 109 | done STA EQ STA, L=enu7, R=7 |
---|
| 110 | done STA NE STA, L=enu7, R=42 |
---|
| 111 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 112 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 113 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 114 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 115 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 116 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 117 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 118 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 119 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 120 | skip UNS NE STA, L=mut7, R=42 |
---|
| 121 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 122 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 123 | skip STA NE XXX, L=7, R=dim42 |
---|
| 124 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 125 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 126 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 127 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 128 | skip XXX NE STA, L=dim7, R=42 |
---|
| 129 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 130 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 131 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 132 | skip UNS NE XXX, L=mut7, R=dim42 |
---|
| 133 | ---- REFVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = a; } |
---|
| 134 | done STA EQ STA, L=7, R=7 |
---|
| 135 | done STA NE STA, L=7, R=42 |
---|
| 136 | done STA EQ STA, L=7, R=enu7 |
---|
| 137 | done STA NE STA, L=7, R=enu42 |
---|
| 138 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 139 | skip STA NE UNS, L=7, R=mut42 |
---|
| 140 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 141 | done STA NE STA, L=enu7, R=enu42 |
---|
| 142 | done STA EQ STA, L=enu7, R=7 |
---|
| 143 | done STA NE STA, L=enu7, R=42 |
---|
| 144 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 145 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 146 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 147 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 148 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 149 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 150 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 151 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 152 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 153 | skip UNS NE STA, L=mut7, R=42 |
---|
| 154 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 155 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 156 | skip STA NE XXX, L=7, R=dim42 |
---|
| 157 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 158 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 159 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 160 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 161 | skip XXX NE STA, L=dim7, R=42 |
---|
| 162 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 163 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 164 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 165 | skip UNS NE XXX, L=mut7, R=dim42 |
---|
| 166 | ---- REFVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = *0p; & b = & a; } |
---|
| 167 | done STA EQ STA, L=7, R=7 |
---|
| 168 | done STA NE STA, L=7, R=42 |
---|
| 169 | done STA EQ STA, L=7, R=enu7 |
---|
| 170 | done STA NE STA, L=7, R=enu42 |
---|
| 171 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 172 | skip STA NE UNS, L=7, R=mut42 |
---|
| 173 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 174 | done STA NE STA, L=enu7, R=enu42 |
---|
| 175 | done STA EQ STA, L=enu7, R=7 |
---|
| 176 | done STA NE STA, L=enu7, R=42 |
---|
| 177 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 178 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 179 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 180 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 181 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 182 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 183 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 184 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 185 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 186 | skip UNS NE STA, L=mut7, R=42 |
---|
| 187 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 188 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 189 | skip STA NE XXX, L=7, R=dim42 |
---|
| 190 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 191 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 192 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 193 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 194 | skip XXX NE STA, L=dim7, R=42 |
---|
| 195 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 196 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 197 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 198 | skip UNS NE XXX, L=mut7, R=dim42 |
---|
| 199 | ---- CALLZIP: { typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) b; zip( a, b ); } |
---|
| 200 | done STA EQ STA, L=7, R=7 |
---|
| 201 | done STA NE STA, L=7, R=42 |
---|
| 202 | done STA EQ STA, L=7, R=enu7 |
---|
| 203 | done STA NE STA, L=7, R=enu42 |
---|
| 204 | skip STA NE DYN, L=7, R=cpr42 |
---|
| 205 | skip STA NE UNS, L=7, R=mut42 |
---|
| 206 | done STA EQ STA, L=enu7, R=enu7 |
---|
| 207 | done STA NE STA, L=enu7, R=enu42 |
---|
| 208 | done STA EQ STA, L=enu7, R=7 |
---|
| 209 | done STA NE STA, L=enu7, R=42 |
---|
| 210 | skip STA NE DYN, L=enu7, R=cpr42 |
---|
| 211 | skip STA NE UNS, L=enu7, R=mut42 |
---|
| 212 | done DYN EQ DYN, L=cpr7, R=cpr7 |
---|
| 213 | done DYN NE DYN, L=cpr7, R=cpr42 |
---|
| 214 | skip DYN NE STA, L=cpr7, R=42 |
---|
| 215 | skip DYN NE STA, L=cpr7, R=enu42 |
---|
| 216 | done DYN NE UNS, L=cpr7, R=mut42 |
---|
| 217 | done UNS EQ UNS, L=mut7, R=mut7 |
---|
| 218 | done UNS NE UNS, L=mut7, R=mut42 |
---|
| 219 | skip UNS NE STA, L=mut7, R=42 |
---|
| 220 | skip UNS NE STA, L=mut7, R=enu42 |
---|
| 221 | done UNS NE DYN, L=mut7, R=cpr42 |
---|
| 222 | skip STA NE XXX, L=7, R=dim42 |
---|
| 223 | skip STA NE XXX, L=enu7, R=dim42 |
---|
| 224 | skip DYN NE XXX, L=cpr7, R=dim42 |
---|
| 225 | done XXX EQ XXX, L=dim7, R=dim7 |
---|
| 226 | skip XXX NE XXX, L=dim7, R=dim42 |
---|
| 227 | skip XXX NE STA, L=dim7, R=42 |
---|
| 228 | skip XXX NE STA, L=dim7, R=enu42 |
---|
| 229 | skip XXX NE DYN, L=dim7, R=cpr42 |
---|
| 230 | skip XXX NE UNS, L=dim7, R=mut42 |
---|
| 231 | skip UNS NE XXX, L=mut7, R=dim42 |
---|