#include "common.h"

#pragma GCC diagnostic ignored "-Wsizeof-array-argument"

int array_arg(int i[]) {

return i[0] + i[1];

}

#if __STDC_VERSION__ >= 199901L

int array_arg_static(int is[static 2]) {

assert(sizeof(is) == sizeof(int *));

return is[0] + is[1];

}

int array_arg_static_size(int i, int is[static i]) {

assert(sizeof(is) == sizeof(int *));

return is[0] + is[1];

}

int array_arg_static_unused(int is[static 2]) {

assert(sizeof(is) == sizeof(int *));

return is[0];

}

int array_size_arg(int i[3]) {

assert(sizeof(i) == sizeof(int *));

return i[0] + i[1];

}

int pointer_arg(int *i) {

return i[0] + i[1];

}

void func_string_abc(char s[]) {

assert(strcmp(s, "abc") == 0);

}

void func_string_const_abc(char const s[]) {

assert(strcmp(s, "abc") == 0);

}

void func_string_modify(char s[]) {

s[0] = '0';

}

void func_array(int a[]){

assert(a[0] == 1);

}

void func_array_modify(int a[]) {

a[0] = -1;

}

struct func_struct { int i; };

void func_struct_1(struct func_struct s) {

assert(s.i == 1);

}

int main(void) {

/*

{

int i[] = {1, 2};

assert(array_arg(i) == 3);

/* Sizes are simply ignored. */

assert(array_size_arg(i) == 3);

assert(pointer_arg(i) == 3);

#if __STDC_VERSION__ >= 199901L

/*

{

assert(array_arg_static((int[]){1, 2}) == 3);

assert(array_arg_static_size(2, (int[]){1, 2}) == 3);

#ifdef UNDEFINED_BEHAVIOUR

/*

assert(array_arg_static(NULL) == 0);

/* UB I imagine... */

array_arg_static((int[]){1});

/* TODO confirm, UB or not? */

array_arg_static_unused((int[]){1});

}

/*

{

}

}

/*

{

func_string_abc("abc");

func_string_const_abc("abc");

/* Segfault. */

/*func_string_modify("abc");*/

}

#if __STDC_VERSION__ >= 199901L

/*

{

func_array((int[]){1});

func_array_modify((int[]){1});

int is[] = {1};

func_array_modify(is);

assert(is[0] == -1);

func_struct_1((struct func_struct){.i = 1});

}

return EXIT_SUCCESS;

}