Changes in / [21eb693:0a346e5]
- Location:
- src/tests
- Files:
-
- 8 edited
-
Cast.c (modified) (1 diff)
-
CommentMisc.c (modified) (1 diff)
-
Constant0-1.c (modified) (4 diffs)
-
Context.c (modified) (2 diffs)
-
Exception.c (modified) (1 diff)
-
Expression.c (modified) (3 diffs)
-
Makefile.am (modified) (2 diffs)
-
Makefile.in (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/tests/Cast.c
r21eb693 r0a346e5 9 9 (int)f; 10 10 (void(*)())f; 11 //([long, long double, *[]()])([f, f, f]);11 ([long, long double, *[]()])([f, f, f]); 12 12 } 13 13 -
src/tests/CommentMisc.c
r21eb693 r0a346e5 1 /* single line */ 2 // single line 3 4 // single line containing */ 5 // single line containing /* 6 // single line containing /* */ 7 8 /* 1st */ int i; 9 int i; /* 2nd */ 10 /* 1st */ int i; /* 2nd */ 11 /* 1st */ /* 2nd */ 12 13 /* 1st 14 2nd */ int i; 15 16 /* 17 */ 18 19 /* 20 21 */ 22 23 /* 24 1st 25 */ 26 27 /* 28 1st 29 2nd 30 */ 31 32 // ignore preprocessor directives 33 34 #line 2 35 # 36 #include <fred> 37 #define mary abc 38 1 39 // alternative ANSI99 brackets 2 40 -
src/tests/Constant0-1.c
r21eb693 r0a346e5 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 } -
src/tests/Context.c
r21eb693 r0a346e5 1 // trait declaration 2 1 //cforall context declaration 3 2 trait has_q( otype T ) { 4 3 T q( T ); … … 6 5 7 6 forall( otype z | has_q( z ) ) void f() { 8 trait has_r( otype T, otype U ) {7 context has_r( otype T, otype U ) { 9 8 T r( T, T (T,U) ); 10 9 }; -
src/tests/Exception.c
r21eb693 r0a346e5 10 10 try { 11 11 x/4; 12 } catch( int ) {12 } catch( int) { 13 13 } catch( int x ) { 14 14 } catch( struct { int i; } ) { -
src/tests/Expression.c
r21eb693 r0a346e5 1 int main() {2 struct s { int i; } x, *p = &x;3 int i = 3;1 int fred() { 2 struct s { int i; } *p; 3 int i; 4 4 5 // order of evaluation (GCC is different) 6 /* 7 i = sizeof( (int) {3} ); 8 i = sizeof (int) {3}; 9 */ 5 10 // operators 6 11 … … 37 42 i||i; 38 43 p->i; 44 i+=i; 45 i-=i; 39 46 i*=i; 40 47 i/=i; 41 48 i%=i; 42 i+=i;43 i-=i;44 49 i&=i; 45 50 i|=i; … … 49 54 50 55 i?i:i; 51 } // main 56 57 // cast 58 /* 59 double d; 60 int *ip; 61 (int *) i; 62 (* int) i; 63 ([char, int *])[d, d]; 64 [i,ip,ip] = ([int, * int, int *])[1,(void *)2,(void *)3]; 65 [i,ip,ip] = ([int, * int, int *])([1,(void *)2,(void *)3]); 66 */ 67 } 68 69 //Dummy main 70 int main(int argc, char const *argv[]) 71 { 72 return 0; 73 } -
src/tests/Makefile.am
r21eb693 r0a346e5 11 11 ## Created On : Sun May 31 09:08:15 2015 12 12 ## Last Modified By : Peter A. Buhr 13 ## Last Modified On : Mon J un 20 14:30:52 201614 ## Update Count : 3313 ## Last Modified On : Mon Jan 25 22:31:42 2016 14 ## Update Count : 25 15 15 ############################################################################### 16 16 … … 23 23 vector_test_SOURCES = vector/vector_int.c vector/array.c vector/vector_test.c 24 24 avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c 25 26 Constant0-1DP : Constant0-1.c27 ${CC} ${CFLAGS} -DDUPS ${<} -o ${@}28 29 Constant0-1ND : Constant0-1.c30 ${CC} ${CFLAGS} -DNEWDECL ${<} -o ${@}31 32 Constant0-1NDDP : Constant0-1.c33 ${CC} ${CFLAGS} -DNEWDECL -DDUPS ${<} -o ${@} -
src/tests/Makefile.in
r21eb693 r0a346e5 621 621 622 622 623 Constant0-1DP : Constant0-1.c624 ${CC} ${CFLAGS} -DDUPS ${<} -o ${@}625 626 Constant0-1ND : Constant0-1.c627 ${CC} ${CFLAGS} -DNEWDECL ${<} -o ${@}628 629 Constant0-1NDDP : Constant0-1.c630 ${CC} ${CFLAGS} -DNEWDECL -DDUPS ${<} -o ${@}631 632 623 # Tell versions [3.59,3.63) of GNU make to not export all variables. 633 624 # Otherwise a system limit (for SysV at least) may be exceeded.
Note:
See TracChangeset
for help on using the changeset viewer.