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
flow: shuffle case statement handling around
2016-04-12
Dan Car
p
ent
e
r
flow: shu
f
fle case s
t
atement handling around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: split the __
i
mplied_cas
e
_stree
(
)
into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
extra:
white sp
a
c
e cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
pente
r
imaginary
_
a
b
s
olut
e
:
it's
like smatch
_
ex
t
ra
.
c
for i
m
possible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carp
e
nter
implied: remove s
o
me dupl
i
cate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extr
a
: remove
an obsolete c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
penter
ex
t
r
a
: split handle_comparison
(
) into two funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an
Car
p
ent
e
r
db: ignore unr
e
ac
h
a
b
l
e retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpent
e
r
db: split returns i
n
to NULL an
d
non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: remo
v
e
pointl
e
ss re
t
u
rn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpen
t
er
db: small cleanu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
hooks
:
rename CALL_HOOK_A
F
TER t
o
C
ALL_HOO
K
_AFTE
R
_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpent
e
r
u
n
tracke
d
_param: handle
i
nli
n
e calls
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
flow: doe
n
't r
e
set loop_
c
o
u
n
t for i
n
li
n
e
fu
n
ct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpent
e
r
implie
d
: use the correct ty
p
e for
c
onditi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan
Carpen
t
er
sco
p
e:
d
e
l
e
te o
u
t of scop
e
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
validation/sm
_
chunk2
.
c: update validation te
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpente
r
d
b
: r
e
ver
t
a
"spee
d
u
p
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
real_absolute: tur
n
this code on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_
p
tr_
d
eref: complain about de
r
efere
n
ces
i
n
si
d
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n Carpe
n
ter
return_efault: co
m
p
l
ai
n
about "retur
n
c
o
py_from
_
u
ser();"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
buf_si
z
e
:
sa
v
e s
i
ze of fixe
d
a
r
rays t
h
at
a
re retur
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
modification_hooks
:
re
m
ove
a
n unnee
d
ed v
a
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
sl
i
s
t:
m
a
ke merge_states() s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Ca
r
p
ent
e
r
states: make debug ou
t
p
ut more consisten
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
h
ook
s
: put each
type of
hook
i
nto it's
o
wn array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Ca
r
p
e
nter
.
giti
g
no
r
e: add
.
gdb_history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpente
r
store
d
_cond
i
tions: white
s
pace chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
math:
pre
f
er real_absolute_value to the db va
l
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
imp
l
ied: remo
v
e a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
conditi
o
ns: bu
g
in
condit
i
on assignments li
k
e fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
er
imposs
i
b
l
e
: h
a
ndle assignment con
d
itions
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpenter
string_condition:
d
o
n't com
p
lain about TRACE_E
V
ENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpente
r
function_hooks: handle r
e
turs that
don
'
t
se
t
a
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
db: don't us
e
split
_
succe
s
s_f
a
il if it doesn't retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carp
e
nter
db: fix
bug in print_s
t
ruct_mem
b
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: for impos
s
ible r
e
turns ju
s
t do th
e
simplest t
h
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra:
u
se real_absolute values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Ca
r
penter
extra: imp
r
ove array handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carpenter
smatch: add a --tim
e
o
p
t
ion to
print ho
w
long
sm
a
tc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n
Carpenter
flow: h
a
n
d
l
e
"*p++ = foo" better
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carpent
e
r
f
l
ow: fix inside_l
o
op() with in
l
in
e
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
Da
n
Carpenter
param_s
e
t: ha
n
dle ar
r
ay assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan C
a
rpent
e
r
implied: r
e
move buggy code for working
around th
e
old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpent
e
r
db/fixup_kernel
.
sh: add
kmalloc_ord
e
r_
t
race()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpe
n
ter
d
b
/fixup_kernel
.
sh: ign
o
re a lot of PC
I
errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n
Carpenter
data/kernel
.
clear
s
_argum
e
n
t: add copy_user_generic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db: split positiv
e
fr
o
m ne
g
ative
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
expres
s
ions: introduce compar
e
_
e
xp
r
es
s
ion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
impli
e
d:
i
ntroduce
ass
u
me(conditi
o
n)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
arpente
r
db: handle parameter functio
n
point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Car
p
enter
st
a
tes: handl
e
fake slist prope
r
ly w
h
en we
merge t
r
ue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpenter
val
i
da
t
ion: add a te
s
t
f
or rang
e
d
c
ase
st
a
tement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
condi
t
ions: big fake
s
tate re-work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
avl: remove sign
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slist
:
intr
o
du
c
e
type_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
ar
p
enter
conditions: add a NULL chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
Carpent
e
r
impl
i
ed: r
e
ve
r
t not alre
a
dy set change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan C
a
rpen
t
er
extr
a
: ha
n
dle post op increment loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan Ca
r
p
e
nt
e
r
type: fix
"strange non
-
value function or
arr
a
y" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpe
n
ter
l
eaks: don't reset sta
t
es t
o
themsel
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Da
n
Carpen
t
er
flow, c
o
ndition
s
: handle
lab
e
l stat
e
m
ents correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
db: fix a bug in
s
plitting ret
u
r
n
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Revert "
s
tates: only set the fa
k
e_stree in set_state(
)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nter
locking:
don't war
n
a
bout impossible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpenter
val
i
datio
n
/sm_
i
m
p
lied8
.
c: upd
a
t
e t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n C
a
rpenter
function_hooks
:
use __set_s
m
_cur_str
e
e
(
)
i
n
db_retur
n
_state
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpenter
states: only set
the fake_stree in set_state
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpen
t
er
implications: use st
o
red_conditi
o
ns
the
default fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
arpent
e
r
implied: unb
r
eak assign_ra
n
ged
_
funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
an Carpenter
states: delete an unused f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpente
r
imp
l
i
e
d: fi
x
PARAM_LIM
I
T im
p
lications again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpent
e
r
implied
:
f
all
o
ut from fake_cur
_
stree c
h
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Carp
e
n
t
e
r
real_absolute: += and = are
not the same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
D
an Carpenter
states:
_
_set
_
sm_cu
r
_stree
(
) should not cha
n
g
e
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
D
an Car
p
e
n
ter
s
tates: setti
n
g
t
h
e true sta
t
e do
e
sn't
s
et t
h
e cur_str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpenter
impl
i
ed: fix a bug
ha
n
dl
i
ng PARAM_LIM
I
T implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Car
p
enter
valid
a
tion: add
sm_impos
s
ibl
e
2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carp
e
n
t
er
stru
c
t_a
s
sign
m
ent: silence a GCC
f
alse positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
an Carpenter
v
a
l
idati
o
n/s
m
_im
p
lied10
.
c:
u
p
d
a
te t
h
e test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Carpente
r
extra: fix val
u
e
s
_fi
t
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carp
e
nter
Rever
t
"slist: make __m
e
rg
e
_slist() allocate less
m
emor
y
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Carpenter
flow: silence
a GCC
f
alse positiv
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpen
t
e
r
validation/sm_compa
r
e3
.
c: update the
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpenter
validation: update s
m
_math1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpent
e
r
validati
o
n: update s
m
_overflow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n Carpenter
vali
d
a
t
ion/sm_inline3
.
c: remove acci
d
ental
i
nclude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpenter
validation
:
update
a
couple c
o
mpare tes
t
s and ma
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Car
p
en
t
er
v
a
l
i
dation/sm_b
u
f_size
6
: use correct
e
lement count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan C
a
rpenter
validation:
u
pdate
sm_arra
y
_overflo
w
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Car
p
e
nter
m
emcpy_ov
e
r
f
low: ignore
s
o
m
e struc
t
types wh
i
ch ca
u
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
memcpy_overflow: handle variable
l
e
n
g
th structs co
r
rec
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
a
n Ca
r
pe
n
ter
im
p
lied: use
i
m
p
lications f
r
om
fun
c
tion conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
Ca
r
pen
t
er
func
t
io
n
_h
o
oks: don't p
a
r
s
e
c
o
mparison conditio
n
s twi
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Da
n
C
arpenter
conditions
:
set the pa
r
ent
ex
p
ression whe
n
parsing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Ca
r
penter
flow: rename set_parent()
t
o set_par
e
nt
_
expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
prece
d
ence: fix some false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
kernel_print
f
: ignore %pg which are block pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
D
an Carp
e
nter
i
n
dentin
g
: ign
o
re
p
r
e and post statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-09
Dan Carpenter
comparison
:
fix fal
l
out from algebra change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next