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
extra: export get_other_name_sym()
2016-06-02
Dan Carpe
n
t
er
extr
a
: export get_other_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpe
n
ter
i
mpossible: add
is_impossible_path() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Ca
r
pen
t
er
d
b: don't c
r
as
h
generatin
g
SQL fo
r
i
n
valid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra
:
f
ix bug handling untrac
k
e
d
p
o
int
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpe
n
t
er
s
t
ruct_assignment: ign
o
re certain types of ass
i
g
nme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n
C
a
rpenter
extra:
d
eferences in fake
a
ssignme
n
ts do
n
't count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
e
x
t
ra:
handle
f
ake assignme
n
ts faste
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Da
n
Carp
e
n
t
e
r
impli
e
d:
i
m
prove
ove
r
write_sta
t
es_u
s
ing_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
implied: ad
d
a c
o
mment explaining
how implicatio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
arpe
n
ter
function_hooks: ch
e
ck P
A
RAM_
L
I
MIT implications all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Ca
r
penter
function_hooks: int
e
grate call_im
p
lies hooks
with the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
slist: mangle
t
he lin
e
number of
m
erge
d
st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpenter
sizeof_param: remov
e
read_rom() from ch
e
cked functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Car
p
ent
e
r
c
reat
e
_db: d
e
lete some duplicate entr
e
es from fun
c
tion_pt
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_absol
u
te: don'
t
store whol
e
ranges for
n
o reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
r
penter
struct_assignment: pull
split_
f
ak
e
_expr() int
o
i
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
db: limit th
e
amo
u
nt of data in type_va
l
ue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Car
p
e
n
t
er
e
xtra: hand
l
e if (IS_ERR(foo[b
a
r]))
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
db: introduce ge
t
_param_name_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
impl
i
ed: hand
l
e chunks
in sw
i
t
ch stateme
n
ts like s
w
itch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n C
a
rpenter
extra: d
o
n't mark all arrays as deref
e
renc
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
h
elper: c
r
eate an al
l
oc_state_expr() he
l
per function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
pent
e
r
white
s
pace: remove some
b
l
ank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra
:
remov
e
unu
s
e
d funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
locking: add more
impossible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpe
n
t
e
r
db: re
m
ove
so
m
e extra semi-colons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
ranges: remo
v
e an
un
n
eeded initia
l
izer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
r
eturn
s
: prov
i
de a split out list of
a
ll the
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns
:
add get_all_retu
r
ns_states()
f
u
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
penter
move f
r
eeing to AFTER_F
U
N
C_H
O
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpe
n
ter
db: co
n
stify some pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpe
n
ter
extra: a
d
d m
i
ssing incl
u
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Car
p
e
n
t
er
extr
a
: don'
t
overwr
i
te non-nul
l
pointers because of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: fix handl
i
ng o
f
"
if (foo & 0x3210) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Da
n
Carpenter
param_se
t
: introd
u
ce par
a
m_was_set
_
var_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
p
en
t
er
imp
o
ssible
:
handl
e
switch s
t
atement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carpenter
i
mposs
i
ble:
d
o
n't ove
r
write the impossible state
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Da
n
Carpenter
impl
i
e
d
: handle implica
t
ions for if
(
({whatever;
f
oo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
a
n Carpenter
slist
:
create is_leaf() function whic
h
is the
o
p
p
o
s
ite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpent
e
r
r
anges: use si
g
ned
t
ype for
n
egativ
e
ints less t
h
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
db/kernel
.
retu
r
n_fixe
s
regma
p
_bul
k
_read() r
e
turns
n
egatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpen
t
er
ranges: fix a bug
in rl
_
in
v
ert
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
sval, ty
p
e: ma
k
e some fu
n
c
t
ions i
n
lin
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: fix an old implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
pent
e
r
imp
l
ied: remove
unused add_
p
ool() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
enter
implied: p
a
ss s
m
_
s
tates instead of po
o
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpe
n
ter
implied: fix a
t
ype
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpe
n
te
r
implie
d
:
u
pd
a
te som
e
debug
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
pe
n
ter
implied:
create fa
k
e imp
l
i
c
ation histo
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpenter
states: tweak de
b
ug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Da
n
Carpe
n
ter
states: print d
e
bug o
u
tput in __set_true_fals
e
_
sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an Carpenter
im
p
lied: overw
r
it
e
s
match_extra usi
n
g imp
l
ied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
r
a
n
ges, extra: move and export split
_
c
o
mparison_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Carpenter
slist: remove un
u
sed
__s
e
t_true_false_if_not_alr
e
ady_s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nt
e
r
db: make a file
k
e
rnel
.
r
et
u
rn_fixes f
o
r u
p
dating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpenter
flow: me
r
ge
m
u
l
tiple c
a
se
st
a
tements i
n
a row togethe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
p
e
nt
e
r
helpe
r
:
us
e
.
inst
e
ad of -
>
for more v
a
riabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an C
a
rp
e
nter
param_set:
r
emove an unnneeded v
a
ria
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
en
t
er
e
xtra: p++ should cle
a
r
t
he states for *p or
p
->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Ca
r
penter
math: handle __buil
t
i
n
_
t
y
pes_compati
b
le_p(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
flow: split case
s
tatement ha
n
dling into
i
ts own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
i
m
plied: replace
__
g
et_implied
_
values() with get_
a
bsolu
t
e_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rpent
e
r
flow: fi
x
bug i
j
ust introduced with kno
w
n s
w
it
c
h
s
tat
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpe
n
t
e
r
debug: p
r
i
n
t the max size fo
r
__smat
c
h_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
C
a
rpenter
debug: in
c
lude ->po
s
sible an
d
absolut
e
in __smat
c
h_abou
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
implied: remove unnecessary
initialization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an
C
a
rpe
n
ter
para
m
_clea
r
ed:
s
t
r
ip a
w
ay casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
r
a
nges: make filte
r
_top_rl() t
a
ke a range_list filter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shu
f
fle
case statement
handling around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
er
implied:
s
plit the __implied_case_stree() into tw
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
extra: white
s
pace cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
en
t
e
r
imag
i
nar
y
_ab
s
o
lut
e
: it's
l
ike sm
a
tch_e
x
tra
.
c for im
p
oss
i
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
i
m
plied: remove some duplicate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
e
x
tra: re
m
ove
an obsolete comm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan C
a
rp
e
n
t
er
e
x
tra: split
h
a
n
dl
e
_
c
omparison() into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpente
r
db:
i
gnore unreachable returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
Carp
e
nt
e
r
db: split returns in
to NULL
a
n
d
non
-
NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
e
n
ter
db: remove pointless return
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpent
e
r
db: small
c
leanu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Ca
r
penter
hoo
k
s: rename
CALL_HOOK_AFTER to CALL
_
HOOK_AFTE
R
_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n
C
arpenter
untracked_param: handle inline calls
bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carp
e
nt
e
r
flow: d
o
en't r
e
set loop_count fo
r
i
n
li
n
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
imp
l
ied: u
s
e the correc
t
type for
c
onditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan C
a
r
p
e
nter
scope:
d
el
e
te out of s
c
o
pe variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Ca
r
penter
vali
d
ation/sm_chunk2
.
c: update va
l
idatio
n
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arpenter
db: r
e
v
er
t
a "speedup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
rpen
t
er
real_absolute: turn
this
c
o
de
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_
p
t
r
_deref: compla
i
n about dereferences
inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpen
t
er
r
eturn_efault: c
o
mplain about "r
e
turn co
p
y_from_
u
ser();
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
a
r
pen
t
er
buf_size: save size of fixed arrays that are returned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
n
ter
modifi
c
ation_ho
o
ks:
remove an unneede
d
va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
ar
p
enter
sli
s
t: ma
k
e merge
_
states() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an
C
arpenter
states:
m
a
k
e d
e
bug output
more consistent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
penter
hooks: p
u
t each
t
ype of hook into it's
o
wn array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
enter
.
gitign
o
re: add
.
gdb_history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpent
e
r
stored_cond
i
tions: whit
e
s
pa
c
e changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an C
a
rpenter
ma
t
h
: pref
e
r
r
e
al_a
b
so
l
ut
e
_value to
th
e
d
b
v
a
lue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
i
m
p
lied: remo
v
e
a b
l
ank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
condit
i
o
n
s: bug in co
n
dition assi
g
n
ments like foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
r
p
enter
im
p
oss
i
b
l
e
:
handle assignme
n
t conditions bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next