634 files changed, 22828 insertions(+), 6057 deletions(-)

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