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 bc1ab61 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:
            4.2 KB
           | 
        
      
      
| Rev | Line |   | 
|---|
| [b1d6dd5] | 1 | ?=?: function
 | 
|---|
 | 2 |     with parameters
 | 
|---|
 | 3 |       pointer to char 
 | 
|---|
 | 4 |       char 
 | 
|---|
 | 5 |     returning 
 | 
|---|
 | 6 |       char 
 | 
|---|
 | 7 | 
 | 
|---|
 | 8 | ?=?: function
 | 
|---|
 | 9 |     with parameters
 | 
|---|
 | 10 |       pointer to signed int 
 | 
|---|
 | 11 |       signed int 
 | 
|---|
 | 12 |     returning 
 | 
|---|
 | 13 |       signed int 
 | 
|---|
 | 14 | 
 | 
|---|
 | 15 | ?=?: function
 | 
|---|
 | 16 |     with parameters
 | 
|---|
 | 17 |       pointer to float 
 | 
|---|
 | 18 |       float 
 | 
|---|
 | 19 |     returning 
 | 
|---|
 | 20 |       float 
 | 
|---|
 | 21 | 
 | 
|---|
 | 22 | ?=?: forall
 | 
|---|
 | 23 |       DT: incomplete type
 | 
|---|
 | 24 |     function
 | 
|---|
 | 25 |     with parameters
 | 
|---|
 | 26 |       pointer to pointer to instance of type DT (not function type) 
 | 
|---|
 | 27 |       pointer to instance of type DT (not function type) 
 | 
|---|
 | 28 |     returning 
 | 
|---|
 | 29 |       pointer to instance of type DT (not function type) 
 | 
|---|
 | 30 | 
 | 
|---|
 | 31 | *?: forall
 | 
|---|
 | 32 |       T: type
 | 
|---|
 | 33 |         with assertions
 | 
|---|
 | 34 |           ?=?: function
 | 
|---|
 | 35 |               with parameters
 | 
|---|
 | 36 |                 pointer to instance of type T (not function type) 
 | 
|---|
 | 37 |                 instance of type T (not function type) 
 | 
|---|
 | 38 |               returning 
 | 
|---|
 | 39 |                 instance of type T (not function type) 
 | 
|---|
 | 40 | 
 | 
|---|
 | 41 | 
 | 
|---|
 | 42 |     function
 | 
|---|
 | 43 |     with parameters
 | 
|---|
 | 44 |       pointer to instance of type T (not function type) 
 | 
|---|
 | 45 |     returning 
 | 
|---|
 | 46 |       lvalue instance of type T (not function type) 
 | 
|---|
 | 47 | 
 | 
|---|
 | 48 | __builtin_memcpy: function
 | 
|---|
 | 49 |       accepting unspecified arguments
 | 
|---|
 | 50 |     returning 
 | 
|---|
 | 51 |       pointer to char 
 | 
|---|
 | 52 | 
 | 
|---|
 | 53 | a: function
 | 
|---|
 | 54 |     with parameters
 | 
|---|
 | 55 |       char 
 | 
|---|
 | 56 |     returning 
 | 
|---|
 | 57 |       void 
 | 
|---|
 | 58 | 
 | 
|---|
 | 59 | b: function
 | 
|---|
 | 60 |     with parameters
 | 
|---|
 | 61 |       signed int 
 | 
|---|
 | 62 |     returning 
 | 
|---|
 | 63 |       void 
 | 
|---|
 | 64 | 
 | 
|---|
 | 65 | c: function
 | 
|---|
 | 66 |     with parameters
 | 
|---|
 | 67 |       pointer to signed int 
 | 
|---|
 | 68 |     returning 
 | 
|---|
 | 69 |       void 
 | 
|---|
 | 70 | 
 | 
|---|
 | 71 | d: function
 | 
|---|
 | 72 |     with parameters
 | 
|---|
 | 73 |       pointer to float 
 | 
|---|
 | 74 |     returning 
 | 
|---|
 | 75 |       void 
 | 
|---|
 | 76 | 
 | 
|---|
 | 77 | struct a_struct
 | 
|---|
 | 78 |     with members
 | 
|---|
 | 79 |       a: signed int 
 | 
|---|
 | 80 |       a: char 
 | 
|---|
 | 81 |       a: float 
 | 
|---|
 | 82 | 
 | 
|---|
 | 83 | union b_struct
 | 
|---|
 | 84 |     with members
 | 
|---|
 | 85 |       a: pointer to signed int 
 | 
|---|
 | 86 |       a: pointer to char 
 | 
|---|
 | 87 |       a: pointer to float 
 | 
|---|
 | 88 | 
 | 
|---|
 | 89 | f: function
 | 
|---|
 | 90 |       accepting unspecified arguments
 | 
|---|
 | 91 |     returning 
 | 
|---|
 | 92 |       void 
 | 
|---|
 | 93 |     with body 
 | 
|---|
 | 94 |       CompoundStmt
 | 
|---|
 | 95 |         Declaration of the_struct: instance of struct a_struct 
 | 
|---|
 | 96 |         Declaration of the_struct: instance of union b_struct 
 | 
|---|
 | 97 |                   Expression Statement:
 | 
|---|
 | 98 |             Applying untyped: 
 | 
|---|
 | 99 |                 Name: a
 | 
|---|
 | 100 |             ...to: 
 | 
|---|
 | 101 |                 Member Expression, with field: a                from aggregate:                   Name: the_struct
 | 
|---|
 | 102 | 
 | 
|---|
 | 103 |                   Expression Statement:
 | 
|---|
 | 104 |             Applying untyped: 
 | 
|---|
 | 105 |                 Name: b
 | 
|---|
 | 106 |             ...to: 
 | 
|---|
 | 107 |                 Member Expression, with field: a                from aggregate:                   Name: the_struct
 | 
|---|
 | 108 | 
 | 
|---|
 | 109 |                   Expression Statement:
 | 
|---|
 | 110 |             Applying untyped: 
 | 
|---|
 | 111 |                 Name: c
 | 
|---|
 | 112 |             ...to: 
 | 
|---|
 | 113 |                 Member Expression, with field: a                from aggregate:                   Name: the_struct
 | 
|---|
 | 114 | 
 | 
|---|
 | 115 |                   Expression Statement:
 | 
|---|
 | 116 |             Applying untyped: 
 | 
|---|
 | 117 |                 Name: d
 | 
|---|
 | 118 |             ...to: 
 | 
|---|
 | 119 |                 Member Expression, with field: a                from aggregate:                   Name: the_struct
 | 
|---|
 | 120 | 
 | 
|---|
 | 121 | 
 | 
|---|
 | 122 | struct c_struct
 | 
|---|
 | 123 |     with members
 | 
|---|
 | 124 |       signed int 
 | 
|---|
 | 125 |       char 
 | 
|---|
 | 126 |       float 
 | 
|---|
 | 127 | 
 | 
|---|
 | 128 | union d_struct
 | 
|---|
 | 129 |     with members
 | 
|---|
 | 130 |       pointer to signed int 
 | 
|---|
 | 131 |       pointer to char 
 | 
|---|
 | 132 |       pointer to float 
 | 
|---|
 | 133 | 
 | 
|---|
 | 134 | g: function
 | 
|---|
 | 135 |       accepting unspecified arguments
 | 
|---|
 | 136 |     returning 
 | 
|---|
 | 137 |       void 
 | 
|---|
 | 138 |     with body 
 | 
|---|
 | 139 |       CompoundStmt
 | 
|---|
 | 140 |         Declaration of x: short unsigned int 
 | 
|---|
 | 141 |         Declaration of x: instance of struct c_struct 
 | 
|---|
 | 142 |         Declaration of x: instance of union d_struct 
 | 
|---|
 | 143 |                   Expression Statement:
 | 
|---|
 | 144 |             Applying untyped: 
 | 
|---|
 | 145 |                 Name: a
 | 
|---|
 | 146 |             ...to: 
 | 
|---|
 | 147 |                 Name: x
 | 
|---|
 | 148 | 
 | 
|---|
 | 149 |                   Expression Statement:
 | 
|---|
 | 150 |             Applying untyped: 
 | 
|---|
 | 151 |                 Name: b
 | 
|---|
 | 152 |             ...to: 
 | 
|---|
 | 153 |                 Name: x
 | 
|---|
 | 154 | 
 | 
|---|
 | 155 |                   Expression Statement:
 | 
|---|
 | 156 |             Applying untyped: 
 | 
|---|
 | 157 |                 Name: c
 | 
|---|
 | 158 |             ...to: 
 | 
|---|
 | 159 |                 Name: x
 | 
|---|
 | 160 | 
 | 
|---|
 | 161 |                   Expression Statement:
 | 
|---|
 | 162 |             Applying untyped: 
 | 
|---|
 | 163 |                 Name: d
 | 
|---|
 | 164 |             ...to: 
 | 
|---|
 | 165 |                 Name: x
 | 
|---|
 | 166 | 
 | 
|---|
 | 167 | 
 | 
|---|
 | 168 | struct forward
 | 
|---|
 | 169 | q: pointer to instance of struct forward 
 | 
|---|
 | 170 | struct forward
 | 
|---|
 | 171 |     with members
 | 
|---|
 | 172 |       y: signed int 
 | 
|---|
 | 173 | 
 | 
|---|
 | 174 | h: function
 | 
|---|
 | 175 |       accepting unspecified arguments
 | 
|---|
 | 176 |     returning 
 | 
|---|
 | 177 |       void 
 | 
|---|
 | 178 |     with body 
 | 
|---|
 | 179 |       CompoundStmt
 | 
|---|
 | 180 |                   Expression Statement:
 | 
|---|
 | 181 |             Member Expression, with field: y            from aggregate:               Applying untyped: 
 | 
|---|
 | 182 |                   Name: *?
 | 
|---|
 | 183 |               ...to: 
 | 
|---|
 | 184 |                   Name: q
 | 
|---|
 | 185 | 
 | 
|---|
 | 186 | 
 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.