ADT
        aaron-thesis
        arm-eh
        ast-experimental
        cleanup-dtors
        ctor
        deferred_resn
        demangler
        enum
        forall-pointer-decay
        gc_noraii
        jacob/cs343-translation
        jenkins-sandbox
        memory
        new-ast
        new-ast-unique-expr
        new-env
        no_list
        persistent-indexer
        pthread-emulation
        qualifiedEnum
        resolv-new
        with_gc
      
      
        
          | 
            Last change
 on this file since db175c8 was             b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago           | 
        
        
          | 
             
fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs 
 
           | 
        
        
          
            
              - 
Property                 mode
 set to                 
100644
               
             
           | 
        
        
          | 
            File size:
            7.6 KB
           | 
        
      
      
| Rev | Line |   | 
|---|
| [b1d6dd5] | 1 | fred: function
 | 
|---|
 | 2 |       accepting unspecified arguments
 | 
|---|
 | 3 |     returning 
 | 
|---|
 | 4 |       signed int 
 | 
|---|
 | 5 |     with body 
 | 
|---|
 | 6 |       CompoundStmt
 | 
|---|
 | 7 |         Declaration of struct s
 | 
|---|
 | 8 |             with members
 | 
|---|
 | 9 |               i: signed int 
 | 
|---|
 | 10 | 
 | 
|---|
 | 11 |         Declaration of p: pointer to instance of struct s 
 | 
|---|
 | 12 |         Declaration of i: signed int 
 | 
|---|
 | 13 |                   Expression Statement:
 | 
|---|
 | 14 |             Applying untyped: 
 | 
|---|
 | 15 |                 Name: !?
 | 
|---|
 | 16 |             ...to: 
 | 
|---|
 | 17 |                 Name: i
 | 
|---|
 | 18 | 
 | 
|---|
 | 19 |                   Expression Statement:
 | 
|---|
 | 20 |             Applying untyped: 
 | 
|---|
 | 21 |                 Name: ~?
 | 
|---|
 | 22 |             ...to: 
 | 
|---|
 | 23 |                 Name: i
 | 
|---|
 | 24 | 
 | 
|---|
 | 25 |                   Expression Statement:
 | 
|---|
 | 26 |             Applying untyped: 
 | 
|---|
 | 27 |                 Name: +?
 | 
|---|
 | 28 |             ...to: 
 | 
|---|
 | 29 |                 Name: i
 | 
|---|
 | 30 | 
 | 
|---|
 | 31 |                   Expression Statement:
 | 
|---|
 | 32 |             Applying untyped: 
 | 
|---|
 | 33 |                 Name: -?
 | 
|---|
 | 34 |             ...to: 
 | 
|---|
 | 35 |                 Name: i
 | 
|---|
 | 36 | 
 | 
|---|
 | 37 |                   Expression Statement:
 | 
|---|
 | 38 |             Applying untyped: 
 | 
|---|
 | 39 |                 Name: *?
 | 
|---|
 | 40 |             ...to: 
 | 
|---|
 | 41 |                 Name: p
 | 
|---|
 | 42 | 
 | 
|---|
 | 43 |                   Expression Statement:
 | 
|---|
 | 44 |             Applying untyped: 
 | 
|---|
 | 45 |                 Name: ++?
 | 
|---|
 | 46 |             ...to: 
 | 
|---|
 | 47 |                 Address of:
 | 
|---|
 | 48 |                   Name: p
 | 
|---|
 | 49 | 
 | 
|---|
 | 50 |                   Expression Statement:
 | 
|---|
 | 51 |             Applying untyped: 
 | 
|---|
 | 52 |                 Name: --?
 | 
|---|
 | 53 |             ...to: 
 | 
|---|
 | 54 |                 Address of:
 | 
|---|
 | 55 |                   Name: p
 | 
|---|
 | 56 | 
 | 
|---|
 | 57 |                   Expression Statement:
 | 
|---|
 | 58 |             Applying untyped: 
 | 
|---|
 | 59 |                 Name: ?++
 | 
|---|
 | 60 |             ...to: 
 | 
|---|
 | 61 |                 Address of:
 | 
|---|
 | 62 |                   Name: p
 | 
|---|
 | 63 | 
 | 
|---|
 | 64 |                   Expression Statement:
 | 
|---|
 | 65 |             Applying untyped: 
 | 
|---|
 | 66 |                 Name: ?--
 | 
|---|
 | 67 |             ...to: 
 | 
|---|
 | 68 |                 Address of:
 | 
|---|
 | 69 |                   Name: p
 | 
|---|
 | 70 | 
 | 
|---|
 | 71 |                   Expression Statement:
 | 
|---|
 | 72 |             Applying untyped: 
 | 
|---|
 | 73 |                 Name: ?+?
 | 
|---|
 | 74 |             ...to: 
 | 
|---|
 | 75 |                 Name: i
 | 
|---|
 | 76 |                 Name: i
 | 
|---|
 | 77 | 
 | 
|---|
 | 78 |                   Expression Statement:
 | 
|---|
 | 79 |             Applying untyped: 
 | 
|---|
 | 80 |                 Name: ?-?
 | 
|---|
 | 81 |             ...to: 
 | 
|---|
 | 82 |                 Name: i
 | 
|---|
 | 83 |                 Name: i
 | 
|---|
 | 84 | 
 | 
|---|
 | 85 |                   Expression Statement:
 | 
|---|
 | 86 |             Applying untyped: 
 | 
|---|
 | 87 |                 Name: ?*?
 | 
|---|
 | 88 |             ...to: 
 | 
|---|
 | 89 |                 Name: i
 | 
|---|
 | 90 |                 Name: i
 | 
|---|
 | 91 | 
 | 
|---|
 | 92 |                   Expression Statement:
 | 
|---|
 | 93 |             Applying untyped: 
 | 
|---|
 | 94 |                 Name: ?/?
 | 
|---|
 | 95 |             ...to: 
 | 
|---|
 | 96 |                 Name: i
 | 
|---|
 | 97 |                 Name: i
 | 
|---|
 | 98 | 
 | 
|---|
 | 99 |                   Expression Statement:
 | 
|---|
 | 100 |             Applying untyped: 
 | 
|---|
 | 101 |                 Name: ?%?
 | 
|---|
 | 102 |             ...to: 
 | 
|---|
 | 103 |                 Name: i
 | 
|---|
 | 104 |                 Name: i
 | 
|---|
 | 105 | 
 | 
|---|
 | 106 |                   Expression Statement:
 | 
|---|
 | 107 |             Applying untyped: 
 | 
|---|
 | 108 |                 Name: ?^?
 | 
|---|
 | 109 |             ...to: 
 | 
|---|
 | 110 |                 Name: i
 | 
|---|
 | 111 |                 Name: i
 | 
|---|
 | 112 | 
 | 
|---|
 | 113 |                   Expression Statement:
 | 
|---|
 | 114 |             Applying untyped: 
 | 
|---|
 | 115 |                 Name: ?&?
 | 
|---|
 | 116 |             ...to: 
 | 
|---|
 | 117 |                 Name: i
 | 
|---|
 | 118 |                 Name: i
 | 
|---|
 | 119 | 
 | 
|---|
 | 120 |                   Expression Statement:
 | 
|---|
 | 121 |             Applying untyped: 
 | 
|---|
 | 122 |                 Name: ?|?
 | 
|---|
 | 123 |             ...to: 
 | 
|---|
 | 124 |                 Name: i
 | 
|---|
 | 125 |                 Name: i
 | 
|---|
 | 126 | 
 | 
|---|
 | 127 |                   Expression Statement:
 | 
|---|
 | 128 |             Applying untyped: 
 | 
|---|
 | 129 |                 Name: ?<?
 | 
|---|
 | 130 |             ...to: 
 | 
|---|
 | 131 |                 Name: i
 | 
|---|
 | 132 |                 Name: i
 | 
|---|
 | 133 | 
 | 
|---|
 | 134 |                   Expression Statement:
 | 
|---|
 | 135 |             Applying untyped: 
 | 
|---|
 | 136 |                 Name: ?>?
 | 
|---|
 | 137 |             ...to: 
 | 
|---|
 | 138 |                 Name: i
 | 
|---|
 | 139 |                 Name: i
 | 
|---|
 | 140 | 
 | 
|---|
 | 141 |                   Expression Statement:
 | 
|---|
 | 142 |             Applying untyped: 
 | 
|---|
 | 143 |                 Name: ?=?
 | 
|---|
 | 144 |             ...to: 
 | 
|---|
 | 145 |                 Address of:
 | 
|---|
 | 146 |                   Name: i
 | 
|---|
 | 147 |                 Name: i
 | 
|---|
 | 148 | 
 | 
|---|
 | 149 |                   Expression Statement:
 | 
|---|
 | 150 |             Applying untyped: 
 | 
|---|
 | 151 |                 Name: ?==?
 | 
|---|
 | 152 |             ...to: 
 | 
|---|
 | 153 |                 Name: i
 | 
|---|
 | 154 |                 Name: i
 | 
|---|
 | 155 | 
 | 
|---|
 | 156 |                   Expression Statement:
 | 
|---|
 | 157 |             Applying untyped: 
 | 
|---|
 | 158 |                 Name: ?!=?
 | 
|---|
 | 159 |             ...to: 
 | 
|---|
 | 160 |                 Name: i
 | 
|---|
 | 161 |                 Name: i
 | 
|---|
 | 162 | 
 | 
|---|
 | 163 |                   Expression Statement:
 | 
|---|
 | 164 |             Applying untyped: 
 | 
|---|
 | 165 |                 Name: ?<<?
 | 
|---|
 | 166 |             ...to: 
 | 
|---|
 | 167 |                 Name: i
 | 
|---|
 | 168 |                 Name: i
 | 
|---|
 | 169 | 
 | 
|---|
 | 170 |                   Expression Statement:
 | 
|---|
 | 171 |             Applying untyped: 
 | 
|---|
 | 172 |                 Name: ?>>?
 | 
|---|
 | 173 |             ...to: 
 | 
|---|
 | 174 |                 Name: i
 | 
|---|
 | 175 |                 Name: i
 | 
|---|
 | 176 | 
 | 
|---|
 | 177 |                   Expression Statement:
 | 
|---|
 | 178 |             Applying untyped: 
 | 
|---|
 | 179 |                 Name: ?<=?
 | 
|---|
 | 180 |             ...to: 
 | 
|---|
 | 181 |                 Name: i
 | 
|---|
 | 182 |                 Name: i
 | 
|---|
 | 183 | 
 | 
|---|
 | 184 |                   Expression Statement:
 | 
|---|
 | 185 |             Applying untyped: 
 | 
|---|
 | 186 |                 Name: ?>=?
 | 
|---|
 | 187 |             ...to: 
 | 
|---|
 | 188 |                 Name: i
 | 
|---|
 | 189 |                 Name: i
 | 
|---|
 | 190 | 
 | 
|---|
 | 191 |                   Expression Statement:
 | 
|---|
 | 192 |             Short-circuited operation (and) on: Cast of:
 | 
|---|
 | 193 |   Applying untyped: 
 | 
|---|
 | 194 |       Name: ?!=?
 | 
|---|
 | 195 |   ...to: 
 | 
|---|
 | 196 |       Name: i
 | 
|---|
 | 197 |       Name: 0
 | 
|---|
 | 198 | 
 | 
|---|
 | 199 | to:
 | 
|---|
 | 200 |   signed int 
 | 
|---|
 | 201 |  and Cast of:
 | 
|---|
 | 202 |   Applying untyped: 
 | 
|---|
 | 203 |       Name: ?!=?
 | 
|---|
 | 204 |   ...to: 
 | 
|---|
 | 205 |       Name: i
 | 
|---|
 | 206 |       Name: 0
 | 
|---|
 | 207 | 
 | 
|---|
 | 208 | to:
 | 
|---|
 | 209 |   signed int 
 | 
|---|
 | 210 | 
 | 
|---|
 | 211 | 
 | 
|---|
 | 212 |                   Expression Statement:
 | 
|---|
 | 213 |             Short-circuited operation (or) on: Cast of:
 | 
|---|
 | 214 |   Applying untyped: 
 | 
|---|
 | 215 |       Name: ?!=?
 | 
|---|
 | 216 |   ...to: 
 | 
|---|
 | 217 |       Name: i
 | 
|---|
 | 218 |       Name: 0
 | 
|---|
 | 219 | 
 | 
|---|
 | 220 | to:
 | 
|---|
 | 221 |   signed int 
 | 
|---|
 | 222 |  and Cast of:
 | 
|---|
 | 223 |   Applying untyped: 
 | 
|---|
 | 224 |       Name: ?!=?
 | 
|---|
 | 225 |   ...to: 
 | 
|---|
 | 226 |       Name: i
 | 
|---|
 | 227 |       Name: 0
 | 
|---|
 | 228 | 
 | 
|---|
 | 229 | to:
 | 
|---|
 | 230 |   signed int 
 | 
|---|
 | 231 | 
 | 
|---|
 | 232 | 
 | 
|---|
 | 233 |                   Expression Statement:
 | 
|---|
 | 234 |             Member Expression, with field: i            from aggregate:               Applying untyped: 
 | 
|---|
 | 235 |                   Name: *?
 | 
|---|
 | 236 |               ...to: 
 | 
|---|
 | 237 |                   Name: p
 | 
|---|
 | 238 | 
 | 
|---|
 | 239 |                   Expression Statement:
 | 
|---|
 | 240 |             Applying untyped: 
 | 
|---|
 | 241 |                 Name: ?+=?
 | 
|---|
 | 242 |             ...to: 
 | 
|---|
 | 243 |                 Address of:
 | 
|---|
 | 244 |                   Name: i
 | 
|---|
 | 245 |                 Name: i
 | 
|---|
 | 246 | 
 | 
|---|
 | 247 |                   Expression Statement:
 | 
|---|
 | 248 |             Applying untyped: 
 | 
|---|
 | 249 |                 Name: ?-=?
 | 
|---|
 | 250 |             ...to: 
 | 
|---|
 | 251 |                 Address of:
 | 
|---|
 | 252 |                   Name: i
 | 
|---|
 | 253 |                 Name: i
 | 
|---|
 | 254 | 
 | 
|---|
 | 255 |                   Expression Statement:
 | 
|---|
 | 256 |             Applying untyped: 
 | 
|---|
 | 257 |                 Name: ?*=?
 | 
|---|
 | 258 |             ...to: 
 | 
|---|
 | 259 |                 Address of:
 | 
|---|
 | 260 |                   Name: i
 | 
|---|
 | 261 |                 Name: i
 | 
|---|
 | 262 | 
 | 
|---|
 | 263 |                   Expression Statement:
 | 
|---|
 | 264 |             Applying untyped: 
 | 
|---|
 | 265 |                 Name: ?/=?
 | 
|---|
 | 266 |             ...to: 
 | 
|---|
 | 267 |                 Address of:
 | 
|---|
 | 268 |                   Name: i
 | 
|---|
 | 269 |                 Name: i
 | 
|---|
 | 270 | 
 | 
|---|
 | 271 |                   Expression Statement:
 | 
|---|
 | 272 |             Applying untyped: 
 | 
|---|
 | 273 |                 Name: ?%=?
 | 
|---|
 | 274 |             ...to: 
 | 
|---|
 | 275 |                 Address of:
 | 
|---|
 | 276 |                   Name: i
 | 
|---|
 | 277 |                 Name: i
 | 
|---|
 | 278 | 
 | 
|---|
 | 279 |                   Expression Statement:
 | 
|---|
 | 280 |             Applying untyped: 
 | 
|---|
 | 281 |                 Name: ?&=?
 | 
|---|
 | 282 |             ...to: 
 | 
|---|
 | 283 |                 Address of:
 | 
|---|
 | 284 |                   Name: i
 | 
|---|
 | 285 |                 Name: i
 | 
|---|
 | 286 | 
 | 
|---|
 | 287 |                   Expression Statement:
 | 
|---|
 | 288 |             Applying untyped: 
 | 
|---|
 | 289 |                 Name: ?|=?
 | 
|---|
 | 290 |             ...to: 
 | 
|---|
 | 291 |                 Address of:
 | 
|---|
 | 292 |                   Name: i
 | 
|---|
 | 293 |                 Name: i
 | 
|---|
 | 294 | 
 | 
|---|
 | 295 |                   Expression Statement:
 | 
|---|
 | 296 |             Applying untyped: 
 | 
|---|
 | 297 |                 Name: ?^=?
 | 
|---|
 | 298 |             ...to: 
 | 
|---|
 | 299 |                 Address of:
 | 
|---|
 | 300 |                   Name: i
 | 
|---|
 | 301 |                 Name: i
 | 
|---|
 | 302 | 
 | 
|---|
 | 303 |                   Expression Statement:
 | 
|---|
 | 304 |             Applying untyped: 
 | 
|---|
 | 305 |                 Name: ?<<=?
 | 
|---|
 | 306 |             ...to: 
 | 
|---|
 | 307 |                 Address of:
 | 
|---|
 | 308 |                   Name: i
 | 
|---|
 | 309 |                 Name: i
 | 
|---|
 | 310 | 
 | 
|---|
 | 311 |                   Expression Statement:
 | 
|---|
 | 312 |             Applying untyped: 
 | 
|---|
 | 313 |                 Name: ?>>=?
 | 
|---|
 | 314 |             ...to: 
 | 
|---|
 | 315 |                 Address of:
 | 
|---|
 | 316 |                   Name: i
 | 
|---|
 | 317 |                 Name: i
 | 
|---|
 | 318 | 
 | 
|---|
 | 319 |                   Expression Statement:
 | 
|---|
 | 320 |             Conditional expression on: 
 | 
|---|
 | 321 |               Cast of:
 | 
|---|
 | 322 |                 Applying untyped: 
 | 
|---|
 | 323 |                     Name: ?!=?
 | 
|---|
 | 324 |                 ...to: 
 | 
|---|
 | 325 |                     Name: i
 | 
|---|
 | 326 |                     Name: 0
 | 
|---|
 | 327 | 
 | 
|---|
 | 328 |               to:
 | 
|---|
 | 329 |                 signed int 
 | 
|---|
 | 330 |             First alternative:
 | 
|---|
 | 331 |               Name: i
 | 
|---|
 | 332 |             Second alternative:
 | 
|---|
 | 333 |               Name: i
 | 
|---|
 | 334 | 
 | 
|---|
 | 335 | 
 | 
|---|
 | 336 | 
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.