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
        string
        with_gc
      
      
        
          | 
            Last change
 on this file since e01559c 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:
            562 bytes
           | 
        
      
      
| Line |   | 
|---|
| 1 | alternatives before prune:
 | 
|---|
| 2 | Cost ( 0, 0, 0 ): constant expression 10 signed int (types:
 | 
|---|
| 3 |     signed int 
 | 
|---|
| 4 | )
 | 
|---|
| 5 | Environment: 
 | 
|---|
| 6 | 
 | 
|---|
| 7 | there are 1 alternatives before elimination
 | 
|---|
| 8 | there are 1 alternatives after elimination
 | 
|---|
| 9 | alternatives before prune:
 | 
|---|
| 10 | Cost ( 0, 0, 2 ): Cast of:
 | 
|---|
| 11 | constant expression 10 signed int 
 | 
|---|
| 12 | to:
 | 
|---|
| 13 |   long unsigned int 
 | 
|---|
| 14 | (types:
 | 
|---|
| 15 |     long unsigned int 
 | 
|---|
| 16 | )
 | 
|---|
| 17 | Environment: 
 | 
|---|
| 18 | 
 | 
|---|
| 19 | there are 1 alternatives before elimination
 | 
|---|
| 20 | there are 1 alternatives after elimination
 | 
|---|
| 21 | int __i__i;
 | 
|---|
| 22 | int __i__i;
 | 
|---|
| 23 | int __i__i;
 | 
|---|
| 24 | int __i__i;
 | 
|---|
| 25 | int main(){
 | 
|---|
| 26 |     int __x__A0i[((long unsigned int )10)];
 | 
|---|
| 27 | }
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.