param_key: fix container of when no struct member is referenced
[smatch.git] / validation / function-attribute.c
blob2be180c423517c946bd1b5c7d1d5a6d0ca984dc2
1 #define __pure __attribute__((pure))
4 static __pure int funi(int val)
6 return val;
9 static __pure int *funp(int *ptr)
11 return ptr;
14 static void foo(int val, int *ptr)
16 int nbr = funi(val);
17 int *res = funp(ptr);
21 * check-name: function-attribute