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: fix a type bug
2016-04-19
D
a
n C
a
rpenter
i
mp
l
ied: fi
x
a typ
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpe
n
ter
im
p
l
i
ed:
update some
debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpen
t
e
r
implied
:
create fake implication his
t
ory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: tweak debu
g
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
an Ca
r
penter
states: print debug output in
_
_
set_true_fals
e
_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
p
e
nter
implie
d
: overwrite
smatch_extra
using implied sta
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
r
penter
ra
n
ges,
e
x
tra: move and export split_comp
a
rison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
s
l
i
s
t:
remove unused _
_
set_true_false_if_no
t
_already
_
set(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
db: m
a
ke a
file kernel
.
r
eturn_fixes for updating r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
flow: me
r
ge multiple
case
s
tatements in a row togeth
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
helper
:
use
.
i
ns
t
e
a
d of -> for more variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
param_s
e
t: remo
v
e an unnneeded var
i
ab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
ex
t
ra: p++ should
c
le
a
r the states for *p
or p-
>
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
m
a
th: h
a
n
d
le __builtin_types
_
comp
a
tib
l
e_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow:
s
pl
i
t case s
t
atement handlin
g
into its own f
u
nc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied:
r
eplace __ge
t
_imp
l
ied_val
u
e
s()
with
g
et_absol
u
te_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpent
e
r
flow: fix bug i just introduced
with known switch statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
d
e
b
u
g
: print th
e
max
size for __smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
d
e
b
ug:
i
nclud
e
-
>possible and absolute
i
n __s
m
atch_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
implied: remove unnecessary ini
t
i
a
l
i
z
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpe
n
ter
param_cleare
d
:
s
tr
i
p
a
w
ay casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
r
ange
s
:
make filter_top_rl() take a ran
g
e_li
s
t
filter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpen
t
er
flow: sh
u
ffle case statement handlin
g
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpente
r
impl
i
ed: split the __implied_case_stree() into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
extra: white space c
l
eanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
imaginary_absolute: it's like smatch
_
extra
.
c for i
m
possi
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
Carpent
e
r
implied:
r
em
o
v
e
some d
u
plicate
lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
en
t
er
extra: remove an obs
o
lete comm
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
enter
extra: split handl
e
_
c
ompar
i
son()
i
nto two functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpent
e
r
d
b
: i
g
nore
unre
a
chab
l
e retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
C
a
rpenter
db
:
split returns in to NULL
a
nd
n
on-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
enter
db: remove po
i
nt
l
ess ret
u
rn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
db: s
m
all cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
h
o
oks: re
n
ame CALL_HOOK_
A
FTER
t
o
CALL_HOOK_A
F
TER_
D
B
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpe
n
ter
untra
c
ked_par
a
m: handle inline calls b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan C
a
rpenter
f
low:
d
oe
n
't
r
eset l
o
op_cou
n
t for inline
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
im
p
lied
:
use the c
o
rrect type for c
o
n
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpe
n
t
er
scop
e
: delete out of scope v
a
riabl
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
an Carpenter
vali
d
at
i
on/sm_c
h
unk2
.
c: upda
t
e validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Ca
r
p
e
nter
db: r
e
ver
t
a "s
p
eedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpenter
r
eal_absolut
e
: turn this c
o
de on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpen
t
e
r
err_ptr_
d
e
r
ef: com
p
l
a
i
n about dereferen
c
es inside a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
an C
a
rpe
n
ter
ret
u
rn_efault: complain about "ret
u
rn copy_from_user();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
bu
f
_siz
e
: save size of fixed arrays
that
a
re r
e
turn
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
modification_hooks: re
m
o
v
e an
un
n
eeded vari
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
sl
i
s
t: make merge_states()
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
states: make debug output mo
r
e consistent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpente
r
hooks: put
e
a
ch type of
h
ook into
i
t
'
s own array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nt
e
r
.
gitig
n
ore: add
.
g
d
b_hi
s
tory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
s
tored
_
condition
s
: white space change
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
penter
math: prefer real_absolute_valu
e
t
o
the db value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpenter
i
mpl
i
ed:
r
emove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
C
a
r
pe
n
ter
c
o
ndi
t
ions: bug in condition assignm
e
nts like f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
r
penter
i
mpossible
:
handle assignme
n
t conditions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
st
r
i
n
g_
c
ondition: do
n
't
compl
a
in about
T
RA
C
E_EV
E
N
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
function_hooks:
h
an
d
le returs that don't set a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
db: don't use sp
l
it_s
u
ccess_
f
ail
i
f it
d
oe
s
n't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
db
:
fix bug in pr
i
n
t_struct_memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
db: for im
p
ossible returns just do the
s
implest t
h
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: us
e
real_a
b
so
l
u
t
e
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
r
p
enter
extra: improve array handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
p
e
n
t
e
r
smatch: add
a
-
-
ti
m
e o
p
tion to print h
o
w long
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
r
penter
flow: h
a
nd
l
e
"
*p++
=
fo
o
" b
e
tter
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
r
p
e
n
t
e
r
fl
o
w: fix inside_loop() with inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan Carpenter
param_
s
et
:
handle array assign
m
en
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpen
t
er
imp
l
i
e
d
:
remo
v
e buggy code for working arou
n
d the
old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpent
e
r
db
/
fixup_kerne
l
.
sh
:
add kmalloc_
o
rder_trace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpenter
db
/
f
ix
u
p_kernel
.
sh: ignore
a
lot of PCI error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan C
a
rpenter
d
a
ta/kernel
.
clea
r
s_argument: add copy_use
r
_g
e
neric(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n Car
p
enter
db
:
split po
s
i
t
ive from
n
e
g
ative returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n
C
ar
p
enter
e
x
pressions: introduce co
m
pare_exp
r
ession
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
im
p
li
e
d: introduc
e
assum
e
(condition)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
D
a
n
Carpenter
db: h
a
ndle
p
a
r
a
m
eter function pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpen
t
er
states
:
handle fake
s
li
s
t prop
e
rly when
w
e merge true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nter
valid
a
tion:
a
dd a test for ranged
c
ase statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Car
p
e
n
ter
conditio
n
s:
b
ig fake s
t
at
e
re-wor
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an
Car
p
ente
r
avl
:
remove sign(
)
functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slist:
i
ntroduce
type_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Ca
r
penter
conditions:
a
dd a NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Ca
r
penter
imp
l
i
ed:
revert not alre
a
dy
se
t
change
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan
Carpenter
extra: han
d
le p
o
st
o
p i
n
crement loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
Dan Car
p
enter
type: fi
x
"stra
n
ge
n
on-value function or array" warn
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
D
a
n Carpenter
leaks:
don't reset stat
e
s
t
o themse
l
ve
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Ca
r
penter
fl
o
w
, c
o
ndit
i
ons: handle label statements correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
D
a
n
Ca
r
penter
db: fi
x
a bug
i
n sp
l
itting return s
t
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Re
v
ert
"
states: only set the fake_stree
in se
t
_sta
t
e
(
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpent
e
r
l
o
cki
n
g:
d
o
n't warn
a
bout
i
mpossible pa
t
h
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
r
pe
n
t
e
r
v
a
lidation/sm_
i
mplied8
.
c: update
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
an Carpent
e
r
func
t
ion_hooks:
u
se __set_sm_cur_stree
(
) in db_
r
e
t
urn_states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan
Carpenter
states: only set the fake_stre
e
in se
t
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
i
m
plicati
o
ns: use stored_condit
i
ons
the de
f
ault fall
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpe
n
ter
implied
:
un
b
reak assign_ra
n
ged_functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n Carp
e
nter
state
s
:
del
e
te an unuse
d
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
arpenter
imp
l
ied: fix
P
ARA
M
_
L
IMIT im
p
l
icat
i
ons
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpe
n
t
e
r
implied: fa
l
l
out fro
m
fa
k
e_cur
_
stree
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Da
n
Ca
r
pe
n
ter
rea
l
_absolute: += and = are not the same
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan
C
arpenter
states: __set_
s
m
_cur_stree() sho
u
ld n
o
t
c
hange the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
D
a
n Carpent
e
r
states: setting the true state doesn't set t
h
e cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Car
p
enter
implied: fi
x
a bu
g
handling PARAM_LIMIT
i
mpl
i
cat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
r
p
enter
vali
d
atio
n
: add sm_impossible2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next