Remove some false positives and enable the check.1.51
[smatch.git] / validation / 
tree28e63b3884d1393afe9de6b41e8823c33a0ffeef
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-rw-r--r-- 444 address_space.c
-rw-r--r-- 364 bad-array-designated-initializer.c
-rw-r--r-- 222 bad-assignment.c
-rw-r--r-- 278 bad-cast.c
-rw-r--r-- 287 bad-ternary-cond.c
-rw-r--r-- 31 badtype1.c
-rw-r--r-- 138 badtype2.c
-rw-r--r-- 145 badtype3.c
-rw-r--r-- 259 badtype4.c
-rw-r--r-- 256 bitfields.c
-rw-r--r-- 477 builtin_safe1.c
-rw-r--r-- 785 calling-convention-attributes.c
-rw-r--r-- 346 check_byte_count-ice.c
-rw-r--r-- 199 choose_expr.c
-rw-r--r-- 269 comma.c
-rw-r--r-- 385 compare-null-to-int.c
-rw-r--r-- 492 cond_expr.c
-rw-r--r-- 863 cond_expr2.c
-rw-r--r-- 2455 context-dynamic.c
-rw-r--r-- 9128 context-named.c
-rw-r--r-- 1386 context-statement.c
-rw-r--r-- 6508 context.c
-rw-r--r-- 257 declaration-after-statement-ansi.c
-rw-r--r-- 258 declaration-after-statement-c89.c
-rw-r--r-- 141 declaration-after-statement-c99.c
-rw-r--r-- 136 declaration-after-statement-default.c
-rw-r--r-- 179 double-semicolon.c
-rw-r--r-- 225 dubious-bitwise-with-not.c
-rw-r--r-- 200 escapes.c
-rw-r--r-- 184 field-overlap.c
-rw-r--r-- 251 foul-bitwise.c
-rw-r--r-- 590 function-pointer-modifier-inheritance.c
-rw-r--r-- 416 init-char-array.c
-rw-r--r-- 1135 initializer-entry-defined-twice.c
-rw-r--r-- 155 inline_compound_literals.c
-rw-r--r-- 115 integer-promotions.c
-rw-r--r-- 235 label-asm.c
-rw-r--r-- 139 label-attr.c
-rw-r--r-- 214 local-label.c
-rw-r--r-- 222 member_of_typeof.c
-rw-r--r-- 785 noderef.c
-rw-r--r-- 191 non-pointer-null.c
-rw-r--r-- 167 old-initializer-nowarn.c
-rw-r--r-- 215 old-initializer.c
-rw-r--r-- 334 outer-scope.c
drwxr-xr-x - phase2
drwxr-xr-x - phase3
drwxr-xr-x - preprocessor
-rw-r--r-- 188 restricted-typeof.c
-rw-r--r-- 423 sm_compound_condition.c
-rw-r--r-- 390 sm_implied.c
-rw-r--r-- 543 sm_implied2.c
-rw-r--r-- 348 sm_implied3.c
-rw-r--r-- 579 sm_locking.c
-rw-r--r-- 625 sm_locking2.c
-rw-r--r-- 558 sm_locking3.c
-rw-r--r-- 814 sm_null_deref.c
-rw-r--r-- 660 sm_params.c
-rw-r--r-- 632 sm_select.c
-rw-r--r-- 120 static-forward-decl.c
-rw-r--r-- 306 struct-as.c
-rw-r--r-- 109 struct-attribute-placement.c
-rw-r--r-- 463 struct-ns1.c
-rw-r--r-- 175 struct-ns2.c
-rw-r--r-- 266 struct-size1.c
-rw-r--r-- 537 test-be.c
-rwxr-xr-x 5315 test-suite
-rw-r--r-- 442 type1.c
-rw-r--r-- 1620 typesign.c
-rw-r--r-- 165 varargs1.c