preempt_info: add class_raw_spinlock_irq_destructor()
[smatch.git] / validation / bad-return-type.c
blob0f3b3f516dccd91152bc4e21034e13caa4c8e7dd
1 void foo(int a)
3 return a;
6 int bar(void)
8 return;
12 * check-name: bad return type
13 * check-command: sparse -Wno-decl $file
15 * check-error-start
16 bad-return-type.c:3:16: error: return expression in void function
17 bad-return-type.c:8:9: error: return with no return value
18 * check-error-end