conditions: use set_extra_expr_mod() to change extra states
[smatch.git] / validation / restrict-array.c
blob3facebf4fcd61a7fb647bd72c3b2f6963e9d4b29
1 #define __restrict_arr __restrict
3 struct aiocb64;
4 struct sigevent;
6 extern int lio_listio64 (int __mode,
7 struct aiocb64 *__const __list[__restrict_arr],
8 int __nent, struct sigevent *__restrict __sig);
11 * check-name: restrict array attribute