1
2static __attribute__((__pure__)) int pure_int(int v)
3{
4	int i = v;
5	return i;
6}
7
8static __attribute__((__pure__)) void *pure_ptr(void *p)
9{
10    void *i = p;
11    return i;
12}
13
14static void foo(int v, void *p)
15{
16	int   val = pure_int(v);
17	void *ptr = pure_ptr(p);
18
19	(void)val;
20	(void)ptr;
21}
22
23/*
24 * check-name: Pure function attribute
25 */
26