Changes in src/tests/Constant0-1.c [a0dcd2e:62edde5]
- File:
-
- 1 edited
-
src/tests/Constant0-1.c (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/tests/Constant0-1.c
ra0dcd2e r62edde5 1 // Constant test declaration 1 //Constant test declaration 2 // Cforall extension 2 3 3 4 // value … … 5 6 int 0; 6 7 const int 0; 8 static const int 0; 7 9 int 1; 8 10 const int 1; 11 static const int 1; 12 int 0, 1; 13 const int 0, 1; 14 int (0), (1); 15 int ((0)), ((1)); 16 static const int 0, 1; 9 17 struct { int i; } 0; 10 18 const 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 19 static const struct { int i; } 1; 28 20 29 21 // 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 DUPS38 22 39 23 int *0, *1; … … 44 28 int (* const 0), (* const 1); 45 29 int ((* const 0)), ((* const 1)); 46 int (*(* const x)), *(*0);47 int (*(* const x)), (*(*0));48 30 struct { int i; } *0; 49 const struct { int i; } *0;50 int (*(* const x)), **0;51 52 #endif // DUPS53 54 #else55 31 56 32 // Cforall style … … 58 34 * int x, 0; 59 35 const * int x, 0; 36 static const * int x, 0; 60 37 * struct { int i; } 0; 61 38 const * struct { int i; } 0; 39 static const * struct { int i; } 0; 40 static * int x, 0; 41 static const * int x, 0; 62 42 const * * int x, 0; 63 43 64 #ifdef DUPS65 66 * int x, 0;67 const * int x, 0;68 69 #endif // DUPS70 71 #endif // NEWDECL72 73 44 int main() { 74 #ifndef NEWDECL75 45 int 1, * 0; 76 #else77 46 * int x, 0; 78 #endif // NEWDECL79 47 }
Note:
See TracChangeset
for help on using the changeset viewer.