source: tests/functions.cfa @ b965774

//
// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// functions.cfa --
//
// Author           : Peter A. Buhr
// Created On       : Wed Aug 17 08:39:58 2016
// Last Modified By : Peter A. Buhr
// Last Modified On : Tue Mar  5 11:02:25 2024
// Update Count     : 34
//

// ANSI function definitions

void h( void ) {}

int f (
        int ( void ),
        int ( int ),
        int (( void )),
        int (( int )),
        void g( void )
) {
        (*g)();
        g();
        g = h;
}

int f1() {}
int (f2()) {}
int (*f3())() {}
int * ((f4())) {}
int ((*f5()))() {}
int * f6() {}
int * ( f7)() {}
int ** f8() {}
int * const * ( f9)() {}
int (* f10())[] {}
int (* f11())[][3] {}
int ((* f12())[])[3] {}

// "implicit int" otype specifier (not ANSI)

fII1( int i ) {}
const fII2( int i ) {}
extern fII3( int i ) {}
extern const fII4( int i ) {}

* fII5() {}
const * fII6() {}
const long * fII7() {}
static const long * fII8() {}
const static long * fII9() {}

// K&R function definitions

fO1( i ) int i; {}
int fO2( i ) int i; {}
const fO3( i ) int i; {}
extern fO4( i ) int i; {}
extern const fO5( i ) int i; {}

// Cforall extensions

[] f();
[void] f();
[int] f();
[] f( int );
[void] f( int );
[int] f( int );
[] f() {}
[void] fv() {}
[int] f() {}
[] f( int ) {}
[void] fv( int ) {}
[int] f( int ) {}

[int x] f();
[] f( int x );
[void] fv( int x );
//[int x] f( int x );
//[int x] f() {}
[] f2( int x ) {}
[void] fv1( int x ) {}
//[int x] f( int x ) {}

[int, int x] f();
[] f( int, int x );
[void] fv( int, int x );
[int, int x] f( int, int x );
[int, int x] f() {}
[] f( int, int x ) {}
[void] fv( int, int x ) {}
[int, int x] f( int, int x ) {}

[int, int x, int] f();
[] f( int, int x, int );
[void] fv( int, int x, int );
[int, int x, int] f( int, int x, int );
[int, int x, int] f() {}
[] f( int, int x, int ) {}
[void] fv( int, int x, int ) {}
[int, int x, int] f( int, int x, int ) {}

[int, int x, * int y] f();
[] f( int, int x, * int y );
[void] fv( int, int x, * int y );
[int, int x, * int y] f( int, int x, * int y );
[int, int x, * int y] f() {}
[] f( int, int x, * int y ) {}
[void] fv( int, int x, * int y ) {}
[int, int x, * int y] f( int, int x, * int y ) {}

// function prototypes

[ int ] f11( int ), f12();  // => int f11( int ), f12( void );

const double bar1(), bar2( int ), bar3( double );               // C version
[const double] foo(), foo( int ), foo( double ) { return 3.0; } // CFA version
struct S { int i; };
[S] rtn( int ) {}


[int] f(
        int ( int, int p ),
        [int](int)
) {
        int (* (* pc )[][10])[][3];
        * [][10] * [][3] int p;
        * [] * [int]( int ) p;
}

static const int * f1() {}
static [ * const int ] f2() {}
static inline [ const * int ] f3() {}
static inline [ const [ * int, int ] ] f4() {}
static [ const [ * int, const int ] ] f5() {}

// unnamed parameter

int f(
        int (),

        int * (),
        int ** (),
        int * const * (),
        int * const * const (),

        int ([]),
        int ([10]),

        int * ([]),
        int * ([10]),
        int ** ([]),
        int ** ([10]),
        int * const * ([]),
        int * const * ([10]),
        int * const * const ([]),
        int * const * const ([10])
);

int f(
        int (),

        int * (),
        int ** (),
        int * const * (),
        int * const * const (),

        int ([]),
        int ([10]),

        int * ([]),
        int * ([10]),
        int ** ([]),
        int ** ([10]),
        int * const * ([]),
        int * const * ([10]),
        int * const * const ([]),
        int * const * const ([10])
) {}

typedef int T;

int f( T ( *f ), T t ) {
        T ( T );
}

// errors

//int f()[] {}
//int (f[])() {}
//int f[]() {}
//int ((* f15())())[] {}

// Local Variables: //
// tab-width: 4 //
// compile-command: "cfa functions.cfa" //
// End: //