History log of /illumos-gate/usr/src/tools/smatch/src/validation/ (Results 1 – 6 of 6)
Revision Date Author Comments
(<<< Hide modified files)
(Show modified files >>>)
6523a3aa12-May-2020 John Levon

12724 update smatch to 0.6.1-rc1-il-5
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>


sm_impossible1.c
sm_impossible2.c
31ad075e23-Jan-2020 John Levon

12257 resync smatch to 0.6.1-rc1-il-4
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>


sm_locking2.c
sm_locking3.c
sm_locking4.c
sm_locking6.c
sm_locking7.c
5a0e240f19-Dec-2019 John Levon

12166 resync smatch to 0.6.1-rc1-il-3
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Robert Mustacchi <rm@fingolfin.org>


sm_float1.c
c85f09cc11-Nov-2019 John Levon

11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>


Waddress-array.c
Waddress-function.c
Waddress-space-all-attr.c
Waddress-space-from.c
Waddress-space-strict.c
Waddress-weak.c
Waddress.c
Wcast-to-as.c
Wexternal-function-has-definition.c
Wunknown-attribute-def.c
Wunknown-attribute-yes.c
abi-integer.c
address_space.c
array-implicit-size.c
as-name.c
asm-inline.c
attr-context.c
backend/arithmetic-ops.c
backend/call-variadic.c
backend/cast.c
backend/compare-with-null.c
backend/constant-pointer.c
backend/degenerate-ptr.c
backend/fn-ref.c
backend/function-ptr-xtype.c
backend/function-ptr.c
backend/label-as-value.c
backend/load-global.c
backend/pointer-add.c
backend/pointer-cmp.c
backend/pointer-param.c
backend/pointer-sub.c
backend/setval.c
backend/shift-special.c
backend/store-x2.c
backend/string-value.c
backend/sum.c
backend/switch.c
backend/symaddr.c
backend/type-constant.c
bad-return-type.c
bad-type-twice0.c
bad-type-twice1.c
bad-type-twice2.c
bitfield-bool-layout.c
bitfield-kr.c
bitwise-cast-ptr.c
bitwise-cast.c
bool-cast-explicit.c
bool-cast-implicit.c
bool-float.c
bug-bad-type.c
bug-crash16.c
bug-expand-union0.c
bug-expand-union1.c
bug-rshift-ub.c
builtin-arith.c
builtin-bswap-variable.c
builtin-fp-unop.c
builtin-overflow.c
builtin-prototype.c
c11-alignas.c
c11-alignof.c
c11-atomic.c
c11-noreturn.c
c11-thread-local.c
call-inlined.c
call-variadic.c
cast-bad-00.c
cast-bad-01.c
cast-kinds-check.c
cast-weirds.c
char-signed.c
char-unsigned.c
check_access-multi.c
check_access-store.c
check_byte_count-ice.c
choose_expr.c
compound-assign-type.c
compound-sizes.c
cond-address-array.c
cond-address-function.c
cond-address.c
cond-err-expand.c
conditional-type.c
constant-suffix-64.c
constexpr-addr-of-static-member.c
constexpr-addr-of-static.c
constexpr-binop.c
constexpr-cast.c
constexpr-compound-literal.c
constexpr-conditional.c
constexpr-init.c
constexpr-labelref.c
constexpr-offsetof.c
constexpr-pointer-arith.c
constexpr-pointer-cast.c
constexpr-preop.c
constexpr-shift.c
constexpr-string.c
constexpr-types-compatible-p.c
context-stmt.c
crash-select.c
doc/cdoc.cdoc
empty-expr.c
enum+mode.c
enum-base-type.c
enum-bitwise-bad.c
enum-bitwise-mixed.c
enum-bitwise.c
enum-bounds.c
enum-init-constness.c
enum-invalid.c
enum-min-size.c
enum-mismatch.c
enum-same-type.c
enum-sign-gcc.c
enum-typecheck.c
error-at-eof.c
eval-typeof-vla.c
expand/bad-shift.c
expand/builtin-expect.c
expand/builtin_fpclassify.c
expand/builtin_huge_val.c
expand/builtin_isinf.c
expand/builtin_isnan.c
expand/builtin_isnormal.c
expand/builtin_nan.c
expand/function-pointer.c
external-function-has-definition.c
fdiag-prefix.c
fp-ops.c
function-pointer-type.c
function-redecl2.c
goto-reserved.c
implicit-KR-arg-type1.c
inc-dec-float.c
incomplete-struct.c
infinite-loop01.c
infinite-loop02.c
infinite-loop03.c
infinite-loop04.c
int128.c
integer-const-expr.c
kill-load.c
kill-phi-ttsbb.c
kill-store.c
kill-switch.c
label-redefined.c
linear/asm-toplevel.c
linear/bitfield-expand-deref.c
linear/bitfield-inc.c
linear/bitfield-init-mask.c
linear/bitfield-preinc.c
linear/bitfield-size.c
linear/bitfield-store.c
linear/bool-cast-lp32.c
linear/bool-cast-lp64.c
linear/bool-cast.c
linear/builtin_unreachable.c
linear/call-basic.c
linear/call-builtin.c
linear/call-casted-pointer.c
linear/call-complex-pointer.c
linear/call-direct.c
linear/call-indirect.c
linear/call-inline.c
linear/cast-constant-to-float.c
linear/cast-constants.c
linear/cast-volatile.c
linear/compound-literal00.c
linear/compound-literal01.c
linear/compound-literal02.c
linear/degen-array.c
linear/degen-function.c
linear/degen-log-not.c
linear/deref-ptr-ptr.c
linear/fp-vs-ptrcast.c
linear/fp2i-cast.c
linear/logical-phi0.c
linear/logical.c
linear/missing-return0.c
linear/missing-return1.c
linear/missing-return2.c
linear/missing-return3.c
linear/missing-return4.c
linear/missing-return5.c
linear/non-const-case.c
linear/phi-order01.c
linear/phi-order02.c
linear/phi-order03.c
linear/phi-order04.c
linear/range-op.c
linear/unexamined-base-type.c
linear/unreachable-label0.c
loop-linearization.c
mem2reg/address-used00.c
mem2reg/alias-distinct.c
mem2reg/alias-mixed.c
mem2reg/alias-same.c
mem2reg/broken-phi02.c
mem2reg/broken-phi03.c
mem2reg/cond-expr.c
mem2reg/cond-expr5.c
mem2reg/dead-phisrc.c
mem2reg/global-direct-undef.c
mem2reg/global-direct.c
mem2reg/global-loop.c
mem2reg/global-noalias.c
mem2reg/global-pointer.c
mem2reg/if-direct.c
mem2reg/if-pointer.c
mem2reg/init-global-array.c
mem2reg/init-local-array.c
mem2reg/init-local-union0.c
mem2reg/init-local-union1.c
mem2reg/init-local32.c
mem2reg/init-local64.c
mem2reg/load-dead.c
mem2reg/load-deadborn.c
mem2reg/loop00.c
mem2reg/loop01-global.c
mem2reg/loop02-array.c
mem2reg/loop02-global.c
mem2reg/loop02-local.c
mem2reg/loop02-pointer.c
mem2reg/missing-return.c
mem2reg/quadra00.c
mem2reg/quadra01.c
mem2reg/quadra02.c
mem2reg/reload-aliasing.c
mem2reg/short-load.c
mem2reg/store-deadborn.c
mem2reg/stray-phisrc.c
mem2reg/struct.c
mem2reg/undef00.c
mem2reg/undef01.c
mem2reg/unused-var.c
mem2reg/volatile-store00.c
memops-volatile.c
missing-return.c
multi-input.c
nested-declarator.c
nested-declarator2.c
nocast.c
noderef.c
optim/address-used01.c
optim/and-extend.c
optim/and-extendx.c
optim/and-lsr.c
optim/and-or-bf0.c
optim/and-or-bf1.c
optim/and-or-bf2.c
optim/and-or-bfs.c
optim/and-or-bfu.c
optim/and-or-bfx.c
optim/and-or-constant0.c
optim/and-or-constant1.c
optim/and-or-constant2.c
optim/and-or-crash.c
optim/and-or-lsr0.c
optim/and-or-lsr1.c
optim/and-or-lsr2.c
optim/and-or-lsrx.c
optim/and-or-mask.c
optim/and-or-mask0.c
optim/and-or-mask1.c
optim/and-or-mask2.c
optim/and-or-mask3s.c
optim/and-or-mask3u.c
optim/and-or-mask4.c
optim/and-or-maskx.c
optim/and-or-shl0.c
optim/and-or-shl1.c
optim/and-or-shl2.c
optim/and-or-shlx.c
optim/and-or-trunc0.c
optim/and-or-trunc1.c
optim/and-or-trunc2.c
optim/and-or-truncx.c
optim/and-trunc.c
optim/bitfield-init-zero.c
optim/bitfield-size.c
optim/bitfield-store-load0.c
optim/bitfield-store-loads.c
optim/bitfield-store-loadu.c
optim/bits-not-zero.c
optim/bool-context-fp.c
optim/bool-context.c
optim/bool-eq0.c
optim/bool-int-bool.c
optim/bool-ne0.c
optim/bool-neq0.c
optim/bool-sext-test.c
optim/bool-simplify.c
optim/bool-simplify2.c
optim/bool-zext-test.c
optim/call-complex-pointer.c
optim/call-inlined.c
optim/canonical-add.c
optim/canonical-cmp.c
optim/canonical-fcmp.c
optim/canonical-mul.c
optim/cast-kinds.c
optim/cast-nop.c
optim/cse-cmp-next.c
optim/cse-fcmp.c
optim/cse-setfval.c
optim/cse-size.c
optim/dup-cond0.c
optim/ext-trunc-greater.c
optim/ext-trunc-same.c
optim/ext-trunc-smaller.c
optim/fpcast-constant.c
optim/inline-return.c
optim/kill-casts.c
optim/kill-stores0.c
optim/kill-stores1.c
optim/kill-stores2.c
optim/killed-insn.c
optim/live-stores0.c
optim/load-converted.c
optim/load-dead.c
optim/load-semi-volatile.c
optim/lsr-and0.c
optim/lsr-and1.c
optim/lsr-asr.c
optim/lsr-shl0.c
optim/mask-lsr.c
optim/mask-out.c
optim/mask1-setne0.c
optim/missing-select.c
optim/muldiv-minus-one.c
optim/null-phi.c
optim/or-and-constant1.c
optim/phi-ret.c
optim/restrict.c
optim/select-zero.c
optim/setcc-mask.c
optim/setne0-sext.c
optim/setne0-trunc.c
optim/setne0-zext.c
optim/sext-sext.c
optim/sext.c
optim/sh-or-and0.c
optim/sh-or-and1.c
optim/sh-or-and2.c
optim/shift-big.c
optim/shift-shift.c
optim/shift-zext.c
optim/shl-and0.c
optim/shl-and1.c
optim/shl-lsr0.c
optim/store-dominated.c
optim/trivial-phis.c
optim/trunc-mask-zext.c
optim/trunc-or-shl.c
optim/trunc-seteq0.c
optim/trunc-setne0.c
optim/trunc-trunc.c
optim/volatile-bitfield.c
optim/volatile-side-effect.c
optim/volatile-store00.c
optim/zext-and.c
optim/zext-and1.c
optim/zext-asr.c
optim/zext-sext.c
optim/zext-zext.c
option-parsing-00.c
option-parsing-01.c
overflow.c
preprocessor/base-file.c
preprocessor/base-file.h
preprocessor/builtin.c
preprocessor/cli-D-arg.c
preprocessor/cli-D-space.c
preprocessor/dump-macros-empty.c
preprocessor/dump-macros-multi.c
preprocessor/dump-macros-only.c
preprocessor/dump-macros.c
preprocessor/dynamic.c
preprocessor/extra-token.c
preprocessor/has-attribute.c
preprocessor/has-builtin.c
preprocessor/ident-pragma.c
preprocessor/ident.c
preprocessor/include-level.c
preprocessor/include-level.h
preprocessor/missing-delim.c
preprocessor/phase2-backslash.c
preprocessor/phase3-comments.c
preprocessor/predef-char-bit.c
preprocessor/predef-llp64.c
preprocessor/predef-lp32.c
preprocessor/predef-lp64.c
preprocessor/predef-max.c
preprocessor/predef-sizeof.c
preprocessor/predef-unsigned.c
preprocessor/predef.c
ptr-inherit.c
ptr-sub-blows.c
range-syntax.c
repeat.h
reserved.c
restrict.c
self-quote-args.c
shift-negative.c
shift-undef-long.c
shift-undef.c
sizeof-bool.c
sizeof-builtin.c
sizeof-function.c
sizeof-incomplete-type.c
sm_compare18.c
storage-struct-member.c
struct-as.c
switch-long.c
test-be.c
test-suite
testsuite-selfcheck1.c
testsuite-selfcheck2.c
testsuite-selfcheck3.c
type-compare.c
typedef-redef-c89.c
typedef-redef.c
typedef_shadow.c
typediff-arraysize.c
typediff-enum.c
typeof-bad.c
typeof-mods.c
var-undef-partial.c
vla-sizeof-ice.c
vla-sizeof.c
vla-sizeof0.c
vla-sizeof1.c
vla-sizeof2.c
vla-sizeof3.c
vla-sizeof4.c
efe51d0c24-Jul-2019 John Levon

11506 smatch resync
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Robert Mustacchi <rm@joyent.com>


sm_bitwise1.c
sm_equiv1.c
sm_implied.c
sm_implied10.c
sm_implied11.c
sm_implied12.c
sm_implied2.c
sm_implied5.c
sm_memory.c
sm_null_deref.c
sm_select5.c
1f5207b715-Dec-2018 John Levon

10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Dan McDonald <danmcd@joyent.com>


.gitignore
Woverride-init-def.c
Woverride-init-no.c
Woverride-init-yes.c
Wunknown-attribute-def.c
Wunknown-attribute-no.c
Wunknown-attribute-yes.c
__func__.c
abstract-array-declarator-static.c
address_space.c
alias-distinct.c
alias-mixed.c
alias-same.c
alloc-align.c
alternate-keywords.c
anon-union.c
asm-empty-clobber.c
asm-goto-lables.c
asm-toplevel.c
attr-inline.c
attr-no_sanitize_address.c
attr-noclone.c
attr-optimize.c
attr-warning.c
attr_aligned.c
attr_in_parameter.c
attr_vector_size.c
backend/arithmetic-ops.c
backend/array.c
backend/bitwise-ops.c
backend/bool-test.c
backend/cast.c
backend/cmp-ops.c
backend/extern.c
backend/function-ptr.c
backend/hello.c
backend/int-cond.c
backend/load-type.c
backend/logical-ops.c
backend/loop.c
backend/loop2.c
backend/ptrcast.c
backend/store-type.c
backend/struct-access.c
backend/struct.c
backend/sum.c
backend/union.c
backend/void-return-type.c
bad-array-designated-initializer.c
bad-assignment.c
bad-cast.c
bad-ternary-cond.c
bad-typeof.c
badtype1.c
badtype2.c
badtype3.c
badtype4.c
badtype5.c
binary-constant.c
bitfield-size.c
bitfields.c
bitwise-cast.c
bool-array.c
bool-cast-bad.c
bool-cast-explicit.c
bool-cast-implicit.c
bool-cast-restricted.c
bswap-constant-folding.c
bug_inline_switch.c
build_smatch_db.sh
builtin-args-checking.c
builtin-bswap-constant.c
builtin-bswap-variable.c
builtin_atomic.c
builtin_bswap.c
builtin_inf.c
builtin_safe1.c
builtin_unreachable.c
builtin_va_arg_pack.c
c11-alignas.c
c11-alignof.c
c11-noreturn.c
c11-stdc-version.c
c11-thread-local.c
c99-for-loop-decl.c
c99-for-loop.c
calling-convention-attributes.c
cast-constant-to-float.c
cast-constants.c
cast-kinds.c
check_byte_count-ice.c
choose_expr.c
comma.c
compare-null-to-int.c
compound-assign-type.c
cond-address-array.c
cond-address-function.c
cond-address.c
cond-err-expand.c
cond_expr.c
cond_expr2.c
cond_expr3.c
conditional-type.c
constant-suffix-32.c
constant-suffix-64.c
constexpr-addr-of-static-member.c
constexpr-addr-of-static.c
constexpr-binop.c
constexpr-cast.c
constexpr-compound-literal.c
constexpr-conditional.c
constexpr-init.c
constexpr-labelref.c
constexpr-offsetof.c
constexpr-pointer-arith.c
constexpr-pointer-cast.c
constexpr-preop.c
constexpr-pure-builtin.c
constexpr-string.c
constexpr-types-compatible-p.c
context.c
crash-add-doms.c
crash-bb_target.c
crash-ep-active.c
crash-ptrlist.c
crash-rewrite-branch.c
crazy02-not-so.c
crazy03.c
declaration-after-statement-ansi.c
declaration-after-statement-c89.c
declaration-after-statement-c99.c
declaration-after-statement-default.c
definitions.c
designated-init.c
discarded-label-statement.c
div.c
double-semicolon.c
dubious-bitwise-with-not.c
empty-file
endian-big.c
endian-little.c
enum-common.c
enum-from-int.c
enum-mismatch.c
enum-to-int.c
enum_scope.c
escapes.c
extern-array.c
extern-inline.c
external-function-has-definition.c
field-overlap.c
field-override.c
fored_arg.c
foul-bitwise.c
fp-vs-ptrcast.c
function-pointer-inheritance.c
function-redecl.c
goto-label.c
identifier_list.c
implicit-KR-arg-type0.c
implicit-ret-type.c
implicit-type.c
include-eval.c
include-eval.inc
infinite-loop0.c
infinite-loop02.c
infinite-loop03.c
init-char-array.c
init-char-array1.c
init_cstring.c
initializer-entry-defined-twice.c
inline_compound_literals.c
int128.c
integer-promotions.c
ioc-typecheck.c
kill-casts.c
kill-computedgoto.c
kill-cse.c
kill-insert-branch.c
kill-load.c
kill-phi-node.c
kill-phi-ttsbb.c
kill-phi-ttsbb2.c
kill-phisrc.c
kill-pure-call.c
kill-replaced-insn.c
kill-rewritten-load.c
kill-select.c
kill-slice.c
kill-store.c
kill-unreachable-phi.c
label-asm.c
label-attr.c
label-expr.c
label-scope.c
linear/bitfield-init-mask.c
linear/bitfield-init-zero.c
linear/missing-insn-size.c
linear/struct-init-full.c
linear/struct-init-partial.c
local-label.c
logical.c
loop-linearization.c
member_of_typeof.c
memops-volatile.c
missing-ident.c
multi_typedef.c
nested-declarator.c
nested-declarator2.c
nocast.c
noderef.c
non-pointer-null.c
old-initializer-nowarn.c
old-initializer.c
old-style-definition0.c
old-style-definition1.c
optim/binops-same-args.c
optim/bool-context.c
optim/bool-same-args.c
optim/bool-simplify.c
optim/cse-commutativity.c
optim/cse-dual-compare.c
optim/double-unop.c
optim/fpcast-nop.c
optim/muldiv-by-one.c
optim/muldiv-by-zero.c
optim/muldiv-minus-one.c
optim/setcc-setcc.c
optim/setcc-seteq.c
optim/setcc-setne.c
optim/void-if-convert.c
outer-scope.c
phase2/backslash
phase3/comments
pragma-once.c
preprocessor/counter1.c
preprocessor/counter2.c
preprocessor/counter2.h
preprocessor/counter3.c
preprocessor/dump-macros-empty.c
preprocessor/dump-macros-multi.c
preprocessor/dump-macros.c
preprocessor/early-escape.c
preprocessor/predef-char-bit.c
preprocessor/predef-max.c
preprocessor/predef-sizeof.c
preprocessor/preprocessor1.c
preprocessor/preprocessor10.c
preprocessor/preprocessor11.c
preprocessor/preprocessor12.c
preprocessor/preprocessor13.c
preprocessor/preprocessor14.c
preprocessor/preprocessor15.c
preprocessor/preprocessor16.c
preprocessor/preprocessor17.c
preprocessor/preprocessor18.c
preprocessor/preprocessor19.c
preprocessor/preprocessor2.c
preprocessor/preprocessor20.c
preprocessor/preprocessor20.h
preprocessor/preprocessor21.c
preprocessor/preprocessor22.c
preprocessor/preprocessor23.c
preprocessor/preprocessor3.c
preprocessor/preprocessor4.c
preprocessor/preprocessor5.c
preprocessor/preprocessor6.c
preprocessor/preprocessor7.c
preprocessor/preprocessor8.c
preprocessor/preprocessor9.c
preprocessor/stringify.c
preprocessor/wide.c
prototype.c
ptr-inherit.c
pure-function.c
reserved.c
restrict-array.c
restricted-typeof.c
sizeof-bool.c
sizeof-compound-postfix.c
sizeof-void.c
sm_WtoA.c
sm_absolute1.c
sm_absolute2.c
sm_array_overflow.c
sm_array_overflow2.c
sm_array_overflow3.c
sm_array_overflow4.c
sm_array_overflow5.c
sm_bitwise1.c
sm_bitwise2.c
sm_buf_size1.c
sm_buf_size2.c
sm_buf_size3.c
sm_buf_size4.c
sm_buf_size5.c
sm_buf_size6.c
sm_buf_size7.c
sm_buf_size8.c
sm_casts.c
sm_casts2.c
sm_casts3.c
sm_casts4.c
sm_casts5.c
sm_casts6.c
sm_casts7.c
sm_check_kunmap.c
sm_chunk1.c
sm_chunk2.c
sm_compare.c
sm_compare10.c
sm_compare11.c
sm_compare12.c
sm_compare13.c
sm_compare14.c
sm_compare15.c
sm_compare16.c
sm_compare17.c
sm_compare2.c
sm_compare3.c
sm_compare4.c
sm_compare5.c
sm_compare6.c
sm_compare7.c
sm_compare8.c
sm_compare9.c
sm_compound_condition.c
sm_compound_conditions2.c
sm_compound_conditions3.c
sm_deref_check_deref.c
sm_dev_hold.c
sm_double_free1.c
sm_double_free2.c
sm_efault.c
sm_equiv1.c
sm_equiv2.c
sm_equiv3.c
sm_equiv4.c
sm_err_ptr.c
sm_fake_assignment.c
sm_get_user1.c
sm_implied.c
sm_implied10.c
sm_implied11.c
sm_implied12.c
sm_implied13.c
sm_implied14.c
sm_implied15.c
sm_implied16.c
sm_implied17.c
sm_implied18.c
sm_implied19.c
sm_implied2.c
sm_implied3.c
sm_implied4.c
sm_implied5.c
sm_implied6.c
sm_implied7.c
sm_implied8.c
sm_implied9.c
sm_impossible1.c
sm_impossible2.c
sm_impossible3.c
sm_indirection1.c
sm_indirection2.c
sm_initializer.c
sm_inline1.c
sm_inline2.c
sm_inline3.c
sm_locking.c
sm_locking2.c
sm_locking3.c
sm_locking4.c
sm_locking6.c
sm_locking7.c
sm_loops1.c
sm_loops2.c
sm_loops3.c
sm_loops4.c
sm_loops5.c
sm_loops6.c
sm_macros.c
sm_math1.c
sm_math2.c
sm_memleak2.c
sm_memory.c
sm_mod.c
sm_mtag1.c
sm_mtag2.c
sm_mtag3.c
sm_mtag4.c
sm_mtag5.c
sm_mtag6.c
sm_mtag7.c
sm_netdevice.c
sm_null_deref.c
sm_null_deref2.c
sm_overflow.c
sm_overflow3.c
sm_overflow4.c
sm_overflow5.c
sm_overflow6.c
sm_pointer_assign.c
sm_precedence.c
sm_range1.c
sm_range2.c
sm_range3.c
sm_range4.c
sm_range5.c
sm_range6.c
sm_real_absolute1.c
sm_rosenberg.c
sm_select.c
sm_select3.c
sm_select4.c
sm_select5.c
sm_select_assign.c
sm_skb.c
sm_skb2.c
sm_skb3.c
sm_strlen.c
sm_strlen2.c
sm_strlen3.c
sm_struct_assign1.c
sm_switch.c
sm_switch2.c
sm_switch3.c
sm_user_data1.c
sm_user_data2.c
sm_user_data3.c
sm_user_data4.c
sm_val_parse1.c
sm_wine_filehandles.c
sm_wine_locking.c
smatch_db_test.sh
specifiers1.c
specifiers2.c
static-forward-decl.c
static_assert.c
strict-prototypes0.c
strict-prototypes1.c
struct-as.c
struct-attribute-placement.c
struct-ns1.c
struct-ns2.c
struct-size1.c
tautological-compare.c
test-be.c
test-suite
testsuite-selfcheck1.c
testsuite-selfcheck2.c
testsuite-selfcheck3.c
transparent-union.c
type-attribute-align.c
type-attribute-as.c
type-attribute-mod.c
type1.c
typedef_shadow.c
typeof-addresspace.c
typeof-attribute.c
typeof-mods.c
typeof-noderef.c
typeof-safe.c
typesign.c
varargs1.c
wide.c