History log of /illumos-gate/usr/src/tools/smatch/src/validation/optim/ (Results 1 – 2 of 2)
Revision Date Author Comments
(<<< Hide modified files)
(Show modified files >>>)
c85f09cc11-Nov-2019 John Levon

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


address-used01.c
and-extend.c
and-extendx.c
and-lsr.c
and-or-bf0.c
and-or-bf1.c
and-or-bf2.c
and-or-bfs.c
and-or-bfu.c
and-or-bfx.c
and-or-constant0.c
and-or-constant1.c
and-or-constant2.c
and-or-crash.c
and-or-lsr0.c
and-or-lsr1.c
and-or-lsr2.c
and-or-lsrx.c
and-or-mask.c
and-or-mask0.c
and-or-mask1.c
and-or-mask2.c
and-or-mask3s.c
and-or-mask3u.c
and-or-mask4.c
and-or-maskx.c
and-or-shl0.c
and-or-shl1.c
and-or-shl2.c
and-or-shlx.c
and-or-trunc0.c
and-or-trunc1.c
and-or-trunc2.c
and-or-truncx.c
and-trunc.c
bitfield-init-zero.c
bitfield-size.c
bitfield-store-load0.c
bitfield-store-loads.c
bitfield-store-loadu.c
bits-not-zero.c
bool-context-fp.c
bool-context.c
bool-eq0.c
bool-int-bool.c
bool-ne0.c
bool-neq0.c
bool-sext-test.c
bool-simplify.c
bool-simplify2.c
bool-zext-test.c
call-complex-pointer.c
call-inlined.c
canonical-add.c
canonical-cmp.c
canonical-fcmp.c
canonical-mul.c
cast-kinds.c
cast-nop.c
cse-cmp-next.c
cse-fcmp.c
cse-setfval.c
cse-size.c
dup-cond0.c
ext-trunc-greater.c
ext-trunc-same.c
ext-trunc-smaller.c
fpcast-constant.c
inline-return.c
kill-casts.c
kill-stores0.c
kill-stores1.c
kill-stores2.c
killed-insn.c
live-stores0.c
load-converted.c
load-dead.c
load-semi-volatile.c
lsr-and0.c
lsr-and1.c
lsr-asr.c
lsr-shl0.c
mask-lsr.c
mask-out.c
mask1-setne0.c
missing-select.c
muldiv-minus-one.c
null-phi.c
or-and-constant1.c
phi-ret.c
restrict.c
select-zero.c
setcc-mask.c
setne0-sext.c
setne0-trunc.c
setne0-zext.c
sext-sext.c
sext.c
sh-or-and0.c
sh-or-and1.c
sh-or-and2.c
shift-big.c
shift-shift.c
shift-zext.c
shl-and0.c
shl-and1.c
shl-lsr0.c
store-dominated.c
trivial-phis.c
trunc-mask-zext.c
trunc-or-shl.c
trunc-seteq0.c
trunc-setne0.c
trunc-trunc.c
volatile-bitfield.c
volatile-side-effect.c
volatile-store00.c
zext-and.c
zext-and1.c
zext-asr.c
zext-sext.c
zext-zext.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>


binops-same-args.c
bool-context.c
bool-same-args.c
bool-simplify.c
cse-commutativity.c
cse-dual-compare.c
double-unop.c
fpcast-nop.c
muldiv-by-one.c
muldiv-by-zero.c
muldiv-minus-one.c
setcc-setcc.c
setcc-seteq.c
setcc-setne.c
void-if-convert.c