safecode/test/core/byval-001.c

// RUN: test.sh -s "call void @fastlscheck_debug" -p -t %t %s
//
// TEST: byval-001
//
// Description:
//  Test that a function with a byval argument works well.
//

// #include "stdio.h"

struct bvt {
   int i;
   int j;
   char str[10];
};

void byval_test(struct bvt t)
{

   t.i += 2;
   t.j += 4;
   t.str[0] = 'H';

   // printf("t = {%d, %d, %s}.\n", t.i, t.j, t.str);

   return;
}

int main(int argc, char ** argv)
{
   struct bvt t = {0, 1, "hello"};

   // printf("t = {%d, %d, %s}.\n", t.i, t.j, t.str);
   byval_test(t);
   // printf("t = {%d, %d, %s}.\n", t.i, t.j, t.str);

   return(0);
}