add killing of pure calls
[smatch.git] / validation / 
treec40f3395480d073fa4ddac5ce5a82dc68abc7da0
drwxr-xr-x   ..
-rw-r--r-- 37 .gitignore
-rw-r--r-- 235 Wunknown-attribute-def.c
-rw-r--r-- 203 Wunknown-attribute-no.c
-rw-r--r-- 290 Wunknown-attribute-yes.c
-rw-r--r-- 325 __func__.c
-rw-r--r-- 534 abstract-array-declarator-static.c
-rw-r--r-- 444 address_space.c
-rw-r--r-- 1304 alloc-align.c
-rw-r--r-- 1679 alternate-keywords.c
-rw-r--r-- 160 anon-union.c
-rw-r--r-- 889 asm-empty-clobber.c
-rw-r--r-- 661 asm-goto-lables.c
-rw-r--r-- 380 attr-inline.c
-rw-r--r-- 169 attr-no_sanitize_address.c
-rw-r--r-- 122 attr-noclone.c
-rw-r--r-- 178 attr-warning.c
-rw-r--r-- 162 attr_aligned.c
-rw-r--r-- 237 attr_in_parameter.c
-rw-r--r-- 127 attr_vector_size.c
drwxr-xr-x - backend
-rw-r--r-- 367 bad-array-designated-initializer.c
-rw-r--r-- 224 bad-assignment.c
-rw-r--r-- 278 bad-cast.c
-rw-r--r-- 287 bad-ternary-cond.c
-rw-r--r-- 213 bad-typeof.c
-rw-r--r-- 189 badtype1.c
-rw-r--r-- 605 badtype2.c
-rw-r--r-- 830 badtype3.c
-rw-r--r-- 261 badtype4.c
-rw-r--r-- 68 binary-constant.c
-rw-r--r-- 308 bitfields.c
-rw-r--r-- 831 bool-array.c
-rw-r--r-- 875 bool-cast-bad.c
-rw-r--r-- 736 bool-cast-explicit.c
-rw-r--r-- 829 bool-cast-implicit.c
-rw-r--r-- 591 bswap-constant-folding.c
-rw-r--r-- 344 bug_inline_switch.c
-rw-r--r-- 1805 builtin-args-checking.c
-rw-r--r-- 611 builtin-bswap-constant.c
-rw-r--r-- 781 builtin-bswap-variable.c
-rw-r--r-- 739 builtin_atomic.c
-rw-r--r-- 225 builtin_bswap.c
-rw-r--r-- 122 builtin_char_bit.c
-rw-r--r-- 410 builtin_inf.c
-rw-r--r-- 1047 builtin_safe1.c
-rw-r--r-- 233 builtin_unreachable.c
-rw-r--r-- 344 builtin_va_arg_pack.c
-rw-r--r-- 981 c11-alignas.c
-rw-r--r-- 199 c11-alignof.c
-rw-r--r-- 195 c11-noreturn.c
-rw-r--r-- 154 c11-stdc-version.c
-rw-r--r-- 176 c11-thread-local.c
-rw-r--r-- 515 c99-for-loop.c
-rw-r--r-- 785 calling-convention-attributes.c
-rw-r--r-- 6717 cast-kinds.c
-rw-r--r-- 629 check_byte_count-ice.c
-rw-r--r-- 707 choose_expr.c
-rw-r--r-- 269 comma.c
-rw-r--r-- 385 compare-null-to-int.c
-rw-r--r-- 295 compound-assign-type.c
-rw-r--r-- 494 cond_expr.c
-rw-r--r-- 869 cond_expr2.c
-rw-r--r-- 622 cond_expr3.c
-rw-r--r-- 1960 conditional-type.c
-rw-r--r-- 4520 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-- 153 definitions.c
-rw-r--r-- 7254 designated-init.c
-rw-r--r-- 358 discarded-label-statement.c
-rw-r--r-- 842 div.c
-rw-r--r-- 179 double-semicolon.c
-rw-r--r-- 893 dubious-bitwise-with-not.c
-rw-r--r-- 358 enum-mismatch.c
-rw-r--r-- 152 enum_scope.c
-rw-r--r-- 1259 escapes.c
-rw-r--r-- 249 extern-array.c
-rw-r--r-- 391 extern-inline.c
-rw-r--r-- 221 field-overlap.c
-rw-r--r-- 251 fored_arg.c
-rw-r--r-- 707 foul-bitwise.c
-rw-r--r-- 137 function-pointer-inheritance.c
-rw-r--r-- 2637 function-redecl.c
-rw-r--r-- 304 goto-label.c
-rw-r--r-- 547 identifier_list.c
-rw-r--r-- 416 init-char-array.c
-rw-r--r-- 839 init-char-array1.c
-rw-r--r-- 288 init_cstring.c
-rw-r--r-- 1308 initializer-entry-defined-twice.c
-rw-r--r-- 203 inline_compound_literals.c
-rw-r--r-- 1952 int128.c
-rw-r--r-- 115 integer-promotions.c
-rw-r--r-- 266 ioc-typecheck.c
-rw-r--r-- 312 kill-casts.c
-rw-r--r-- 227 kill-computedgoto.c
-rw-r--r-- 361 kill-phi-node.c
-rw-r--r-- 260 kill-phisrc.c
-rw-r--r-- 436 kill-pure-call.c
-rw-r--r-- 950 kill-replaced-insn.c
-rw-r--r-- 220 kill-select.c
-rw-r--r-- 253 kill-slice.c
-rw-r--r-- 235 label-asm.c
-rw-r--r-- 139 label-attr.c
-rw-r--r-- 252 label-expr.c
-rw-r--r-- 126 label-scope.c
-rw-r--r-- 214 local-label.c
-rw-r--r-- 203 logical.c
-rw-r--r-- 222 member_of_typeof.c
-rw-r--r-- 291 memops-volatile.c
-rw-r--r-- 469 missing-ident.c
-rw-r--r-- 241 multi_typedef.c
-rw-r--r-- 813 nested-declarator.c
-rw-r--r-- 1242 nested-declarator2.c
-rw-r--r-- 5134 nocast.c
-rw-r--r-- 788 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
drwxr-xr-x - optim
-rw-r--r-- 334 outer-scope.c
drwxr-xr-x - phase2
drwxr-xr-x - phase3
-rw-r--r-- 73 pragma-once.c
drwxr-xr-x - preprocessor
-rw-r--r-- 129 prototype.c
-rw-r--r-- 2030 ptr-inherit.c
-rw-r--r-- 219 pure-function.c
-rw-r--r-- 1913 reserved.c
-rw-r--r-- 979 restrict-array.c
-rw-r--r-- 188 restricted-typeof.c
-rw-r--r-- 331 sizeof-bool.c
-rw-r--r-- 150 sizeof-compound-postfix.c
-rw-r--r-- 1675 specifiers1.c
-rw-r--r-- 6766 specifiers2.c
-rw-r--r-- 226 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-- 473 struct-ns2.c
-rw-r--r-- 301 struct-size1.c
-rw-r--r-- 1543 tautological-compare.c
-rw-r--r-- 577 test-be.c
-rwxr-xr-x 8278 test-suite
-rw-r--r-- 161 testsuite-selfcheck1.c
-rw-r--r-- 153 testsuite-selfcheck2.c
-rw-r--r-- 153 testsuite-selfcheck3.c
-rw-r--r-- 324 transparent-union.c
-rw-r--r-- 496 type1.c
-rw-r--r-- 234 typedef_shadow.c
-rw-r--r-- 393 typeof-addresspace.c
-rw-r--r-- 361 typeof-attribute.c
-rw-r--r-- 1901 typeof-mods.c
-rw-r--r-- 312 typeof-noderef.c
-rw-r--r-- 373 typeof-safe.c
-rw-r--r-- 1632 typesign.c
-rw-r--r-- 165 varargs1.c
-rw-r--r-- 189 wide.c