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
ranges: rename free_range_list() to free_rl()
2013-01-11
Dan Ca
r
pent
e
r
ranges:
re
n
am
e
free
_
ra
n
ge_list() to fr
e
e
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpenter
ranges
:
r
e
name get
_
implied_ran
g
e_lis
t
()
t
o
g
et_implied_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
en
t
e
r
ranges: re
n
a
m
e pus
h
_range_list
(
) and f
r
i
e
nds to push_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
ranges: rename
range
_
li
s
ts_equiv() to r
l
_e
q
u
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carp
e
nter
range
s
: rename
p
o
s
sibly_t
r
ue_rang
e
_lists()
to poss
i
bly_true_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
ranges:
shuffle smatch_extra
.
h arou
n
d
so
m
e more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpenter
range
s
: rename true_compariso
n
_r
a
nge_l
r
() to true_c
o
mparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
ter
ranges: rena
m
e parse_
v
al
u
e
_
ranges_t
y
p
e() to str_to_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpente
r
r
anges: rename alloc_range_list()
a
n
d fr
i
ends
t
o alloc_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ran
g
es: shuf
f
le stuff around
i
n t
h
e h
e
ader file
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
enter
ranges: rename rang
e
_
l
ist_uni
o
n() to rl_union()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
mis
s
ing_break: fix a seg
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carp
e
n
ter
siz
e
o
f
:
s
i
zeof(ptr *
n
r_ptrs)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpente
r
sizeof: check for
sizeof(sizeof())
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
e
n
ter
s
i
z
e
of: finish renamin
g
p
rocess
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpen
t
er
sizeof: mv ch
e
ck_si
z
eof
_
poin
t
er
.
c check_sizeof
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
ter
token_s
t
ore: sp
l
it out first_token_from_l
i
ne() in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
*new*
c
h
eck_
m
issing_break
.
c: check for fal
l
through
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-10
Da
n
Carpenter
type: get_membe
r
_type_from_key() s
h
o
u
ld take an expr
e
ss
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-09
Dan
C
a
rpenter
param_limit: don't print empty st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
r
pent
e
r
parse: ad
d
"__re
s
trict__" keyword
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
ranges: s
m
all speed up in range_l
i
s
ts_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
db: make typ
e
_sc
h
e
m
a a
b
it sma
l
ler
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
enter
gen_paholes
.
s
h: Do
n
'
t do anyth
i
ng i
f
the necessary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
ente
r
ex
t
ra:
d
o
n
't over write cro
s
s func
t
ion val
u
es from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
r
penter
d
b:
e
xtra
:
param_limit/filter/set: redo
v
alue tracing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan
Carpe
n
ter
ext
r
a
:
create a callb
a
ck for when smatch_extra changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-08
Dan Ca
r
p
e
nter
extra: create set_extr
a
_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpente
r
db
:
f
ixup p
r
inting return i
n
f
o for difficult to sp
l
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpenter
math: h
a
ndl
e
ORs better in ha
n
dle_logical()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-19
D
a
n Ca
r
p
e
nte
r
extra
:
cal
l
set_extra_mod() from set_extr_expr_mod(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan
C
arpenter
db: han
d
le unchanged return_sta
t
es better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
D
a
n
Carpenter
param_limit:
f
i
x
r
e
ad beyond end of array (
s
egfa
u
lt)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-18
Dan Car
p
enter
signed: hand
l
e
i
t
when the t
y
pe
is unknown
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
d
b:
make some varcha
r
decala
r
ations smaller
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
signed: remov
e
some debug
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan
C
a
r
p
e
n
ter
db: make the size limit for the database
l
ar
g
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-15
Dan Car
p
enter
p
aram_li
m
it: don't pri
n
t unneeded info
r
mati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
n
ter
d
b: remo
v
e return_implies
t
ab
l
e
and related co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpe
n
ter
smatch_param_limi
t
: extra: store pa
r
amet
e
r implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
db: print
r
eturn_states information in a more detai
l
ed way
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
implied: introduce overw
r
i
t
e_state
s
_using_po
o
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
s
t
ates
:
fix __set
_
sm() when a fake_
c
ur_slist is being
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
function_hooks: add some call
s
to __unnullify_
p
ath()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Car
p
enter
ranges: introduce rl_inve
r
t(),
r
l_
f
ilter()
and r
l
_i
n
tersectio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
extra
:
fix a bug in how pointers a
r
e
set
i
nside called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Ca
r
penter
estate: intr
o
d
uce get_implied_estate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpent
e
r
e
xtra: estate: move merge_estate() from extra to e
s
tate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nte
r
ex
t
ra: parse asm
and unops after everyone else is finis
h
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
po
i
n
ter_math
:
check for (int
*
)p +=
sizeof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpe
n
ter
tr
e
ewide: fix some memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n
C
arpenter
Revert "con
s
traints: fix bug in re
m
ove_
f
rom
_
equi
v
()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Ca
r
pent
e
r
slist: fix some debug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpen
t
er
sli
s
t: compile err
o
r
in
d
e
b
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
cons
t
ra
i
n
t
s: fix
a
memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
con
s
t
raints: f
i
x bug in remove
_
from_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
co
n
s
t
r
aints: u
s
e cmp_relation()
inste
a
d
of
custom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
D
a
n Carpe
n
t
er
conditions: rework __is_c
o
ndition_assign()
=> i
s
_co
n
d
i
tion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: remove
g
et_return_
i
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
pars
e
_call_math: update to new return_states AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
user_da
t
a
:
m
o
ve to
the r
e
t
u
rn_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
ex
t
ra: move return_value_param to the n
e
w
return_stat
e
s API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
p
enter
states: i
n
troduce
g
et_all_state_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
d
b: call return_states at the e
n
d of the func
t
ion if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Car
p
enter
db: fix return
ranges for
the return_
s
tates
c
allbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
change pri
n
t
_return
e
d_struct_me
m
b
ers() to n
e
w API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
db: int
r
od
u
ce add_r
e
turne
d
_state_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpente
r
db:
pa
s
s the
r
eturn_
i
d
to the
s
tr
u
c
t m
e
mb
e
r callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
m
o
dification_hooks: hand
l
e inline assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info: der
e
fe
r
ences_param:
print the derefere
n
ces even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Ca
r
penter
db: handle glo
b
al f
u
nction assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra:
i
nfo: don
'
t
print empty
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Ca
r
penter
abs
o
l
ute
:
use get_
i
mplied_min(
)
i
n
stea
d
of get_implied_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Car
p
en
t
er
e
xt
r
a
:
sa
v
e m
o
re modified point
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpenter
db: change smdb_
r
e
t
urn_info
.
sh to
s
m
d
b
_
return_values
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
n
ter
extra: db:
record when
p
eople mod
i
f
y
p
o
int
e
rs
pass
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpente
r
ex
t
r
a: move --info hooks
l
ater
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Car
p
e
n
ter
db:
move
f
ree_s
l
ist() inside the loop and fix
a
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpente
r
helper: intro
d
uce get
_
param_num_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan C
a
rpenter
db:
save struct
member v
a
lues
a
cross returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Carpen
t
e
r
t
ype: rename get_p
a
r
am_type
_
from_key(
)
=> get
_
member_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
an Ca
r
penter
flow: i
m
plied: fix how switch statements are
h
a
n
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
generisize
.
pl: remove u16max an
d
frien
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
p
enter
extra: t
w
eak handling of
a
b
s
o
l
ute min/max
in comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
m
a
th: ignore
fuzzy
maxes t
h
at are type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: overflow i
m
plies that there is no fuzz
y
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Car
p
enter
math: o
v
erflows in har
d
max a
r
e undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extr
a
:
h
andle
loops where
w
ithout a hard
max t
h
at don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
extra:
clear hard max if
we are falling back
t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: ge
t
max co
r
rec
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
extra: set hard max correctly i
n
loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
ex
t
r
a
:
if (unsigned >=
uns
i
gned) {: Always tru
e
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
m
ath: check for overflows
when calculatin
g
t
he
max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
conditions:
p
res
e
rve the t
y
pe in s
e
lect assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
type: cle
a
np get
_
member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
C
a
rp
e
nte
r
e
x
tra: typ
e
: get the
m
ember type when
loadin
g
values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
d
e
bug: add
_
_smat
c
h_debug_implied_on/of
f
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pente
r
debug: intro
d
uce local_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tr
a
: reverse ma
x
()/min() t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpe
n
ter
sval: handle
canonical
for loops d
i
ffe
r
ently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next