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
sval, type: make some functions inline
2016-04-22
Dan Carpenter
sval
,
type: make some functio
n
s inl
i
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
imp
l
ied: fix an ol
d
impl
i
cation b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
a
r
p
enter
implied
:
remove unus
e
d add_
p
o
o
l() fu
n
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
penter
impl
i
ed: pass sm_
s
t
a
tes inste
a
d of
p
ools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
impl
i
ed: f
i
x a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpent
e
r
implied: update so
m
e
debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
pente
r
imp
l
i
ed:
c
reate
fake implication
history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpe
n
ter
states: tweak debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carpenter
states:
p
ri
n
t debug
o
u
t
put
i
n
__set_tr
u
e_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
i
m
plied: overwrite smatc
h
_extra using impl
i
ed sta
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ranges, extra: move
an
d
e
x
port sp
l
it_
c
omp
a
rison_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
slist: remove
un
u
sed __set_true_false_if
_
not
_
a
l
ready
_
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
db: make a f
i
le kernel
.
ret
u
rn
_
f
ixes
f
o
r
upda
t
ing
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
f
l
ow: merge
m
ultiple case statemen
t
s in a row together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
he
l
per: use
.
instead o
f
-> for more variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Ca
r
p
e
nter
param_set:
r
emove an unnneeded va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
ex
t
ra: p++ shou
l
d
clea
r
the
states for
*
p or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
math: handle __builtin_types_compatibl
e
_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: split case statement
h
and
l
ing
i
nto its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied
:
replace
_
_
get_
i
mp
l
ied_
v
alues()
with get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
flow: fix bu
g
i ju
s
t in
t
roduced wi
t
h known sw
i
tch statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carp
e
nt
e
r
deb
u
g
: p
r
int
t
he ma
x
si
z
e for _
_
smatch_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpent
e
r
d
ebug: incl
u
de
-
>
possible and absolute in __sm
a
t
c
h_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
imp
l
ied
:
r
emove u
n
n
e
cessary
initializatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
par
a
m_clea
r
ed:
strip away casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
e
nte
r
range
s
: make filter_top_rl() take a
range_list filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
pe
n
te
r
fl
o
w:
s
huffle cas
e
state
m
ent ha
n
dl
i
n
g a
r
ound
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
ar
p
enter
implied:
s
pl
i
t the __implied_c
a
se_str
e
e() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
en
t
er
extra
:
white
spa
c
e cleanu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
imaginary_absolute: it's
l
ike
smatch_extra
.
c for impossib
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arp
e
nter
impli
e
d: remov
e
some d
u
pli
c
ate li
n
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
e
x
t
r
a: remove an o
b
solete comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpente
r
extra: split ha
n
dle_co
m
parison() into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an Carpen
t
er
d
b
:
i
gn
o
r
e
u
nreachab
l
e r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an
C
a
rpenter
db: split returns
i
n
t
o NULL
and
n
o
n
-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
C
a
r
penter
d
b
: rem
o
ve pointle
s
s return
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
db: small
cleanu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
hooks:
r
ename C
A
LL_HOOK_AFTE
R
t
o
CALL_HOOK_AFT
E
R_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan
Car
p
ente
r
untracked_para
m
: ha
n
d
le inline calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
flow:
doen't reset loop_coun
t
for inli
n
e
funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
imp
l
ied: use th
e
correct type fo
r
c
o
nditio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
s
c
o
pe: delete out of scope variable
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
vali
d
ation/sm_c
h
u
n
k2
.
c: u
p
date
validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
nter
db: re
v
ert a "speedup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n Carpent
e
r
real_
a
bsolute: turn this cod
e
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
enter
e
r
r_ptr_deref:
complain about de
r
e
ferenc
e
s inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpente
r
re
t
urn_efault:
com
p
lain about
"return copy_from_us
e
r();"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
an Carpenter
buf_siz
e
: save size of
f
i
x
ed arrays that ar
e
returned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an C
a
rpent
e
r
modification
_
ho
o
ks: remove an unneeded vari
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpente
r
slist
:
make
m
e
rge_states(
)
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Ca
r
pent
e
r
st
a
t
e
s
: mak
e
debug output more consistent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
pente
r
hooks:
p
u
t
each type o
f
hook into it
'
s own arr
a
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
.
gi
t
ignore:
add
.
gdb_h
i
s
tory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
st
o
red_cond
i
tions
:
white space cha
n
ge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
enter
math: prefer
r
eal
_
absol
u
te_value to the db value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
r
penter
implied: remove a blank
l
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Car
p
e
nter
cond
i
tion
s
: bug i
n
con
d
iti
o
n
a
s
s
i
g
nments li
k
e f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpenter
impo
s
sible:
h
a
n
dle assignment cond
i
ti
o
n
s
b
e
tt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
te
r
s
t
r
ing_cond
i
tion:
do
n
't complain abou
t
TRA
C
E_E
V
ENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpent
e
r
functio
n
_
hooks: han
d
le returs th
a
t don't set a state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
db: don't use spl
i
t_success_fail if it doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpen
t
er
db: fix
bug in print_str
u
ct_members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: for impossi
b
le returns ju
s
t
do
t
he simplest thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
ar
p
enter
extra: use real_absolute values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
ext
r
a: improve array ha
n
dl
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carpenter
s
m
at
c
h: add a --
t
i
m
e option to prin
t
h
o
w long sma
t
ch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carp
e
nt
e
r
flow:
hand
l
e "*p++ =
f
oo" be
t
ter
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
f
low: fix ins
i
de_loop() with
inline
funct
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
D
an
C
arpenter
par
a
m
_
s
et: han
d
l
e array assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan
C
a
r
pe
n
ter
implied: remove buggy code
fo
r
work
i
n
g
around the old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan C
a
rp
e
nter
db/fixup_
k
e
r
nel
.
sh: add k
m
alloc
_
order
_
t
r
a
ce()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan
C
arpent
e
r
d
b/fixup_kernel
.
s
h
:
i
g
n
ore a
l
ot of PCI errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
d
a
t
a/k
e
rnel
.
clears
_
argument:
a
d
d
copy_us
e
r_ge
n
eric()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
D
an
C
arpenter
d
b
:
s
p
lit positive fro
m
negative returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Da
n
C
a
rpenter
e
xpressions: introduce c
o
mpare_e
x
pression
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
impl
i
e
d
:
i
n
t
roduce assume
(
conditi
o
n)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
C
a
rpenter
db: han
d
le pa
r
ameter function point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
states: h
a
n
dle
fake slist proper
l
y wh
e
n
we merge
t
rue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
ter
validation: add a tes
t
for ranged case statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
ter
conditions: big fake state re-
w
ork
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
a
rpenter
a
v
l: remove sig
n
(
)
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
slis
t
:
intro
d
uce type_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Carpenter
conditions: add a N
U
LL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Da
n
C
a
r
penter
im
p
l
i
e
d: revert not alr
e
ady set chan
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpenter
extra: handle pos
t
op increment loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carpenter
type: fix "strange n
o
n-v
a
lue funct
i
on or array" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan
Carpenter
l
e
a
ks: don
'
t reset state
s
t
o the
m
sel
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Da
n
C
arpenter
flow, conditions: handle label sta
t
e
men
t
s correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
d
b: fix a bug in splitting return states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carpenter
Revert "states: only s
e
t the f
a
ke_
s
tree in s
e
t_state()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpe
n
ter
l
o
cking: don't warn about impossible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Da
n
C
a
rp
e
nter
v
alidation
/
sm_implied8
.
c
:
update
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
fun
c
tion_hook
s
: use __set_sm_c
u
r_stree()
i
n db_return_states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
states: only set the
f
a
ke_stree in
set
_
state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpent
e
r
implic
a
tions: use stored_co
n
d
it
i
ons the default fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
impl
i
ed: unbre
a
k as
s
ig
n
_ranged
_
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Car
p
e
n
t
er
states: delete
a
n unus
e
d
f
u
nctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carp
e
nter
implied
:
fix PARAM_LIMIT implicati
o
ns ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n Carpen
t
er
i
m
p
lied: fall out
f
r
o
m
f
a
k
e
_cur_
s
tr
e
e chan
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan
Carpenter
re
a
l_ab
s
olute:
+= and = ar
e
not the same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next