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
with_gc
|
Last change
on this file since 5b40f30 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:
740 bytes
|
| Line | |
|---|
| 1 | // Cforall extension
|
|---|
| 2 |
|
|---|
| 3 | // value
|
|---|
| 4 |
|
|---|
| 5 | int 0;
|
|---|
| 6 | const int 0;
|
|---|
| 7 | static const int 0;
|
|---|
| 8 | int 1;
|
|---|
| 9 | const int 1;
|
|---|
| 10 | static const int 1;
|
|---|
| 11 | int 0, 1;
|
|---|
| 12 | const int 0, 1;
|
|---|
| 13 | int (0), (1);
|
|---|
| 14 | int ((0)), ((1));
|
|---|
| 15 | static const int 0, 1;
|
|---|
| 16 | struct { int i; } 0;
|
|---|
| 17 | const struct { int i; } 1;
|
|---|
| 18 | static const struct { int i; } 1;
|
|---|
| 19 |
|
|---|
| 20 | // pointer
|
|---|
| 21 |
|
|---|
| 22 | int *0, *1;
|
|---|
| 23 | int *(0), *(1);
|
|---|
| 24 | int (*0), (*1);
|
|---|
| 25 | int ((*0)), ((*1));
|
|---|
| 26 | int * const (0), * const 1;
|
|---|
| 27 | int (* const 0), (* const 1);
|
|---|
| 28 | int ((* const 0)), ((* const 1));
|
|---|
| 29 | struct { int i; } *0;
|
|---|
| 30 |
|
|---|
| 31 | // Cforall style
|
|---|
| 32 |
|
|---|
| 33 | * int x, 0;
|
|---|
| 34 | const * int x, 0;
|
|---|
| 35 | static const * int x, 0;
|
|---|
| 36 | * struct { int i; } 0;
|
|---|
| 37 | const * struct { int i; } 0;
|
|---|
| 38 | static const * struct { int i; } 0;
|
|---|
| 39 | static * int x, 0;
|
|---|
| 40 | static const * int x, 0;
|
|---|
| 41 | const * * int x, 0;
|
|---|
| 42 |
|
|---|
| 43 | int main() {
|
|---|
| 44 | int 1, * 0;
|
|---|
| 45 | * int x, 0;
|
|---|
| 46 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
