function_hooks/unwind: introduce return_implies_exact()
[smatch.git] / validation / backend / 
tree1179925a6df8bc3f63120edbacb38aa40a5bbd18
drwxr-xr-x   ..
-rw-r--r-- 1379 arithmetic-ops.c
-rw-r--r-- 113 array.c
-rw-r--r-- 828 bitwise-ops.c
-rw-r--r-- 143 bool-test.c
-rw-r--r-- 635 call-variadic.c
-rw-r--r-- 1136 cast.c
-rw-r--r-- 1022 cmp-ops.c
-rw-r--r-- 328 compare-with-null.c
-rw-r--r-- 430 constant-pointer.c
-rw-r--r-- 866 degenerate-ptr.c
-rw-r--r-- 172 extern.c
-rw-r--r-- 386 fn-ref.c
-rw-r--r-- 819 function-ptr-xtype.c
-rw-r--r-- 2483 function-ptr.c
-rw-r--r-- 196 hello.c
-rw-r--r-- 417 int-cond.c
-rw-r--r-- 174 label-as-value.c
-rw-r--r-- 403 load-global.c
-rw-r--r-- 210 load-type.c
-rw-r--r-- 373 logical-ops.c
-rw-r--r-- 218 loop.c
-rw-r--r-- 183 loop2.c
-rw-r--r-- 2218 pointer-add.c
-rw-r--r-- 403 pointer-cmp.c
-rw-r--r-- 704 pointer-param.c
-rw-r--r-- 672 pointer-sub.c
-rw-r--r-- 168 ptrcast.c
-rw-r--r-- 171 setval.c
-rw-r--r-- 198 shift-special.c
-rw-r--r-- 178 store-type.c
-rw-r--r-- 341 store-x2.c
-rw-r--r-- 243 string-value.c
-rw-r--r-- 350 struct-access.c
-rw-r--r-- 384 struct.c
-rw-r--r-- 373 sum.c
-rw-r--r-- 3947 switch.c
-rw-r--r-- 1343 symaddr.c
-rw-r--r-- 679 type-constant.c
-rw-r--r-- 183 union.c
-rw-r--r-- 168 void-return-type.c