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
function_hooks: integrate call_implies hooks with the db
2016-05-31
Dan
C
arpen
t
er
function
_
h
ooks: in
t
egrate call_impli
e
s hooks with the
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
ente
r
slist:
mangle
t
he line number of merg
e
d states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
sizeof_param: remov
e
read_ro
m
(
)
from che
c
ked
f
un
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpe
n
ter
create_db: delete so
m
e duplicate entre
e
s from
f
unction_ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rp
e
nte
r
re
a
l_absolute: don't st
o
r
e
w
hole
ranges for no r
e
ason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
struct_assi
g
nment: pull split_
f
ake_
e
xpr() into
i
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
db: limit the amount of data
i
n type_value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an
Car
p
e
n
t
e
r
extra: handle if (IS_ERR(foo
[
bar
]
)) {
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpenter
db: in
t
ro
d
uc
e
get_param
_
name_var
_
s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
i
m
plied: h
a
nd
l
e chunks i
n
s
wi
t
c
h
stat
e
ments like s
w
itch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
ext
r
a: don't mark all ar
r
a
ys as dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpenter
helper: creat
e
an alloc
_
state_
e
xpr() help
e
r function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpente
r
whitespace: remove some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n C
a
rpenter
ex
t
ra: remove un
u
sed func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
enter
locking: add more im
p
ossible handli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Ca
r
p
enter
d
b
: remove
s
ome extra
s
e
mi-c
o
lons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
en
t
er
ranges: remove an un
n
eeded initiali
z
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n
Carpenter
return
s
: pro
v
ide
a s
p
li
t
out list of all the retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
retur
n
s
: add
g
et_all_
r
e
turns_
s
tates() fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
mo
v
e freeing t
o
A
F
TER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Car
p
enter
db: constify some
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
extra:
add missing incl
u
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
e
xtra: don't ove
r
write no
n
-null p
o
inters becau
s
e of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
extra: fix handli
n
g of "if (fo
o
& 0x3210) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan C
a
rpenter
p
a
r
am_set: i
n
troduce param_was_set_v
a
r_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
an
Carpenter
impossibl
e
:
h
and
l
e switch stat
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carp
e
nter
impos
s
ible: don't ov
e
rwrit
e
the
i
mp
o
ssible state b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Car
p
enter
i
m
plied: hand
l
e implication
s
for if (
(
{whatever;
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carp
e
nter
slis
t
: create is_leaf() function which i
s
the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpe
n
ter
r
a
nges: use sign
e
d ty
p
e for n
e
gative ints
l
ess than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Carp
e
nter
db/k
e
rnel
.
ret
u
rn_fixes
regmap_bulk_read() returns ne
g
ati
v
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
an Carpente
r
ranges: fix a bug
i
n rl_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
D
an
C
arp
e
nte
r
sval, type
:
make some functions
inl
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
D
a
n Carp
e
nter
impl
i
e
d
: fix a
n
old implicati
o
n
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Da
n
Car
p
enter
imp
l
ied: r
e
move unused add_pool() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
ar
p
enter
implied:
pass sm_states instead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan
Carpent
e
r
i
m
plied: fix
a
type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpent
e
r
im
p
lied: update some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
impl
i
ed: cre
a
te fake implication
h
istory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpen
t
er
states: t
w
ea
k
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an Carpenter
states: print debug out
p
ut
i
n __s
e
t_tru
e
_false_sm(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Carpenter
implied:
overwrite s
m
atch_
e
x
t
r
a usi
n
g implied st
a
tes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
er
ranges
,
extra
:
move and
export
s
plit_co
m
parison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Car
p
enter
slist: remove unuse
d
__
s
et_tru
e
_false_if_not_
a
lr
e
ady_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nt
e
r
d
b
:
make a fi
l
e
kernel
.
return_
f
ixes for up
d
a
t
ing return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
flo
w
: merge multiple case sta
t
ement
s
in a row together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
helper: use
.
instead of ->
for more
v
a
r
i
a
b
les
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an
Car
p
e
n
ter
param_set: remove
an unnneeded variabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
extra:
p++ should clear the states for *
p
or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
ter
math: handle __buil
t
in
_
t
ypes_com
p
atible_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpe
n
ter
flo
w
: split ca
s
e st
a
te
m
ent handling
into its own
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
e
r
implied: repla
c
e __
g
et_implied_valu
e
s() with get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow:
f
ix bug i just introduced
w
ith known switch s
t
ateme
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
debug: pri
n
t the max size for __sm
a
tch_buf_size
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
deb
u
g: i
n
clude ->
p
oss
i
ble
a
nd absolute in
_
_smatch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpenter
implied: remove un
n
e
c
essary initial
i
zation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
param_cleared: strip away
ca
s
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carp
e
n
t
e
r
ranges: make f
i
lter_
t
op_rl() take a range_li
s
t fi
l
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shuffle case sta
t
e
m
ent h
a
ndli
n
g a
r
ound
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arp
e
nter
implied: split the __implied_case_stre
e
() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
penter
extra: white space clean
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
imaginary_absolute: it's like smatch_extra
.
c
f
or im
p
oss
i
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpen
t
er
implied
:
r
e
move
s
om
e
d
uplicat
e
lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpe
n
ter
extra
:
r
e
m
o
ve an
o
bsolete
c
om
m
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
Carpe
n
ter
extra: sp
l
it hand
l
e
_
c
o
m
pa
r
i
s
on()
i
nto two
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db
:
ig
n
ore u
n
rea
c
hab
l
e re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan
Carpe
n
ter
db: split returns in
to NULL and non
-
NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpen
t
er
d
b
:
r
emov
e
p
o
intl
e
s
s
r
eturn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
db: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
hooks: rename CALL_HOOK_AFTER to C
A
LL_HOOK_
A
F
T
ER_
D
B
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Car
p
enter
untracked
_
p
aram: handle inli
n
e calls
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
flow: doen't re
s
et loop_cou
n
t for in
l
ine fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Car
p
enter
impl
i
ed:
use
t
he correct type for con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
D
a
n C
a
rpenter
scope: delete out
o
f sc
o
pe
v
ariables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
valid
a
tion/sm
_
chunk2
.
c: u
p
date validation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
d
b: revert a "speedup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
re
a
l_ab
s
olute
:
tur
n
t
h
is co
d
e o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
e
n
ter
err_ptr
_
deref:
complain about dereferences inside
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpenter
return
_
efault:
c
omplain abo
u
t
"r
e
turn copy_fr
o
m
_
user();"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
buf_si
z
e: sa
v
e size
o
f fi
x
ed arrays that are retur
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
m
o
dificat
i
on
_
hooks
:
remove a
n
u
n
n
eed
e
d var
i
ab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Ca
r
penter
slist:
make merge_
s
ta
t
e
s
(
)
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
states: make deb
u
g out
p
ut
more cons
i
stent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Ca
r
penter
hooks
:
p
ut each type
of hook into it's own a
r
ray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
.
gitignor
e
: add
.
gdb_history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpen
t
e
r
stored_conditions: white sp
a
c
e change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Car
p
enter
math: prefer real
_
absolute_va
l
u
e to the db value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpent
e
r
impl
i
ed: remo
v
e a blan
k
lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpe
n
ter
c
o
n
dition
s
: bug in condi
t
ion assignments lik
e
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
r
penter
impossi
b
le: handl
e
assignment
c
o
n
ditions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
st
r
ing
_
condit
i
on: don'
t
complain
about TRACE_EVENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an C
a
r
p
e
nter
funct
i
o
n_hooks: handle
r
eturs that don't set
a state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
d
b
: don't use spli
t
_su
c
c
ess_fail if
it doesn't
r
eturn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
db: fix bu
g
in pr
i
nt_struct_
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: for
i
m
possible returns just do
the simp
l
est
thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: us
e
real_absolute val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
a
n Carpenter
ex
t
ra: improve arra
y
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
C
arpenter
sma
t
ch: add a --time option
t
o print how long smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
f
low: h
a
ndle "
*
p++
=
foo" bet
t
er
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
flow
:
fix insid
e
_lo
o
p() with inline
fu
n
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next