+977 | -397 | usr/src/tools/smatch/src/simplify.c |
+599 | -445 | usr/src/tools/smatch/src/lib.c |
+609 | -393 | usr/src/tools/smatch/src/linearize.c |
+506 | -311 | usr/src/tools/smatch/src/sparse-llvm.c |
+316 | -244 | usr/src/tools/smatch/src/Makefile |
+273 | -210 | usr/src/tools/smatch/src/smatch_comparison.c |
+297 | -170 | usr/src/tools/smatch/src/parse.c |
+0 | -466 | usr/src/tools/smatch/src/check_memory.c |
+204 | -232 | usr/src/tools/smatch/src/ptrlist.h |
+427 | -0 | usr/src/tools/smatch/src/Documentation/IR.rst |
+252 | -173 | usr/src/tools/smatch/src/evaluate.c |
+102 | -315 | usr/src/tools/smatch/src/flow.c |
+402 | -0 | usr/src/tools/smatch/src/ssa.c |
+398 | -0 | usr/src/tools/smatch/src/validation/optim/cast-kinds.c |
+0 | -387 | usr/src/tools/smatch/src/validation/cast-kinds.c |
+289 | -89 | usr/src/tools/smatch/src/validation/test-suite |
+358 | -0 | usr/src/tools/smatch/src/validation/linear/cast-constants.c |
+327 | -30 | usr/src/tools/smatch/src/builtin.c |
+264 | -93 | usr/src/tools/smatch/src/pre-process.c |
+0 | -357 | usr/src/tools/smatch/src/validation/cast-constants.c |
+315 | -0 | usr/src/tools/smatch/src/Documentation/sphinx/cdoc.py |
+274 | -24 | usr/src/tools/smatch/src/ptrlist.c |
+260 | -0 | usr/src/tools/smatch/src/validation/linear/logical.c |
+255 | -0 | usr/src/tools/smatch/src/check_arm64_tagged.c |
+248 | -0 | usr/src/tools/smatch/src/validation/backend/switch.c |
+246 | -0 | usr/src/tools/smatch/src/validation/builtin-overflow.c |
+0 | -244 | usr/src/tools/smatch/src/smatch_local_values.c |
+157 | -67 | usr/src/tools/smatch/Makefile |
+69 | -151 | usr/src/tools/smatch/src/smatch_hooks.c |
+219 | -0 | usr/src/tools/smatch/src/flowgraph.c |
+215 | -0 | usr/src/tools/smatch/src/validation/optim/bool-simplify2.c |
+207 | -0 | usr/src/tools/smatch/src/Documentation/arm64-detecting-tagged-addresses.txt |
+206 | -0 | usr/src/tools/smatch/src/ir.c |
+93 | -111 | usr/src/tools/smatch/src/linearize.h |
+183 | -0 | usr/src/tools/smatch/src/validation/linear/bitfield-size.c |
+178 | -0 | usr/src/tools/smatch/src/Documentation/conf.py |
+177 | -0 | usr/src/tools/smatch/src/validation/doc/cdoc.cdoc |
+169 | -0 | usr/src/tools/smatch/src/Documentation/test-suite.rst |
+127 | -41 | usr/src/tools/smatch/src/symbol.h |
+164 | -0 | usr/src/tools/smatch/src/validation/shift-undef.c |
+155 | -0 | usr/src/tools/smatch/src/Documentation/doc-guide.rst |
+153 | -0 | usr/src/tools/smatch/src/dominate.c |
+149 | -0 | usr/src/tools/smatch/src/validation/optim/shift-shift.c |
+61 | -87 | usr/src/tools/smatch/src/cse.c |
+145 | -3 | usr/src/tools/smatch/src/validation/backend/function-ptr.c |
+0 | -136 | usr/src/tools/smatch/src/validation/loop-linearization.c |
+0 | -136 | usr/src/tools/smatch/src/Documentation/test-suite |
+92 | -37 | usr/src/tools/smatch/src/cgcc |
+74 | -55 | usr/src/tools/smatch/src/show-parse.c |
+125 | -0 | usr/src/tools/smatch/src/optimize.c |
+124 | -0 | usr/src/tools/smatch/src/validation/optim/canonical-cmp.c |
+119 | -4 | usr/src/tools/smatch/src/target.c |
+123 | -0 | usr/src/tools/smatch/src/validation/optim/canonical-fcmp.c |
+114 | -7 | usr/src/tools/smatch/src/smatch_data/db/smdb.py |
+55 | -66 | usr/src/tools/smatch/src/smatch_ranges.c |
+98 | -21 | usr/src/tools/smatch/src/smatch_extra.c |
+114 | -0 | usr/src/tools/smatch/src/opcode.def |
+114 | -0 | usr/src/tools/smatch/src/validation/Waddress.c |
+93 | -16 | usr/src/tools/smatch/src/smatch_type_val.c |
+109 | -0 | usr/src/tools/smatch/src/ptrmap.c |
+85 | -21 | usr/src/tools/smatch/src/smatch_db.c |
+77 | -29 | usr/src/tools/smatch/src/sparse.1 |
+102 | -0 | usr/src/tools/smatch/src/validation/optim/bitfield-init-zero.c |
+0 | -102 | usr/src/tools/smatch/src/validation/linear/bitfield-init-zero.c |
+68 | -33 | usr/src/tools/smatch/src/smatch_kernel_user_data.c |
+100 | -0 | usr/src/tools/smatch/src/validation/expand/builtin-expect.c |
+98 | -0 | usr/src/tools/smatch/src/Documentation/TODO.md |
+74 | -22 | usr/src/tools/smatch/src/expand.c |
+95 | -0 | usr/src/tools/smatch/src/validation/builtin-fp-unop.c |
+94 | -0 | usr/src/tools/smatch/src/Documentation/logo.svg |
+93 | -0 | usr/src/tools/smatch/src/validation/c11-atomic.c |
+93 | -0 | usr/src/tools/smatch/src/validation/optim/bool-context-fp.c |
+93 | -0 | usr/src/tools/smatch/src/validation/restrict.c |
+81 | -11 | usr/src/tools/smatch/src/smatch_param_set.c |
+88 | -0 | usr/src/tools/smatch/src/validation/compound-sizes.c |
+85 | -0 | usr/src/tools/smatch/src/validation/integer-const-expr.c |
+83 | -0 | usr/src/tools/smatch/src/machine.h |
+82 | -0 | usr/src/tools/smatch/src/validation/optim/shift-big.c |
+63 | -17 | usr/src/tools/smatch/src/check_rosenberg.c |
+0 | -79 | usr/src/tools/smatch/src/smatch_auto_copy.c |
+76 | -0 | usr/src/tools/smatch/src/validation/type-compare.c |
+76 | -0 | usr/src/tools/smatch/src/smatch_expressions.c |
+75 | -0 | usr/src/tools/smatch/src/Documentation/sphinx/ir.py |
+71 | -2 | usr/src/tools/smatch/src/README |
+73 | -0 | usr/src/tools/smatch/src/validation/optim/restrict.c |
+72 | -0 | usr/src/tools/smatch/src/validation/backend/degenerate-ptr.c |
+49 | -22 | usr/src/tools/smatch/src/smatch_states.c |
+70 | -0 | usr/src/tools/smatch/src/validation/backend/symaddr.c |
+62 | -7 | usr/src/tools/smatch/src/symbol.c |
+67 | -0 | usr/src/tools/smatch/src/validation/preprocessor/phase2-backslash.c |
+64 | -0 | usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c |
+64 | -0 | usr/src/tools/smatch/src/validation/expand/bad-shift.c |
+64 | -0 | usr/src/tools/smatch/src/validation/enum-sign-gcc.c |
+63 | -0 | usr/src/tools/smatch/src/validation/Waddress-space-from.c |
+62 | -0 | usr/src/tools/smatch/src/validation/context-stmt.c |
+0 | -62 | usr/src/tools/smatch/src/validation/phase2/backslash |
+61 | -0 | usr/src/tools/smatch/src/bits.h |
+30 | -30 | usr/src/tools/smatch/src/example.c |
+58 | -0 | usr/src/tools/smatch/src/Documentation/dev-options.rst |
+45 | -12 | usr/src/tools/smatch/src/lib.h |
+57 | -0 | usr/src/tools/smatch/src/validation/fp-ops.c |
+57 | -0 | usr/src/tools/smatch/src/validation/linear/call-basic.c |
+57 | -0 | usr/src/tools/smatch/src/validation/preprocessor/predef.c |
+56 | -0 | usr/src/tools/smatch/src/sset.h |
+56 | -0 | usr/src/tools/smatch/src/validation/preprocessor/has-attribute.c |
+55 | -0 | usr/src/tools/smatch/src/validation/call-inlined.c |
+55 | -0 | usr/src/tools/smatch/src/validation/optim/canonical-add.c |
+51 | -4 | usr/src/tools/smatch/src/smatch_function_ptrs.c |
+55 | -0 | usr/src/tools/smatch/src/smatch_data/db/copy_function_pointers.pl |
+54 | -0 | usr/src/tools/smatch/src/validation/infinite-loop01.c |
+54 | -0 | usr/src/tools/smatch/src/validation/backend/pointer-add.c |
+38 | -16 | usr/src/tools/smatch/src/smatch_buf_size.c |
+40 | -13 | usr/src/tools/smatch/src/smatch_mtag_data.c |
+0 | -52 | usr/src/tools/smatch/src/Documentation/project-ideas.md |
+52 | -0 | usr/src/tools/smatch/src/validation/asm-inline.c |
+52 | -0 | usr/src/tools/smatch/src/validation/linear/degen-function.c |
+52 | -0 | usr/src/tools/smatch/src/validation/builtin-arith.c |
+24 | -26 | usr/src/tools/smatch/src/inline.c |
+45 | -5 | usr/src/tools/smatch/src/sparse.c |
+19 | -31 | usr/src/tools/smatch/src/tokenize.c |
+31 | -18 | usr/src/tools/smatch/src/smatch_helper.c |
+49 | -0 | usr/src/tools/smatch/src/validation/sizeof-function.c |
+48 | -0 | usr/src/tools/smatch/src/validation/optim/kill-stores1.c |
+48 | -0 | usr/src/tools/smatch/src/validation/linear/logical-phi0.c |
+33 | -15 | usr/src/tools/smatch/src/smatch_slist.c |
+47 | -0 | usr/src/tools/smatch/src/utils.c |
+47 | -0 | usr/src/tools/smatch/src/validation/cast-bad-00.c |
+47 | -0 | usr/src/tools/smatch/src/validation/switch-long.c |
+0 | -46 | usr/src/tools/smatch/src/validation/test-be.c |
+0 | -45 | usr/src/tools/smatch/src/Documentation/sparse.txt |
+44 | -0 | usr/src/tools/smatch/src/validation/optim/bitfield-store-load0.c |
+30 | -14 | usr/src/tools/smatch/src/memops.c |
+44 | -0 | usr/src/tools/smatch/src/validation/optim/bitfield-size.c |
+10 | -33 | usr/src/tools/smatch/src/smatch_parse_call_math.c |
+43 | -0 | usr/src/tools/smatch/src/validation/preprocessor/has-builtin.c |
+43 | -0 | usr/src/tools/smatch/src/utils.h |
+7 | -36 | usr/src/tools/smatch/src/liveness.c |
+29 | -13 | usr/src/tools/smatch/src/smatch_implied.c |
+42 | -0 | usr/src/tools/smatch/src/validation/backend/pointer-param.c |
+42 | -0 | usr/src/tools/smatch/src/validation/optim/lsr-asr.c |
+0 | -41 | usr/src/tools/smatch/src/validation/bitfield-size.c |
+35 | -6 | usr/src/tools/smatch/src/macro_table.c |
+41 | -0 | usr/src/tools/smatch/src/validation/mem2reg/reload-aliasing.c |
+41 | -0 | usr/src/tools/smatch/src/Documentation/nocast-vs-bitwise.md |
+40 | -0 | usr/src/tools/smatch/src/validation/linear/degen-log-not.c |
+40 | -0 | usr/src/tools/smatch/src/validation/attr-context.c |
+23 | -17 | usr/src/tools/smatch/src/smatch.h |
+39 | -0 | usr/src/tools/smatch/src/validation/expand/builtin_huge_val.c |
+39 | -0 | usr/src/tools/smatch/src/validation/enum-typecheck.c |
+38 | -0 | usr/src/tools/smatch/src/opcode.c |
+38 | -0 | usr/src/tools/smatch/src/Documentation/index.rst |
+14 | -24 | usr/src/tools/smatch/src/compile-i386.c |
+37 | -0 | usr/src/tools/smatch/src/validation/preprocessor/dynamic.c |
+37 | -0 | usr/src/tools/smatch/src/validation/backend/function-ptr-xtype.c |
+37 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof.c |
+37 | -0 | usr/src/tools/smatch/src/validation/linear/bool-cast.c |
+37 | -0 | usr/src/tools/smatch/src/validation/linear/non-const-case.c |
+36 | -0 | usr/src/tools/smatch/src/validation/Wcast-to-as.c |
+36 | -0 | usr/src/tools/smatch/src/validation/Waddress-space-strict.c |
+29 | -7 | usr/src/tools/smatch/src/smatch_function_hooks.c |
+36 | -0 | usr/src/tools/smatch/src/validation/linear/unexamined-base-type.c |
+28 | -8 | usr/src/tools/smatch/src/smatch_math.c |
+36 | -0 | usr/src/tools/smatch/src/validation/preprocessor/dump-macros-only.c |
+0 | -35 | usr/src/tools/smatch/src/validation/cast-constant-to-float.c |
+35 | -0 | usr/src/tools/smatch/src/validation/linear/cast-constant-to-float.c |
+34 | -0 | usr/src/tools/smatch/src/validation/optim/kill-stores0.c |
+34 | -0 | usr/src/tools/smatch/src/validation/typediff-enum.c |
+34 | -0 | usr/src/tools/smatch/src/validation/mem2reg/missing-return.c |
+28 | -6 | usr/src/tools/smatch/src/validation/optim/bool-simplify.c |
+33 | -0 | usr/src/tools/smatch/src/validation/bitwise-cast-ptr.c |
+33 | -0 | usr/src/tools/smatch/src/validation/linear/call-complex-pointer.c |
+33 | -0 | usr/src/tools/smatch/src/opcode.h |
+19 | -14 | usr/src/tools/smatch/src/smatch_real_absolute.c |
+32 | -0 | usr/src/tools/smatch/src/validation/mem2reg/init-local-union1.c |
+32 | -0 | usr/src/tools/smatch/src/validation/mem2reg/struct.c |
+32 | -0 | usr/src/tools/smatch/src/validation/linear/degen-array.c |
+32 | -0 | usr/src/tools/smatch/src/validation/backend/fn-ref.c |
+31 | -0 | usr/src/tools/smatch/src/validation/function-redecl2.c |
+31 | -0 | usr/src/tools/smatch/src/validation/linear/fp2i-cast.c |
+31 | -0 | usr/src/tools/smatch/src/validation/linear/call-casted-pointer.c |
+17 | -14 | usr/src/tools/smatch/src/smatch_flow.c |
+31 | -0 | usr/src/tools/smatch/src/validation/abi-integer.c |
+31 | -0 | usr/src/tools/smatch/src/validation/linear/builtin_unreachable.c |
+31 | -0 | usr/src/tools/smatch/src/validation/linear/range-op.c |
+30 | -0 | usr/src/tools/smatch/src/validation/optim/bits-not-zero.c |
+30 | -0 | usr/src/tools/smatch/src/validation/mem2reg/alias-mixed.c |
+30 | -0 | usr/src/tools/smatch/src/validation/optim/call-inlined.c |
+0 | -30 | usr/src/tools/smatch/src/validation/alias-mixed.c |
+9 | -20 | usr/src/tools/smatch/src/smatch_untracked_param.c |
+29 | -0 | usr/src/tools/smatch/src/validation/optim/live-stores0.c |
+29 | -0 | usr/src/tools/smatch/src/validation/enum-base-type.c |
+29 | -0 | usr/src/tools/smatch/src/validation/enum-min-size.c |
+29 | -0 | usr/src/tools/smatch/src/validation/mem2reg/short-load.c |
+29 | -0 | usr/src/tools/smatch/src/validation/enum-bitwise-mixed.c |
+23 | -6 | usr/src/tools/smatch/src/check_memset.c |
+29 | -0 | usr/src/tools/smatch/src/validation/optim/or-and-constant1.c |
+28 | -0 | usr/src/tools/smatch/src/validation/typeof-mods.c |
+28 | -0 | usr/src/tools/smatch/src/validation/mem2reg/init-local-array.c |
+28 | -0 | usr/src/tools/smatch/src/sset.c |
+25 | -3 | usr/src/tools/smatch/src/expression.h |
+28 | -0 | usr/src/tools/smatch/src/evaluate.h |
+28 | -0 | usr/src/tools/smatch/src/ptrmap.h |
+28 | -0 | usr/src/tools/smatch/src/validation/optim/mask1-setne0.c |
+28 | -0 | usr/src/tools/smatch/src/validation/mem2reg/broken-phi03.c |
+27 | -0 | usr/src/tools/smatch/src/validation/mem2reg/broken-phi02.c |
+27 | -0 | usr/src/tools/smatch/src/Documentation/api.rst |
+27 | -0 | usr/src/tools/smatch/src/validation/backend/call-variadic.c |
+27 | -0 | usr/src/tools/smatch/src/smatch_array_values.c |
+27 | -0 | usr/src/tools/smatch/src/validation/sizeof-incomplete-type.c |
+27 | -0 | usr/src/tools/smatch/src/validation/optim/volatile-store00.c |
+27 | -0 | usr/src/tools/smatch/src/validation/optim/kill-casts.c |
+27 | -0 | usr/src/tools/smatch/src/validation/Waddress-weak.c |
+27 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-bf2.c |
+27 | -0 | usr/src/tools/smatch/src/validation/optim/and-extend.c |
+27 | -0 | usr/src/tools/smatch/src/validation/mem2reg/volatile-store00.c |
+27 | -0 | usr/src/tools/smatch/src/validation/mem2reg/quadra01.c |
+27 | -0 | usr/src/tools/smatch/src/validation/mem2reg/quadra00.c |
+27 | -0 | usr/src/tools/smatch/src/validation/mem2reg/init-local64.c |
+27 | -0 | usr/src/tools/smatch/src/validation/mem2reg/init-local32.c |
+27 | -0 | usr/src/tools/smatch/src/validation/linear/bitfield-expand-deref.c |
+27 | -0 | usr/src/tools/smatch/src/validation/linear/deref-ptr-ptr.c |
+0 | -26 | usr/src/tools/smatch/src/validation/cond-address-array.c |
+26 | -0 | usr/src/tools/smatch/src/validation/expand/builtin_fpclassify.c |
+25 | -1 | usr/src/tools/smatch/src/smatch_estate.c |
+26 | -0 | usr/src/tools/smatch/src/validation/eval-typeof-vla.c |
+26 | -0 | usr/src/tools/smatch/src/validation/empty-expr.c |
+26 | -0 | usr/src/tools/smatch/src/Documentation/Makefile |
+26 | -0 | usr/src/tools/smatch/src/validation/array-implicit-size.c |
+26 | -0 | usr/src/tools/smatch/src/validation/bitfield-bool-layout.c |
+26 | -0 | usr/src/tools/smatch/src/validation/mem2reg/global-pointer.c |
+25 | -0 | usr/src/tools/smatch/src/smatch_nul_terminator.c |
+25 | -0 | usr/src/tools/smatch/src/validation/Waddress-array.c |
+0 | -25 | usr/src/tools/smatch/src/validation/bool-cast-implicit.c |
+11 | -14 | usr/src/tools/smatch/src/flow.h |
+25 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask4.c |
+25 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask3u.c |
+25 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask3s.c |
+0 | -25 | usr/src/tools/smatch/src/validation/preprocessor/predef-sizeof.c |
+25 | -0 | usr/src/tools/smatch/src/validation/enum-bounds.c |
+24 | -0 | usr/src/tools/smatch/src/validation/sm_compare18.c |
+24 | -0 | usr/src/tools/smatch/src/validation/optim/inline-return.c |
+24 | -0 | usr/src/tools/smatch/src/validation/optim/load-semi-volatile.c |
+24 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-bf0.c |
+24 | -0 | usr/src/tools/smatch/src/validation/optim/and-extendx.c |
+23 | -1 | usr/src/tools/smatch/src/smatch_mem_tracker.c |
+24 | -0 | usr/src/tools/smatch/src/validation/mem2reg/stray-phisrc.c |
+24 | -0 | usr/src/tools/smatch/src/validation/repeat.h |
+24 | -0 | usr/src/tools/smatch/src/validation/backend/constant-pointer.c |
+24 | -0 | usr/src/tools/smatch/src/validation/optim/canonical-mul.c |
+23 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-bfs.c |
+23 | -0 | usr/src/tools/smatch/src/validation/mem2reg/unused-var.c |
+23 | -0 | usr/src/tools/smatch/src/validation/linear/missing-return5.c |
+23 | -0 | usr/src/tools/smatch/src/validation/expand/builtin_nan.c |
+23 | -0 | usr/src/tools/smatch/src/validation/ptr-sub-blows.c |
+23 | -0 | usr/src/tools/smatch/src/validation/call-variadic.c |
+23 | -0 | usr/src/tools/smatch/src/validation/mem2reg/loop02-array.c |
+23 | -0 | usr/src/tools/smatch/src/validation/mem2reg/loop02-local.c |
+23 | -0 | usr/src/tools/smatch/src/validation/mem2reg/global-direct-undef.c |
+23 | -0 | usr/src/tools/smatch/src/validation/backend/type-constant.c |
+23 | -0 | usr/src/tools/smatch/src/validation/mem2reg/global-direct.c |
+23 | -0 | usr/src/tools/smatch/src/validation/optim/missing-select.c |
+23 | -0 | usr/src/tools/smatch/src/validation/optim/bitfield-store-loads.c |
+23 | -0 | usr/src/tools/smatch/src/validation/incomplete-struct.c |
+23 | -0 | usr/src/tools/smatch/src/validation/mem2reg/loop02-pointer.c |
+23 | -0 | usr/src/tools/smatch/src/validation/range-syntax.c |
+3 | -19 | usr/src/tools/smatch/src/smatch_modification_hooks.c |
+22 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof4.c |
+22 | -0 | usr/src/tools/smatch/src/validation/linear/bitfield-store.c |
+20 | -2 | usr/src/tools/smatch/src/check_free_strict.c |
+16 | -6 | usr/src/cmd/auditreduce/main.c |
+22 | -0 | usr/src/tools/smatch/src/validation/expand/function-pointer.c |
+22 | -0 | usr/src/tools/smatch/src/validation/mem2reg/loop02-global.c |
+0 | -22 | usr/src/tools/smatch/src/validation/bool-cast-explicit.c |
+0 | -22 | usr/src/tools/smatch/src/validation/kill-casts.c |
+21 | -0 | usr/src/tools/smatch/src/validation/mem2reg/undef00.c |
+21 | -0 | usr/src/tools/smatch/src/validation/check_access-store.c |
+21 | -0 | usr/src/tools/smatch/src/validation/mem2reg/cond-expr5.c |
+21 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-bfu.c |
+21 | -0 | usr/src/tools/smatch/src/validation/mem2reg/global-noalias.c |
+21 | -0 | usr/src/tools/smatch/src/validation/backend/load-global.c |
+21 | -0 | usr/src/tools/smatch/src/validation/backend/string-value.c |
+21 | -0 | usr/src/tools/smatch/src/validation/optim/bitfield-store-loadu.c |
+21 | -0 | usr/src/tools/smatch/src/validation/optim/sh-or-and2.c |
+21 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof2.c |
+21 | -0 | usr/src/tools/smatch/src/validation/mem2reg/if-pointer.c |
+21 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof1.c |
+21 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof3.c |
+21 | -0 | usr/src/tools/smatch/src/validation/bug-expand-union0.c |
+21 | -0 | usr/src/tools/smatch/src/validation/mem2reg/init-global-array.c |
+21 | -0 | usr/src/tools/smatch/src/validation/shift-undef-long.c |
+21 | -0 | usr/src/tools/smatch/src/validation/optim/phi-ret.c |
+20 | -0 | usr/src/tools/smatch/src/validation/enum-bitwise-bad.c |
+20 | -0 | usr/src/tools/smatch/src/validation/missing-return.c |
+20 | -0 | usr/src/tools/smatch/src/validation/optim/and-trunc.c |
+8 | -12 | usr/src/tools/smatch/src/smatch_type.c |
+20 | -0 | usr/src/tools/smatch/src/validation/optim/sh-or-and0.c |
+20 | -0 | usr/src/tools/smatch/src/validation/expand/builtin_isinf.c |
+20 | -0 | usr/src/tools/smatch/src/validation/expand/builtin_isnan.c |
+20 | -0 | usr/src/tools/smatch/src/validation/expand/builtin_isnormal.c |
+20 | -0 | usr/src/tools/smatch/src/validation/optim/dup-cond0.c |
+20 | -0 | usr/src/tools/smatch/src/validation/storage-struct-member.c |
+20 | -0 | usr/src/tools/smatch/src/validation/var-undef-partial.c |
+20 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof0.c |
+20 | -0 | usr/src/tools/smatch/src/validation/bug-expand-union1.c |
+12 | -8 | usr/src/tools/smatch/src/graph.c |
+20 | -0 | usr/src/tools/smatch/src/validation/backend/arithmetic-ops.c |
+20 | -0 | usr/src/tools/smatch/src/validation/mem2reg/global-loop.c |
+19 | -1 | usr/src/tools/smatch/src/sparsei |
+20 | -0 | usr/src/tools/smatch/src/validation/cast-kinds-check.c |
+20 | -0 | usr/src/tools/smatch/src/validation/optim/trunc-setne0.c |
+20 | -0 | usr/src/tools/smatch/src/validation/optim/sh-or-and1.c |
+15 | -5 | usr/src/tools/smatch/src/smatch_param_used.c |
+19 | -0 | usr/src/tools/smatch/src/validation/bad-return-type.c |
+19 | -0 | usr/src/tools/smatch/src/validation/linear/unreachable-label0.c |
+19 | -0 | usr/src/tools/smatch/src/validation/overflow.c |
+19 | -0 | usr/src/tools/smatch/src/validation/vla-sizeof-ice.c |
+19 | -0 | usr/src/tools/smatch/src/validation/linear/compound-literal02.c |
+19 | -0 | usr/src/tools/smatch/src/validation/cast-weirds.c |
+19 | -0 | usr/src/tools/smatch/src/validation/optim/cse-fcmp.c |
+19 | -0 | usr/src/tools/smatch/src/validation/enum-bitwise.c |
+19 | -0 | usr/src/tools/smatch/src/validation/optim/ext-trunc-same.c |
+13 | -6 | usr/src/tools/smatch/src/sparsec |
+5 | -14 | usr/src/tools/smatch/src/check_access_ok_math.c |
+19 | -0 | usr/src/tools/smatch/src/validation/linear/bool-cast-lp64.c |
+19 | -0 | usr/src/tools/smatch/src/validation/linear/bool-cast-lp32.c |
+19 | -0 | usr/src/tools/smatch/src/validation/mem2reg/if-direct.c |
+18 | -0 | usr/src/tools/smatch/src/validation/enum+mode.c |
+0 | -18 | usr/src/tools/smatch/src/validation/cond-address-function.c |
+18 | -0 | usr/src/tools/smatch/src/validation/crash-select.c |
+18 | -0 | usr/src/tools/smatch/src/validation/infinite-loop04.c |
+18 | -0 | usr/src/tools/smatch/src/validation/linear/bitfield-preinc.c |
+18 | -0 | usr/src/tools/smatch/src/validation/linear/call-inline.c |
+18 | -0 | usr/src/tools/smatch/src/validation/linear/compound-literal00.c |
+18 | -0 | usr/src/tools/smatch/src/validation/linear/compound-literal01.c |
+18 | -0 | usr/src/tools/smatch/src/validation/linear/missing-return3.c |
+18 | -0 | usr/src/tools/smatch/src/validation/mem2reg/address-used00.c |
+18 | -0 | usr/src/tools/smatch/src/validation/mem2reg/init-local-union0.c |
+18 | -0 | usr/src/tools/smatch/src/validation/mem2reg/load-dead.c |
+18 | -0 | usr/src/tools/smatch/src/validation/mem2reg/loop01-global.c |
+18 | -0 | usr/src/tools/smatch/src/validation/mem2reg/quadra02.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/address-used01.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-bf1.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-bfx.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/cast-nop.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/ext-trunc-smaller.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/lsr-and1.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/setcc-mask.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/shl-and1.c |
+18 | -0 | usr/src/tools/smatch/src/validation/optim/trunc-seteq0.c |
+17 | -1 | usr/src/tools/smatch/src/validation/preprocessor/dump-macros.c |
+0 | -18 | usr/src/tools/smatch/src/validation/preprocessor/predef-max.c |
+18 | -0 | usr/src/tools/smatch/src/validation/bad-type-twice2.c |
+18 | -0 | usr/src/tools/smatch/src/validation/bug-bad-type.c |
+17 | -0 | usr/src/tools/smatch/src/validation/typeof-bad.c |
+17 | -0 | usr/src/tools/smatch/src/validation/mem2reg/alias-distinct.c |
+17 | -0 | usr/src/tools/smatch/src/validation/preprocessor/builtin.c |
+17 | -0 | usr/src/tools/smatch/src/validation/preprocessor/base-file.c |
+17 | -0 | usr/src/tools/smatch/src/validation/mem2reg/dead-phisrc.c |
+0 | -17 | usr/src/tools/smatch/src/validation/alias-distinct.c |
+17 | -0 | usr/src/tools/smatch/src/validation/backend/pointer-sub.c |
+17 | -0 | usr/src/tools/smatch/src/validation/as-name.c |
+0 | -17 | usr/src/tools/smatch/src/validation/alias-same.c |
+17 | -0 | usr/src/tools/smatch/src/validation/optim/kill-stores2.c |
+17 | -0 | usr/src/tools/smatch/src/validation/preprocessor/missing-delim.c |
+17 | -0 | usr/src/tools/smatch/src/validation/Waddress-function.c |
+17 | -0 | usr/src/tools/smatch/src/validation/optim/ext-trunc-greater.c |
+17 | -0 | usr/src/tools/smatch/src/validation/optim/cse-size.c |
+17 | -0 | usr/src/tools/smatch/src/validation/label-redefined.c |
+17 | -0 | usr/src/tools/smatch/src/validation/kill-switch.c |
+8 | -9 | usr/src/tools/smatch/src/smatch_param_filter.c |
+17 | -0 | usr/src/tools/smatch/src/validation/mem2reg/alias-same.c |
+17 | -0 | usr/src/tools/smatch/src/validation/linear/call-builtin.c |
+17 | -0 | usr/src/tools/smatch/src/validation/linear/call-direct.c |
+17 | -0 | usr/src/tools/smatch/src/validation/shift-negative.c |
+17 | -0 | usr/src/tools/smatch/src/validation/preprocessor/phase3-comments.c |
+15 | -1 | usr/src/tools/smatch/src/smatch_data/db/vim_smdb |
+16 | -0 | usr/src/tools/smatch/src/validation/mem2reg/undef01.c |
+16 | -0 | usr/src/tools/smatch/src/validation/backend/store-x2.c |
+16 | -0 | usr/src/tools/smatch/src/validation/linear/phi-order02.c |
+16 | -0 | usr/src/tools/smatch/src/validation/linear/phi-order01.c |
+0 | -16 | usr/src/tools/smatch/src/validation/preprocessor/predef-char-bit.c |
+16 | -0 | usr/src/tools/smatch/src/validation/bug-rshift-ub.c |
+8 | -8 | usr/src/tools/smatch/src/validation/conditional-type.c |
+16 | -0 | usr/src/tools/smatch/src/validation/optim/volatile-bitfield.c |
+16 | -0 | usr/src/tools/smatch/src/validation/implicit-KR-arg-type1.c |
+16 | -0 | usr/src/tools/smatch/src/validation/bad-type-twice1.c |
+16 | -0 | usr/src/tools/smatch/src/validation/linear/bitfield-inc.c |
+16 | -0 | usr/src/tools/smatch/src/validation/optim/select-zero.c |
+16 | -0 | usr/src/tools/smatch/src/validation/mem2reg/loop00.c |
+15 | -0 | usr/src/tools/smatch/src/validation/linear/call-indirect.c |
+0 | -15 | usr/src/tools/smatch/src/validation/external-function-has-definition.c |
+15 | -0 | usr/src/tools/smatch/src/validation/sizeof-builtin.c |
+15 | -0 | usr/src/tools/smatch/src/validation/linear/missing-return1.c |
+15 | -0 | usr/src/tools/smatch/src/validation/builtin-prototype.c |
+15 | -0 | usr/src/tools/smatch/src/validation/optim/store-dominated.c |
+15 | -0 | usr/src/tools/smatch/src/validation/optim/and-lsr.c |
+15 | -0 | usr/src/tools/smatch/src/sparse-llvm-dis |
+15 | -0 | usr/src/tools/smatch/src/validation/linear/cast-volatile.c |
+5 | -10 | usr/src/tools/smatch/src/validation/memops-volatile.c |
+15 | -0 | usr/src/tools/smatch/src/validation/check_access-multi.c |
+15 | -0 | usr/src/tools/smatch/src/validation/preprocessor/extra-token.c |
+15 | -0 | usr/src/tools/smatch/src/validation/optim/cse-cmp-next.c |
+15 | -0 | usr/src/tools/smatch/src/validation/optim/sext.c |
+14 | -0 | usr/src/tools/smatch/src/validation/preprocessor/include-level.c |
+14 | -0 | usr/src/tools/smatch/src/validation/enum-same-type.c |
+14 | -0 | usr/src/tools/smatch/src/validation/mem2reg/cond-expr.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-constant1.c |
+14 | -0 | usr/src/tools/smatch/src/validation/linear/missing-return4.c |
+14 | -0 | usr/src/tools/smatch/src/validation/bitfield-kr.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/killed-insn.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/load-converted.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/lsr-shl0.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/mask-lsr.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/shl-lsr0.c |
+14 | -0 | usr/src/tools/smatch/src/validation/optim/trivial-phis.c |
+1 | -13 | usr/src/tools/smatch/src/smatch_param_to_mtag_data.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/zext-zext.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/zext-sext.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/zext-asr.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/fpcast-constant.c |
+13 | -0 | usr/src/tools/smatch/src/validation/linear/fp-vs-ptrcast.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-lsr2.c |
+13 | -0 | usr/src/tools/smatch/src/validation/typedef-redef.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/volatile-side-effect.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/trunc-or-shl.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/trunc-mask-zext.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/shl-and0.c |
+13 | -0 | usr/src/tools/smatch/src/validation/backend/shift-special.c |
+0 | -13 | usr/src/tools/smatch/src/validation/fp-vs-ptrcast.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/lsr-and0.c |
+13 | -0 | usr/src/tools/smatch/src/validation/bad-type-twice0.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-trunc0.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-shl2.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-trunc2.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-truncx.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-shl1.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-shlx.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-constant2.c |
+4 | -9 | usr/src/tools/smatch/src/smatch_returns.c |
+13 | -0 | usr/src/tools/smatch/src/validation/inc-dec-float.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/call-complex-pointer.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask2.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-maskx.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask1.c |
+13 | -0 | usr/src/tools/smatch/src/flowgraph.h |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-lsrx.c |
+6 | -7 | usr/src/tools/smatch/src/smatch_common_functions.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-lsr1.c |
+13 | -0 | usr/src/tools/smatch/src/validation/backend/label-as-value.c |
+13 | -0 | usr/src/tools/smatch/src/validation/typedef-redef-c89.c |
+13 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-lsr0.c |
+13 | -0 | usr/src/tools/smatch/src/dominate.h |
+13 | -0 | usr/src/tools/smatch/src/validation/cast-bad-01.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-shl0.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-trunc1.c |
+12 | -0 | usr/src/tools/smatch/src/validation/linear/phi-order04.c |
+12 | -0 | usr/src/tools/smatch/src/validation/goto-reserved.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/bool-eq0.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/bool-int-bool.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/bool-ne0.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/bool-neq0.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/bool-sext-test.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/bool-zext-test.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-constant0.c |
+12 | -0 | usr/src/tools/smatch/src/validation/constexpr-shift.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/cse-setfval.c |
+12 | -0 | usr/src/tools/smatch/src/validation/Wexternal-function-has-definition.c |
+6 | -6 | usr/src/lib/udapl/libdat/Makefile.com |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/mask-out.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/sext-sext.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/shift-zext.c |
+6 | -6 | usr/src/tools/smatch/src/gdbhelpers |
+12 | -0 | usr/src/tools/smatch/src/validation/preprocessor/ident-pragma.c |
+12 | -0 | usr/src/tools/smatch/src/validation/typediff-arraysize.c |
+12 | -0 | usr/src/tools/smatch/src/validation/preprocessor/ident.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/trunc-trunc.c |
+12 | -0 | usr/src/tools/smatch/src/validation/function-pointer-type.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/zext-and.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/zext-and1.c |
+12 | -0 | usr/src/tools/smatch/src/validation/backend/pointer-cmp.c |
+12 | -0 | usr/src/tools/smatch/src/validation/preprocessor/cli-D-arg.c |
+12 | -0 | usr/src/tools/smatch/src/validation/backend/compare-with-null.c |
+12 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-mask0.c |
+9 | -2 | usr/src/tools/smatch/src/smatch_scripts/test_generic.sh |
+0 | -11 | usr/src/tools/smatch/src/gcc-attr-list.h |
+11 | -0 | usr/src/tools/smatch/src/validation/char-unsigned.c |
+11 | -0 | usr/src/tools/smatch/src/validation/bug-crash16.c |
+11 | -0 | usr/src/tools/smatch/src/validation/fdiag-prefix.c |
+11 | -0 | usr/src/tools/smatch/src/validation/linear/missing-return2.c |
+5 | -6 | usr/src/tools/smatch/src/smatch_param_limit.c |
+11 | -0 | usr/src/tools/smatch/src/cse.h |
+9 | -2 | usr/src/tools/smatch/src/smatch_scripts/test_kernel.sh |
+11 | -0 | usr/src/tools/smatch/src/validation/optim/load-dead.c |
+11 | -0 | usr/src/tools/smatch/src/validation/enum-invalid.c |
+11 | -0 | usr/src/tools/smatch/src/validation/multi-input.c |
+11 | -0 | usr/src/tools/smatch/src/liveness.h |
+0 | -10 | usr/src/tools/smatch/src/validation/testsuite-selfcheck1.c |
+7 | -3 | usr/src/tools/smatch/src/validation/cond-err-expand.c |
+10 | -0 | usr/src/tools/smatch/src/validation/linear/missing-return0.c |
+8 | -2 | usr/src/tools/smatch/src/target.h |
+0 | -10 | usr/src/tools/smatch/src/validation/testsuite-selfcheck2.c |
+0 | -10 | usr/src/tools/smatch/src/validation/testsuite-selfcheck3.c |
+10 | -0 | usr/src/tools/smatch/src/validation/error-at-eof.c |
+5 | -5 | usr/src/tools/smatch/src/validation/ptr-inherit.c |
+10 | -0 | usr/src/tools/smatch/src/validation/preprocessor/cli-D-space.c |
+9 | -0 | usr/src/tools/smatch/src/validation/optim/setne0-sext.c |
+9 | -0 | usr/src/tools/smatch/src/validation/optim/setne0-zext.c |
+3 | -6 | usr/src/tools/smatch/src/ident-list.h |
+9 | -0 | usr/src/tools/smatch/src/validation/mem2reg/store-deadborn.c |
+9 | -0 | usr/src/tools/smatch/src/validation/preprocessor/predef-lp32.c |
+9 | -0 | usr/src/tools/smatch/src/validation/preprocessor/predef-unsigned.c |
+8 | -1 | usr/src/tools/smatch/src/smatch_scripts/kchecker |
+9 | -0 | usr/src/tools/smatch/src/validation/bool-float.c |
+5 | -4 | usr/src/tools/smatch/src/check_get_user_overflow.c |
+9 | -0 | usr/src/tools/smatch/src/validation/enum-init-constness.c |
+9 | -0 | usr/src/tools/smatch/src/validation/preprocessor/predef-lp64.c |
+8 | -1 | usr/src/tools/smatch/src/smatch_scripts/build_generic_data.sh |
+0 | -9 | usr/src/tools/smatch/src/validation/phase3/comments |
+9 | -0 | usr/src/tools/smatch/src/validation/mem2reg/load-deadborn.c |
+9 | -0 | usr/src/tools/smatch/src/validation/char-signed.c |
+9 | -0 | usr/src/tools/smatch/src/validation/preprocessor/predef-llp64.c |
+9 | -0 | usr/src/tools/smatch/src/validation/optim/null-phi.c |
+0 | -9 | usr/src/tools/smatch/src/sparse.pc.in |
+9 | -0 | usr/src/tools/smatch/src/optimize.h |
+9 | -0 | usr/src/tools/smatch/src/validation/optim/setne0-trunc.c |
+7 | -1 | usr/src/tools/smatch/src/check_debug.c |
+8 | -0 | usr/src/tools/smatch/src/ssa.h |
+8 | -0 | usr/src/tools/smatch/src/ir.h |
+6 | -2 | usr/src/tools/smatch/src/check_kernel.c |
+5 | -3 | usr/src/tools/smatch/src/test-unssa.c |
+4 | -4 | usr/src/tools/smatch/src/validation/choose_expr.c |
+8 | -0 | usr/src/tools/smatch/src/validation/linear/phi-order03.c |
+1 | -6 | usr/src/tools/smatch/src/unssa.c |
+7 | -0 | usr/src/tools/smatch/src/validation/linear/asm-toplevel.c |
+5 | -2 | usr/src/tools/smatch/src/check_double_checking.c |
+7 | -0 | usr/src/tools/smatch/src/validation/backend/setval.c |
+3 | -4 | usr/src/tools/smatch/src/validation/backend/cast.c |
+0 | -7 | usr/src/tools/smatch/src/validation/asm-toplevel.c |
+7 | -0 | usr/src/tools/smatch/src/validation/self-quote-args.c |
+6 | -0 | usr/src/tools/smatch/src/smatch_extra.h |
+3 | -3 | usr/src/tools/smatch/src/sort.c |
+6 | -0 | usr/src/tools/smatch/src/expression.c |
+6 | -0 | usr/src/tools/smatch/src/validation/bitwise-cast.c |
+4 | -2 | usr/src/tools/smatch/src/test-linearize.c |
+3 | -3 | usr/src/cmd/auditreduce/Makefile |
+5 | -1 | usr/src/uts/intel/sol_ofs/Makefile |
+3 | -3 | usr/src/tools/smatch/src/validation/check_byte_count-ice.c |
+6 | -0 | usr/src/tools/smatch/src/smatch_data/db/fixup_kernel.sh |
+3 | -3 | usr/src/tools/smatch/src/ctags.c |
+3 | -3 | usr/src/tools/smatch/src/check_uninitialized.c |
+4 | -1 | usr/src/uts/intel/sol_uverbs/Makefile |
+1 | -4 | usr/src/uts/intel/procfs/Makefile |
+5 | -0 | usr/src/tools/smatch/src/validation/option-parsing-00.c |
+3 | -2 | usr/src/tools/smatch/src/check_list.h |
+3 | -2 | usr/src/tools/smatch/src/smatch_struct_assignment.c |
+5 | -0 | usr/src/tools/smatch/src/validation/option-parsing-01.c |
+4 | -1 | usr/src/tools/smatch/src/validation/compound-assign-type.c |
+4 | -1 | usr/src/tools/smatch/src/check_deref_check.c |
+5 | -0 | usr/src/tools/smatch/src/validation/optim/and-or-crash.c |
+4 | -1 | usr/src/tools/smatch/src/check_check_deref.c |
+1 | -4 | usr/src/uts/intel/mac/Makefile |
+2 | -2 | usr/src/tools/smatch/src/obfuscate.c |
+2 | -2 | usr/src/tools/smatch/src/validation/enum-mismatch.c |
+2 | -2 | usr/src/tools/smatch/src/validation/nested-declarator.c |
+2 | -2 | usr/src/tools/smatch/src/validation/nested-declarator2.c |
+2 | -2 | usr/src/tools/smatch/src/char.c |
+2 | -2 | usr/src/tools/smatch/src/c2xml.c |
+3 | -1 | usr/src/tools/smatch/src/validation/constexpr-preop.c |
+2 | -2 | usr/src/tools/smatch/src/validation/builtin-bswap-variable.c |
+2 | -2 | usr/src/tools/smatch/src/test-parsing.c |
+2 | -2 | usr/src/tools/smatch/src/test-lexing.c |
+4 | -0 | usr/src/tools/smatch/src/Documentation/smatch.txt |
+2 | -2 | usr/src/tools/smatch/src/test-inspect.c |
+2 | -2 | usr/src/tools/smatch/src/test-dissect.c |
+4 | -0 | usr/src/tools/smatch/src/smatch_scripts/gen_rosenberg_funcs.sh |
+2 | -2 | usr/src/tools/smatch/src/validation/reserved.c |
+3 | -1 | usr/src/tools/smatch/src/smatch_data/kernel.bit_shifters.remove |
+4 | -0 | usr/src/tools/smatch/src/smatch_data/db/kernel.return_fixes |
+2 | -2 | usr/src/tools/smatch/src/smatch_conditions.c |
+2 | -2 | usr/src/tools/smatch/src/validation/typedef_shadow.c |
+0 | -4 | usr/src/tools/smatch/src/validation/Wunknown-attribute-def.c |
+2 | -2 | usr/src/tools/smatch/src/compile.c |
+2 | -2 | usr/src/tools/smatch/src/check_locking.c |
+2 | -2 | usr/src/tools/smatch/src/check_free.c |
+1 | -2 | usr/src/uts/intel/zfs/Makefile |
+3 | -0 | usr/src/tools/smatch/src/token.h |
+3 | -0 | usr/src/tools/smatch/src/smatch_data/kernel.unreachable.ignore |
+3 | -0 | usr/src/tools/smatch/src/smatch_data/kernel.ignore_uninitialized_param |
+3 | -0 | usr/src/tools/smatch/src/smatch_data/kernel.ignore_side_effects |
+1 | -1 | usr/src/tools/smatch/src/validation/Wunknown-attribute-yes.c |
+1 | -1 | usr/src/tools/smatch/src/validation/sizeof-bool.c |
+1 | -1 | usr/src/tools/smatch/src/validation/address_space.c |
+1 | -1 | usr/src/uts/common/io/mac/mac.c |
+1 | -1 | usr/src/tools/smatch/src/smatch_data/db/clear_user_data.sh |
+1 | -1 | usr/src/tools/smatch/src/validation/struct-as.c |
+1 | -1 | usr/src/tools/smatch/src/smatch_data/db/fill_db_sql.pl |
+1 | -1 | usr/src/tools/smatch/src/validation/kill-load.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-pointer-cast.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-string.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-types-compatible-p.c |
+1 | -1 | usr/src/tools/smatch/src/validation/noderef.c |
+1 | -1 | usr/src/tools/smatch/src/validation/nocast.c |
+1 | -1 | usr/src/tools/smatch/src/validation/int128.c |
+1 | -1 | usr/src/tools/smatch/src/scope.h |
+1 | -1 | usr/src/tools/smatch/src/smatch_assigned_expr.c |
+1 | -1 | usr/src/tools/smatch/src/smatch_bits.c |
+1 | -1 | usr/src/tools/smatch/src/smatch_integer_overflow.c |
+1 | -1 | usr/src/tools/smatch/src/validation/c11-noreturn.c |
+1 | -1 | usr/src/tools/smatch/src/smatch_mtag.c |
+1 | -1 | usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c |
+2 | -0 | usr/src/tools/smatch/src/Documentation/.gitignore |
+1 | -1 | usr/src/tools/smatch/src/validation/preprocessor/dump-macros-multi.c |
+0 | -2 | usr/src/tools/smatch/src/compat.h |
+1 | -1 | usr/src/tools/smatch/src/check_unwind.c |
+1 | -1 | usr/src/tools/smatch/src/validation/preprocessor/dump-macros-empty.c |
+1 | -1 | usr/src/tools/smatch/src/check_testing_index_after_use.c |
+1 | -1 | usr/src/tools/smatch/src/check_readl_infinite_loops.c |
+2 | -0 | usr/src/tools/smatch/src/validation/preprocessor/base-file.h |
+2 | -0 | usr/src/tools/smatch/src/check_nospec.c |
+1 | -1 | usr/src/tools/smatch/src/validation/kill-store.c |
+1 | -1 | usr/src/tools/smatch/src/validation/c11-alignof.c |
+1 | -1 | usr/src/tools/smatch/src/validation/c11-alignas.c |
+1 | -1 | usr/src/tools/smatch/src/smatch_scripts/summarize_errs.sh |
+1 | -1 | usr/src/tools/smatch/src/validation/optim/muldiv-minus-one.c |
+2 | -0 | usr/src/tools/smatch/src/allocate.c |
+1 | -1 | usr/src/tools/smatch/src/validation/backend/sum.c |
+1 | -1 | usr/src/tools/smatch/src/validation/cond-address.c |
+1 | -1 | usr/src/tools/smatch/src/validation/linear/bitfield-init-mask.c |
+1 | -1 | usr/src/tools/smatch/src/validation/optim/bool-context.c |
+0 | -2 | usr/src/tools/smatch/src/check_dereferences_param.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-addr-of-static-member.c |
+1 | -1 | usr/src/tools/smatch/src/validation/c11-thread-local.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-addr-of-static.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-binop.c |
+1 | -1 | usr/src/tools/smatch/src/check_deref.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-cast.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-compound-literal.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-conditional.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-init.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-labelref.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-offsetof.c |
+1 | -1 | usr/src/tools/smatch/src/validation/constexpr-pointer-arith.c |
+1 | -1 | usr/src/tools/smatch/src/check_continue_vs_break.c |
+2 | -0 | usr/src/tools/smatch/src/allocate.h |
+1 | -0 | usr/src/tools/smatch/src/smatch_data/kernel.ignore_casted_params |
+1 | -0 | usr/src/tools/smatch/src/smatch_data/kernel.check_string_condition.ignore |
+0 | -1 | usr/src/tools/smatch/src/parse.h |
+1 | -0 | usr/src/tools/smatch/src/smatch_data/db/create_db.sh |
+1 | -0 | usr/src/tools/smatch/src/smatch_scripts/gen_dma_funcs.sh |
+1 | -0 | usr/src/tools/smatch/src/validation/preprocessor/include-level.h |
+1 | -0 | usr/src/tools/smatch/src/validation/infinite-loop02.c |
+1 | -0 | usr/src/tools/smatch/src/validation/infinite-loop03.c |
+1 | -0 | usr/src/tools/smatch/src/validation/constant-suffix-64.c |