debug: introduce __smatch_state(check_name, state_name)
[smatch.git] / validation / backend / 
tree534365cdc99f8f6bc74106e3ae65df69ad310751
drwxr-xr-x   ..
-rw-r--r-- 1194 arithmetic-ops.c
-rw-r--r-- 115 array.c
-rw-r--r-- 830 bitwise-ops.c
-rw-r--r-- 145 bool-test.c
-rw-r--r-- 1072 cast.c
-rw-r--r-- 1024 cmp-ops.c
-rw-r--r-- 174 extern.c
-rw-r--r-- 198 function-ptr.c
-rw-r--r-- 192 hello.c
-rw-r--r-- 419 int-cond.c
-rw-r--r-- 212 load-type.c
-rw-r--r-- 375 logical-ops.c
-rw-r--r-- 220 loop.c
-rw-r--r-- 170 ptrcast.c
-rw-r--r-- 315 struct.c
-rw-r--r-- 185 union.c
-rw-r--r-- 170 void-return-type.c