repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
implied: remove some duplicate lines
2016-04-11
Dan Carpenter
impl
i
ed: remove some dup
l
icate l
i
nes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: remove an obsolete comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Car
p
enter
extra: split handle_comparison() into two functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
rpenter
db:
i
gnore unreachable re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpenter
db: split returns in to NULL and
n
on-
N
U
L
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: remo
v
e pointless return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
Carpent
e
r
db: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
h
o
o
k
s
: rename CA
L
L_HOOK_AFTER
t
o CAL
L
_HOOK_AFTER_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpe
n
t
e
r
untrac
k
ed_
p
ar
a
m: handle
inline calls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carp
e
nter
fl
o
w:
d
o
en't
reset loop_co
u
nt for inline f
u
n
c
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
a
n Ca
r
pe
n
ter
im
p
l
ied
:
use th
e
correct ty
p
e fo
r
conditi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
scope: delete o
u
t of scope
varia
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
an Ca
r
pen
t
er
validation/sm_chunk2
.
c: update
v
a
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
C
a
rpen
t
er
db: revert a "s
p
eedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
rp
e
nter
re
a
l_absolute: t
u
rn this code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpente
r
err_ptr_deref
:
c
o
mplain about dereferen
c
es inside
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpe
n
t
e
r
return_efault: complain
ab
o
ut
"
return copy_from_us
e
r();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
buf_size: save s
i
ze of fixed array
s
that are returned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
modification_h
o
oks: remove an
un
n
ee
d
ed variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpen
t
er
s
l
ist: m
a
ke
merge_states() s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
s
t
ates: make debug o
u
tput
m
ore co
n
sistent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpente
r
ho
o
ks:
put e
a
c
h
typ
e
of hoo
k
into it's
own
a
r
ray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpent
e
r
.
gitignore: add
.
gdb_history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
r
penter
s
t
ore
d
_cond
i
tions: white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an
C
arpenter
math: prefer re
a
l
_a
b
solut
e
_value to the db val
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
e
nter
implied:
remove a bl
a
nk line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
condi
t
ions: bug in condition assign
m
ent
s
like foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
en
t
er
impossible: handle assignm
e
nt
c
onditions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpent
e
r
string_condit
i
o
n
: don'
t
complai
n
abo
u
t TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
fun
c
tion_hooks
:
h
an
d
l
e
retu
r
s tha
t
don't set a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
db
:
don't use
split
_
success_
f
ail if
it doesn't re
t
u
r
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: fix bug in
p
rint_struct_m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: for impo
s
sib
l
e returns just
d
o the
simplest thin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
rpenter
extra: us
e
real_a
b
solute values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
e
xtr
a
:
i
mpro
v
e array handli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n
C
a
rpent
e
r
smatch: add a
--time option to print how long
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
ent
e
r
flow: handle "*p++ = foo" bet
t
er
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Carpent
e
r
flow: fix
i
nside_loop()
w
ith inline fu
n
cti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
D
a
n
Car
p
en
t
er
p
a
ram_set: handle
a
rray assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan C
a
r
penter
implied: r
e
move buggy code for
w
orking
a
ro
u
nd the o
l
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan C
a
rpe
n
te
r
db/
f
ixup_kernel
.
s
h: add
kmallo
c
_order_trace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Da
n
Carpen
t
er
d
b
/f
i
xup_ke
r
nel
.
sh: ign
o
re a
lot of PCI error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carp
e
n
t
er
data/kern
e
l
.
clears_argum
e
nt: add cop
y
_user_generic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan
Carpenter
db: split positiv
e
fro
m
negative returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
expressions: introduce
c
ompa
r
e
_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n Carpente
r
implied: introd
u
ce assum
e
(condi
t
i
on)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Ca
r
penter
db: h
a
ndle parameter function p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan C
a
rpenter
states: h
a
ndle fake slist pro
p
erly when
we merge
true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
v
a
lidation:
add a te
s
t
f
or
r
anged case statem
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
a
rpenter
conditio
n
s
:
big fake state re
-
work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
avl:
remove sign() fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
ter
slist: i
n
troduce ty
p
e_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpen
t
er
co
n
ditio
n
s: add
a
NULL ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpent
e
r
im
p
lied: r
e
vert no
t
already set
c
hange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan
C
a
r
penter
extra: hand
l
e post op inc
r
ement loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
type: fix "strange non-value function or array"
warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpenter
leaks: don'
t
reset s
t
ates to themselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpen
t
e
r
flow,
conditions: h
a
ndle label
statements corre
c
t
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
db: fix a bug in sp
l
it
t
ing return state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
D
a
n
Carpente
r
Revert "st
a
tes: only set the
f
ake_stree
i
n
set_state()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Car
p
enter
locking: don
'
t war
n
about impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nte
r
validation/sm
_
implied8
.
c:
u
pdate test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan
Carpe
n
ter
function_hoo
k
s: use __set_s
m
_
cur_stree() in db
_
return_states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
arpenter
stat
e
s: only set the
fake_stree i
n
se
t
_st
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
impli
c
ations: use store
d
_condit
i
on
s
the def
a
u
l
t fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
im
p
lied: unbr
e
ak assign_
r
a
n
ged_f
u
ncti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
states: dele
t
e an unused
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpenter
implied:
f
i
x PARAM_LIMIT implications aga
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpent
e
r
implied: fal
l
o
u
t
f
rom fake_cur_stree changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
D
an Carpenter
r
e
al_
a
bsolute: += an
d
= are not
th
e
same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan
Ca
r
p
e
nter
s
t
ates:
__se
t
_s
m
_cur_
s
tree() should not change
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpe
n
ter
states: set
t
ing the true sta
t
e
d
oesn't set
the
cur_
s
tr
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Car
p
enter
implied: fix a bug handling PARAM_LIMIT
i
mplic
a
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Car
p
enter
validation: add sm_i
m
possi
b
le2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
st
r
u
ct_
a
ssignment
:
silence a GCC fa
l
se positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
rp
e
nter
v
a
lidation/sm_implied10
.
c: u
p
dat
e
the
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Carpenter
extra:
f
ix values_fit_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
R
e
vert "slis
t
: make
__merge_sli
s
t()
a
llocate less memory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
flo
w
: silence a G
C
C false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
valid
a
t
i
on/sm_compare3
.
c: update the
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpenter
validation: updat
e
sm_ma
t
h
1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Da
n
Carpenter
validation:
u
pdate sm_overf
l
ow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
val
i
dation/sm_inline3
.
c: remo
v
e accidental i
n
clude
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Ca
r
pen
t
e
r
validation: update a couple compare
t
ests
and m
a
ke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpen
t
er
validation/
s
m_bu
f
_size6: use
c
o
rr
e
c
t
el
e
ment co
u
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n Carp
e
n
t
er
validation: u
p
da
t
e sm_array_ov
e
rflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
me
m
cpy
_
overflow: ignore some struct typ
e
s
whic
h
c
au
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Ca
r
pen
t
er
m
emcpy_ove
r
flow:
h
and
l
e variable length str
u
cts
c
orrectl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
enter
imp
l
ied: use
i
mplica
t
ions fro
m
function condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
functio
n
_hooks: don't
parse
comparis
o
n con
d
iti
o
ns
t
wice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Car
p
enter
condition
s
: set
the parent ex
p
ress
i
on when
p
ars
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
fl
o
w: rename set_pare
n
t() to
s
et_paren
t
_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
p
r
ecedence:
fix some fals
e
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
D
an C
a
rpenter
kern
e
l_print
f
:
i
gnore %pg which
a
re block point
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
r
p
e
n
ter
indentin
g
: i
g
nore pre and po
s
t
statem
e
nt
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan
Ca
r
pen
t
er
compar
i
son: fix fallout f
r
om a
l
gebra chang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Car
p
enter
comparison:
d
on't re-impl
e
ment expr_to
_
chunk_
s
ym_vsl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan C
a
rpenter
helper
:
a
n
u
m
b
er is not
a
chunk
in expr
_
t
o
_chunk()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
functi
o
n_hooks:
d
o
n't pro
c
ess
condition
f
u
n
ctions tw
i
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpen
t
er
c
o
nditions: in
t
rod
u
ce the big_con
d
ition_stac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next