[splint.git] / test / tests2.2 / offsetof.c

typedef int U_type;
static int x;

void f3 (/*@null@*/ int *a1, int a2, int *a3, int a4);

typedef struct {
    char sf3 ;
} some_struct ;

void f2 (int n_bytes) ;

void f1 (void)
{
    f2 ((int) offsetof (some_struct, sf3));
    f3 (0, 0, (U_type *)&x, 0);
}
Commit	Line	Data
885824d3	1	typedef int U_type;
	2	static int x;
	3
	4	void f3 (/@null@/ int a1, int a2, int a3, int a4);
	5
	6	typedef struct {
	7	char sf3 ;
	8	} some_struct ;
	9
	10	void f2 (int n_bytes) ;
	11
	12	void f1 (void)
	13	{
	14	f2 ((int) offsetof (some_struct, sf3));
	15	f3 (0, 0, (U_type *)&x, 0);
	16	}
	17
	18
	19