Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/tests/Constant0-1.c

    ra0dcd2e r62edde5  
    1 // Constant test declaration
     1//Constant test declaration
     2// Cforall extension
    23
    34// value
     
    56int 0;
    67const int 0;
     8static const int 0;
    79int 1;
    810const int 1;
     11static const int 1;
     12int 0, 1;
     13const int 0, 1;
     14int (0), (1);
     15int ((0)), ((1));
     16static const int 0, 1;
    917struct { int i; } 0;
    1018const struct { int i; } 1;
    11 
    12 #ifdef DUPS
    13 
    14 int 0;
    15 const int 0;
    16 int 1;
    17 const int 1;
    18 int (0), (1);
    19 int ((0)), ((1));
    20 const int 0, 1;
    21 const int (0), (1);
    22 struct { int i; } 0;
    23 const struct { int i; } 1;
    24 
    25 #endif // DUPS
    26 
    27 #ifndef NEWDECL
     19static const struct { int i; } 1;
    2820
    2921// pointer
    30 
    31 int *0, *1;
    32 int * const (0), * const 1;
    33 struct { int i; } *0;
    34 const struct { int i; } *0;
    35 int (*(* const x)), **0;
    36 
    37 #ifdef DUPS
    3822
    3923int *0, *1;
     
    4428int (* const 0), (* const 1);
    4529int ((* const 0)), ((* const 1));
    46 int (*(* const x)), *(*0);
    47 int (*(* const x)), (*(*0));
    4830struct { int i; } *0;
    49 const struct { int i; } *0;
    50 int (*(* const x)), **0;
    51 
    52 #endif // DUPS
    53 
    54 #else
    5531
    5632// Cforall style
     
    5834* int x, 0;
    5935const * int x, 0;
     36static const * int x, 0;
    6037* struct { int i; } 0;
    6138const * struct { int i; } 0;
     39static const * struct { int i; } 0;
     40static * int x, 0;
     41static const * int x, 0;
    6242const * * int x, 0;
    6343
    64 #ifdef DUPS
    65 
    66 * int x, 0;
    67 const * int x, 0;
    68 
    69 #endif // DUPS
    70 
    71 #endif // NEWDECL
    72 
    7344int main() {
    74 #ifndef NEWDECL
    7545    int 1, * 0;
    76 #else
    7746    * int x, 0;
    78 #endif // NEWDECL
    7947}
Note: See TracChangeset for help on using the changeset viewer.