Changeset b1d6dd5 for src/Tests/Expect-a


Ignore:
Timestamp:
Jun 11, 2015, 12:15:54 PM (9 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
Children:
eff0cad0
Parents:
8a95629
Message:

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs

Location:
src/Tests/Expect-a
Files:
42 added
16 moved

Legend:

Unmodified
Added
Removed

  • src/Tests/Expect-a/Constant0-1.txt

    r8a95629 rb1d6dd5  
    990: const signed int
    10101: const signed int
     110: signed int
     121: signed int
     130: signed int
     141: signed int
    11150: static const signed int
    12161: static const signed int
    … …  
    2630
    27311: static const instance of struct __anonymous2
    28 1: signed int
    29320: pointer to signed int
    30 1: signed int
    31 1: signed int
     331: pointer to signed int
    32340: pointer to signed int
     351: pointer to signed int
    33360: pointer to signed int
     371: pointer to signed int
    34380: pointer to signed int
     391: pointer to signed int
    35400: const pointer to signed int
     411: const pointer to signed int
    36420: const pointer to signed int
     431: const pointer to signed int
    37440: const pointer to signed int
     451: const pointer to signed int
    3846struct __anonymous3
    3947    with members
    … …  
    6876x: const pointer to pointer to signed int
    69770: const pointer to pointer to signed int
     78main: C function
     79      accepting unspecified arguments
     80    returning
     81      signed int
     82    with body
     83      CompoundStmt
     84        Declaration of 1: signed int
     85        Declaration of 0: pointer to signed int
     86        Declaration of x: pointer to signed int
     87        Declaration of 0: pointer to signed int
     88

  • src/Tests/Expect-a/Forall.txt

    r8a95629 rb1d6dd5  
     1?=?: function
     2    with parameters
     3      pointer to signed int
     4      signed int
     5    returning
     6      signed int
     7
     8?=?: function
     9    with parameters
     10      pointer to float
     11      float
     12    returning
     13      float
     14
     15?=?: function
     16    with parameters
     17      pointer to pointer to signed int
     18      pointer to signed int
     19    returning
     20      pointer to signed int
     21
     22?=?: function
     23    with parameters
     24      pointer to pointer to float
     25      pointer to float
     26    returning
     27      pointer to float
     28
     29?=?: function
     30    with parameters
     31      pointer to char
     32      char
     33    returning
     34      char
     35
     36?=?: function
     37    with parameters
     38      pointer to pointer to function
     39          with parameters
     40            void
     41          returning
     42            void
     43
     44      pointer to function
     45          with parameters
     46            void
     47          returning
     48            void
     49
     50    returning
     51      pointer to function
     52          with parameters
     53            void
     54          returning
     55            void
     56
     57
     58g1: function
     59      accepting unspecified arguments
     60    returning
     61      void
     62    with body
     63      CompoundStmt
     64        Declaration of f: forall
     65              T: type
     66                with assertions
     67                  ?=?: function
     68                      with parameters
     69                        pointer to instance of type T (not function type)
     70                        instance of type T (not function type)
     71                      returning
     72                        instance of type T (not function type)
     73
     74
     75            function
     76            with parameters
     77              instance of type T (not function type)
     78            returning
     79              instance of type T (not function type)
     80
     81        Declaration of f: function
     82            with parameters
     83              signed int
     84            returning
     85              void
     86
     87        Declaration of h: function
     88            with parameters
     89              p: pointer to function
     90                  with parameters
     91                    void
     92                  returning
     93                    void
     94
     95            returning
     96              void
     97
     98        Declaration of x: signed int
     99        Declaration of y: pointer to function
     100            with parameters
     101              void
     102            returning
     103              void
     104
     105        Declaration of z: char
     106        Declaration of w: float
     107                  Expression Statement:
     108            Applying untyped:
     109                Name: f
     110            ...to:
     111                Name: x
     112
     113                  Expression Statement:
     114            Applying untyped:
     115                Name: f
     116            ...to:
     117                Name: y
     118
     119                  Expression Statement:
     120            Applying untyped:
     121                Name: f
     122            ...to:
     123                Name: z
     124
     125                  Expression Statement:
     126            Applying untyped:
     127                Name: f
     128            ...to:
     129                Name: w
     130
     131                  Expression Statement:
     132            Applying untyped:
     133                Name: h
     134            ...to:
     135                Applying untyped:
     136                    Name: f
     137                ...to:
     138                    Name: y
     139
     140
     141g2: function
     142      accepting unspecified arguments
     143    returning
     144      void
     145    with body
     146      CompoundStmt
     147        Declaration of f: forall
     148              T: type
     149                with assertions
     150                  ?=?: function
     151                      with parameters
     152                        pointer to instance of type T (not function type)
     153                        instance of type T (not function type)
     154                      returning
     155                        instance of type T (not function type)
     156
     157
     158            function
     159            with parameters
     160              instance of type T (not function type)
     161              instance of type T (not function type)
     162            returning
     163              void
     164
     165        Declaration of f: forall
     166              T: type
     167                with assertions
     168                  ?=?: function
     169                      with parameters
     170                        pointer to instance of type T (not function type)
     171                        instance of type T (not function type)
     172                      returning
     173                        instance of type T (not function type)
     174
     175
     176              U: type
     177                with assertions
     178                  ?=?: function
     179                      with parameters
     180                        pointer to instance of type U (not function type)
     181                        instance of type U (not function type)
     182                      returning
     183                        instance of type U (not function type)
     184
     185
     186            function
     187            with parameters
     188              instance of type T (not function type)
     189              instance of type U (not function type)
     190            returning
     191              void
     192
     193        Declaration of x: signed int
     194        Declaration of y: float
     195        Declaration of z: pointer to signed int
     196        Declaration of w: pointer to float
     197                  Expression Statement:
     198            Applying untyped:
     199                Name: f
     200            ...to:
     201                Name: x
     202                Name: y
     203
     204                  Expression Statement:
     205            Applying untyped:
     206                Name: f
     207            ...to:
     208                Name: z
     209                Name: w
     210
     211                  Expression Statement:
     212            Applying untyped:
     213                Name: f
     214            ...to:
     215                Name: x
     216                Name: z
     217
     218
    1219f: typedef for pointer to forall
    2220      T: type
    … …  
    285503
    286504
     505min: forall
     506      T: type
     507        with assertions
     508          ?=?: function
     509              with parameters
     510                pointer to instance of type T (not function type)
     511                instance of type T (not function type)
     512              returning
     513                instance of type T (not function type)
     514
     515          0: const instance of type T (not function type)
     516          ?!=?: function
     517              with parameters
     518                instance of type T (not function type)
     519                instance of type T (not function type)
     520              returning
     521                signed int
     522
     523          ?<?: function
     524              with parameters
     525                instance of type T (not function type)
     526                instance of type T (not function type)
     527              returning
     528                signed int
     529
     530
     531    function
     532    with parameters
     533      t1: instance of type T (not function type)
     534      t2: instance of type T (not function type)
     535    returning
     536      instance of type T (not function type)
     537    with body
     538      CompoundStmt
     539                  Return Statement, returning: Conditional expression on:
     540  Cast of:
     541    Applying untyped:
     542        Name: ?!=?
     543    ...to:
     544        Applying untyped:
     545            Name: ?<?
     546        ...to:
     547            Name: t1
     548            Name: t2
     549        Name: 0
     550
     551  to:
     552    signed int
     553First alternative:
     554  Name: t1
     555Second alternative:
     556  Name: t2
     557
     558
     559
     560
    287561main: C function
    288562      accepting unspecified arguments
    … …  
    310584            ...to:
    311585                Name: x
    312                 Name: y
    313586
    314587                  Expression Statement:

  • src/Tests/Expect-a/Functions.txt

    r8a95629 rb1d6dd5  
    681681f: function
    682682    with parameters
    683       function
    684           with parameters
    685             instance of type T (not function type)
    686           returning
    687             instance of type T (not function type)
    688 
    689       T: instance of type T (not function type)
    690     returning
    691       signed int
    692     with body
    693       CompoundStmt
    694                   Expression Statement:
    695             Applying untyped:
    696                 Name: T
    697             ...to:
    698                 Name: T
    699 
    700 
     683      f: pointer to instance of type T (not function type)
     684      t: instance of type T (not function type)
     685    returning
     686      signed int
     687    with body
     688      CompoundStmt
     689        Declaration of T: instance of type T (not function type)
     690

  • src/Tests/Expect-a/Initialization.txt

    r8a95629 rb1d6dd5  
    1 x21: pointer to signed int with initializer
     1x11: pointer to signed int with initializer
    22  Simple Initializer:     Name: 0
    33
    4 x22: signed int with initializer
     4x12: signed int with initializer
    55  Simple Initializer:     Name: 0
    66
    … …  
    8282constant expression 3 signed int         Name: g3
    8383
     84struct point
     85    with members
     86      x: signed int
     87      z: signed int
     88      struct __anonymous4
     89          with members
     90            y1: signed int
     91            y2: signed int
     92            y3: signed int
     93
     94      y: instance of struct __anonymous4
     95      w: signed int
     96
     97struct quintet
     98    with members
     99      v: signed int
     100      w: signed int
     101      x: signed int
     102      y: signed int
     103      z: signed int
     104
     105main: C function
     106      accepting unspecified arguments
     107    returning
     108      signed int
     109    with body
     110      CompoundStmt
     111        Declaration of p1: instance of struct point with initializer
     112          Compound initializer: 
     113            Simple Initializer: constant expression 3 signed int
     114              designated by:                 Name: x
     115
     116        Declaration of p2: instance of struct point with initializer
     117          Compound initializer: 
     118            Simple Initializer: constant expression 3 signed int
     119            Simple Initializer: constant expression 4 signed int
     120        Declaration of p3: instance of struct point with initializer
     121          Compound initializer: 
     122            Simple Initializer: constant expression 5 signed int
     123              designated by:                 Name: x
     124                Name: z
     125
     126            Compound initializer:                designated by: [                Name: y
     127              ]
     128              Simple Initializer: constant expression 6 signed int
     129                designated by:                   Name: y3
     130                  Name: y1
     131
     132              Simple Initializer: constant expression 17 signed int
     133        Declaration of p4: instance of struct point with initializer
     134          Compound initializer: 
     135            Simple Initializer: constant expression 5 signed int
     136              designated by:                 Name: w
     137
     138            Simple Initializer: constant expression 4 signed int
     139

  • src/Tests/Expect-a/Tuple.txt

    r8a95629 rb1d6dd5  
    2222    returning
    2323      signed int
    24       signed int
    25       signed int
     24      pointer to signed int
     25      pointer to signed int
    2626      signed int
    2727
    … …  
    135135constant expression 17 signed int
    136136                  constant expression 3 signed int
     137
     138                  Expression Statement:
     139            Applying untyped:
     140                Name: ?=?
     141            ...to:
     142                Address of:
     143                  Tuple:
     144                                          Name: x
     145
     146                                          Name: y
     147
     148                                          Name: z
     149
     150                Cast of:
     151                  Tuple:
     152                                          Name: p
     153
     154                                          Applying untyped:
     155                          Name: f
     156                      ...to:
     157constant expression 17 signed int
     158                    constant expression 3 signed int
     159
     160                to:
     161                  short signed int
     162                  unsigned int
     163                  tuple of types
     164                      signed int
     165                      signed int
     166
    137167
    138168                  Expression Statement:
    … …  
    201231                Name: t1
    202232constant expression 3 signed int
     233                  Expression Statement:
     234            Tuple:
     235
    203236                  Expression Statement:
    204237            Tuple:
    … …  
    494527            ...to:
    495528                Address of:
     529                  Tuple:
     530                                          Name: a
     531
     532                                          Name: b
     533
     534                Applying untyped:
     535                    Name: h
     536                ...to:
     537constant expression 3 signed int constant expression 3 signed int                     Name: 0
     538constant expression "abc" array of char with dimension of constant expression 6 unsigned int
     539                  Expression Statement:
     540            Applying untyped:
     541                Name: ?=?
     542            ...to:
     543                Address of:
    496544                  Name: sp
    497545                Name: sp

  • src/Tests/Expect-a/TypeGenerator.txt

    r8a95629 rb1d6dd5  
    1515    with members
    1616      data: instance of type T (not function type)
    17       next: pointer to instance of type List (not function type)
     17      next: pointer to instance of type List1 (not function type)
    1818        with parameters
    1919          instance of type T (not function type)
    2020
    2121
    22 List: type for pointer to instance of struct __anonymous0
     22List1: type for pointer to instance of struct __anonymous0
    2323  with parameters
    2424    T: type
    … …  
    3636
    3737
    38 ListOfIntegers: typedef for instance of type List (not function type)
     38li: instance of type List1 (not function type)
    3939  with parameters
    4040    signed int
    4141
    42 li: instance of type ListOfIntegers (not function type)
    4342f: function
    4443    with parameters
    … …  
    4746            signed int
    4847          returning
    49             instance of type List (not function type)
     48            instance of type List1 (not function type)
    5049              with parameters
    5150                signed int
    … …  
    5756h: function
    5857    with parameters
    59       p: pointer to instance of type List (not function type)
     58      p: pointer to instance of type List1 (not function type)
    6059        with parameters
    6160          signed int
    … …  
    6362    returning
    6463      signed int
     64
     65struct S1
     66    with parameters
     67      T: type
     68
     69struct S1
     70    with parameters
     71      T: type
     72
     73    with members
     74      i: instance of type T (not function type)
     75
     76v1: instance of struct S1
     77  with parameters
     78    signed int
     79
     80p: pointer to instance of struct S1
     81  with parameters
     82    signed int
     83
     84struct S2
     85    with parameters
     86      T: type
     87
     88    with members
     89      i: instance of type T (not function type)
     90
     91v2: instance of struct S2
     92  with parameters
     93    signed int
     94
     95struct __anonymous1
     96    with parameters
     97      T: type
     98
     99    with members
     100      i: instance of type T (not function type)
     101
     102v2: instance of struct __anonymous1
     103  with parameters
     104    signed int
    65105
    66106struct node

  • src/Tests/Expect-a/Typedef.txt

    r8a95629 rb1d6dd5  
    4444
    4545c: instance of type a (not function type)
     46x: typedef for type-of expression constant expression 3 signed int
     47y: typedef for type-of expression constant expression 3 signed int
     48p: instance of type x (not function type)
     49q: instance of type y (not function type)
    4650main: C function
    4751      accepting unspecified arguments
    … …  
    5054    with body
    5155      CompoundStmt
     56        Declaration of z: typedef for type-of expression constant expression 3 signed int
     57        Declaration of p: typedef for type-of expression constant expression 3 signed int
     58        Declaration of w: instance of type z (not function type)
     59        Declaration of x: instance of type p (not function type)
    5260
    5361arrayOf10Pointers: typedef for array of pointer to signed int with dimension of constant expression 10 signed int
    54 x: instance of type arrayOf10Pointers (not function type)
     62array: instance of type arrayOf10Pointers (not function type)
    5563constantPointer: typedef for const pointer to signed int
    5664funcPtr: typedef for pointer to function

  • src/Tests/Expect-a/VariableDeclarator.txt

    r8a95629 rb1d6dd5  
    3333f33: open array of const pointer to const pointer to signed int
    3434f34: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int
    35 f35: open array of pointer to signed int
    36 f36: array of pointer to signed int with dimension of constant expression 10 signed int
    37 f37: open array of pointer to pointer to signed int
    38 f38: array of pointer to pointer to signed int with dimension of constant expression 10 signed int
    39 f39: open array of pointer to const pointer to signed int
    40 f40: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int
    41 f41: open array of const pointer to const pointer to signed int
    42 f42: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int
     35f35: pointer to open array of signed int
     36f36: pointer to array of signed int with dimension of constant expression 10 signed int
     37f37: pointer to pointer to open array of signed int
     38f38: pointer to pointer to array of signed int with dimension of constant expression 10 signed int
     39f39: pointer to const pointer to open array of signed int
     40f40: pointer to const pointer to array of signed int with dimension of constant expression 10 signed int
     41f41: const pointer to const pointer to open array of signed int
     42f42: const pointer to const pointer to array of signed int with dimension of constant expression 10 signed int
    4343f43: open array of array of signed int with dimension of constant expression 3 signed int
    4444f44: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int
    … …  
    177177
    178178
    179 z: pointer to array of double with dimension of constant expression 20 signed int
    180 w: array of pointer to char with dimension of constant expression 20 signed int
     179cf3: pointer to signed int
     180cf4: pointer to pointer to signed int
     181cf5: pointer to const pointer to signed int
     182cf6: const pointer to const pointer to signed int
     183cf15: open array of signed int
     184cf16: array of signed int with dimension of constant expression 10 signed int
     185cf19: open array of pointer to signed int
     186cf20: array of pointer to signed int with dimension of constant expression 10 signed int
     187cf21: open array of pointer to pointer to signed int
     188cf22: array of pointer to pointer to signed int with dimension of constant expression 10 signed int
     189cf23: open array of pointer to const pointer to signed int
     190cf24: array of pointer to const pointer to signed int with dimension of constant expression 10 signed int
     191cf25: open array of const pointer to const pointer to signed int
     192cf26: array of const pointer to const pointer to signed int with dimension of constant expression 10 signed int
     193cf35: pointer to open array of signed int
     194cf36: pointer to array of signed int with dimension of constant expression 10 signed int
     195cf37: pointer to pointer to open array of signed int
     196cf38: pointer to pointer to array of signed int with dimension of constant expression 10 signed int
     197cf39: pointer to const pointer to open array of signed int
     198cf40: pointer to const pointer to array of signed int with dimension of constant expression 10 signed int
     199cf41: const pointer to const pointer to open array of signed int
     200cf42: const pointer to const pointer to array of signed int with dimension of constant expression 10 signed int
     201cf43: open array of array of signed int with dimension of constant expression 3 signed int
     202cf44: array of array of signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int
     203cf49: open array of array of pointer to signed int with dimension of constant expression 3 signed int
     204cf50: array of array of pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int
     205cf51: open array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int
     206cf52: array of array of pointer to pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int
     207cf53: open array of array of const pointer to signed int with dimension of constant expression 3 signed int
     208cf54: array of array of pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int
     209cf55: open array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int
     210cf56: array of array of const pointer to const pointer to signed int with dimension of constant expression 3 signed int with dimension of constant expression 3 signed int
     211cf65: function
     212    with parameters
     213      signed int
     214    returning
     215      signed int
     216
     217cf66: function
     218    with parameters
     219      signed int
     220    returning
     221      signed int
     222
     223cf67: function
     224    with parameters
     225      signed int
     226    returning
     227      pointer to signed int
     228
     229cf68: function
     230    with parameters
     231      signed int
     232    returning
     233      pointer to pointer to signed int
     234
     235cf69: function
     236    with parameters
     237      signed int
     238    returning
     239      const pointer to pointer to signed int
     240
     241cf70: function
     242    with parameters
     243      signed int
     244    returning
     245      const pointer to const pointer to signed int
     246
    181247v3: pointer to open array of pointer to open array of pointer to function
    182248    with parameters
Note: See TracChangeset for help on using the changeset viewer.