]> andersk Git - splint.git/blob - test/mut.c
noexpand always false.
[splint.git] / test / mut.c
1 # include "mut.h"
2
3 void mut_mod (mut a)
4 {
5   *a = 3;
6 }
7
8 mut mut_create (void)
9 {
10   int *x = (int *) malloc(sizeof(int));
11
12   if (x == NULL)
13     {
14       exit (EXIT_FAILURE);
15     }
16   *x = 3;    
17   return x;
18 }
This page took 0.035722 seconds and 5 git commands to generate.