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
all: rename expr_to_str_complex() to expr_to_str()
2013-01-22
D
an Carpenter
all:
r
ename ex
p
r_to_str_c
o
m
p
le
x
() to expr_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpente
r
smatch: rename expr_t
o
_
s
tr() to e
x
pr_to
_
var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
m
issing break: onl
y
print one
messag
e
per switch
s
tatement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
Dan Carpenter
e
x
tra:
g
et rid of d
a
ta_type enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
Dan Carpenter
debug: add
_
_
s
match_c
o
m
p
a
re(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Dan Car
p
enter
math: imp
r
ove get
_
implied
_
rl()
i
f
o
n
ly the max is kno
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Da
n
C
a
rpe
n
ter
sval: intro
d
uce sval_
m
in/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpenter
s
match_comparison: store ho
w
two varia
b
les
c
ompare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Car
p
e
nter
slist: f
i
x alignment in alloc_sn
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpenter
valid
a
ti
o
n: update
a
co
u
ple scripts with missing br
e
ak
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Car
p
en
t
e
r
Makefile: fi
x
b
u
i
ld error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpent
e
r
equiv: get rid of th
e
->op member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
D
an C
a
rpen
t
er
equiv:
u
pdate
s
ome c
o
mments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
D
a
n Carpenter
constr
a
ints: equiv
:
rename
s
m
atch_
c
onstraints
.
c to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
Dan Carpenter
ran
g
es: rename
show_ranges() to show_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
smatch
:
int
r
oduce expr_to_str_complex()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
smatch: introduce e
x
pr_to_
s
tr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arp
e
nter
s
m
atch:
r
ename get_variable_
f
rom_
e
xpr()
t
o
expr_to_st
r
_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
s
ma
t
c
h: rename g
e
t_variable_from_exp
r
_complex()
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
penter
e
xtr
a
: shuffle smatch
_
extra
.
h a
r
ound some mo
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Ca
r
pe
n
ter
est
a
te: rename
f
ilter_range()
t
o es
t
ate_filter_r
a
nge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpente
r
estate: rename e
s
ta
t
e_ran
g
es
(
) to estat
e
_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
penter
es
t
ate: rename is_
w
hole_ra
n
g
e
() to estate_is_who
l
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
C
arpenter
es
t
a
t
e: ren
a
me extra_u
n
d
efined()
t
o
alloc_estate_whole()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
es
t
ate
:
rename alloc_estate_range_list() to alloc_esta
t
e_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: rename alloc_estate() to alloc_estate
_
sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carp
e
nter
estate: shuffle stuf
f
a
r
ound
in
t
h
e header file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
enter
ranges:
r
ename free_range_list
(
) to fre
e
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carp
e
nter
r
a
nges: rename get
_
implied
_
range_list() to ge
t
_implied_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carp
e
nter
range
s
:
rename push_ra
n
ge_list() a
n
d friends to push_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
rang
e
s: rename r
a
nge_lists_equiv() to rl_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ran
g
es: rename possibly_
t
ru
e
_range_lists() to
p
ossibly_true_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
range
s
: shuffle smatch_extra
.
h around some
m
ore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
penter
r
anges:
r
ename true_compar
i
son_range
_
lr() to true_
c
omparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpenter
ranges: rename
p
arse_value_ranges_type() to str_to_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges: renam
e
alloc_range_list() and fri
e
nds to alloc_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
ra
n
ges: shuffle stuff around
in the header fil
e
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
ter
ranges: rename range
_
list_union
(
) to rl_union()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arpenter
mi
s
s
i
ng_break:
f
i
x a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpent
e
r
sizeo
f
:
size
o
f
(
ptr * nr
_
ptrs)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
sizeof: check for si
z
e
of(s
i
zeof())
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arpenter
siz
e
of: finish renaming pro
c
ess
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
e
nter
si
z
eof: mv check_si
z
eof_point
e
r
.
c check_sizeof
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
en
t
er
token_
s
tore
:
split out first
_
tok
e
n_from_line()
int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Car
p
enter
*new* check_missing_b
r
eak
.
c: check
for f
a
l
l
through
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-10
Dan
C
arpe
n
ter
t
y
pe: get_member_type_
f
rom_key() sho
u
ld ta
k
e
a
n expre
s
sion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-09
Dan
Carpente
r
param_limit: don't print empty
sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
Carpenter
parse: add "__res
t
r
ict__" keyword
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
enter
ran
g
es: small speed up in rang
e
_lis
t
s_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
db: make type_schema a bit smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
gen_
p
ah
o
les
.
sh
:
D
o
n't do anythi
n
g if the necessary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an Carpenter
extra: do
n
't over write
cross
function values from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
db: extra:
p
aram
_
limit/filter/set:
redo value tr
a
cing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpente
r
extra: create
a
callba
c
k for
when smatch_e
x
tra ch
a
nges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
a
n
C
arpenter
extra:
c
reat
e
set
_
ext
r
a_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
D
an Carpenter
db: fixup
printing return info f
o
r
d
iff
i
cult to split
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpen
t
er
math: handle ORs better in handle_lo
g
ical()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
Da
n
Carpe
n
ter
extra: call set_extra_mod()
from set_extr_expr_m
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan
C
a
r
penter
d
b
: ha
n
dle un
c
hanged return_sta
t
e
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpenter
param_limit: fix read beyo
n
d
end of array (s
e
gfau
l
t)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
D
an Car
p
enter
signed: handle it when the type is unknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
D
an
C
arpenter
db: ma
k
e some varchar decalarations smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpe
n
ter
sign
e
d: remove s
o
me debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
db: make the size l
i
m
i
t for the datab
a
se larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpen
t
er
param_lim
i
t
:
don'
t
print un
n
eeded informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
db: r
e
move return_implies
tab
l
e and related code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
s
match_param_limit: extra: st
o
re par
a
meter implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
db: print return_stat
e
s inf
o
rma
t
ion in a more detailed way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
implied: intro
d
uce over
w
rite_st
a
t
es_using_pool
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
e
nter
states: fix __set_sm() when a fake_cu
r
_s
l
ist is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
functi
o
n
_
hooks: add some c
a
ll
s
to __unn
u
l
l
i
f
y
_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pent
e
r
ranges:
i
n
troduce rl_inve
r
t
(
)
,
r
l_fi
l
ter() and
r
l_intersection
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
e
x
t
ra: fix a bug in ho
w
p
o
inters are set insi
d
e call
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
e
state
:
introduce get_impli
e
d_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
e
xtra: estate: move merge_estate() fr
o
m extra to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
extra:
p
a
rse asm and unops af
t
er everyon
e
else
i
s finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Ca
r
penter
p
oin
t
er_math: check for (
i
n
t
*)p +
=
siz
e
of(int
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
treewide: fix som
e
memory
l
eaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carp
e
nter
Revert "constrain
t
s: fix bug in remove_from_
e
quiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
pent
e
r
s
list: fix some d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpent
e
r
slist:
c
ompile e
r
ror in debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix
a mem
o
ry le
a
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Car
p
enter
constra
i
n
t
s:
fix bug in
r
emov
e
_
from_e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
e
nter
con
s
traints: use c
m
p_relat
i
on() inste
a
d o
f
c
ust
o
m
code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Da
n
Carpenter
condit
i
o
ns: rewor
k
_
_is_c
o
ndition_assig
n
() =>
i
s_condit
i
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: remove get_return_
i
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
p
a
rse_call_math: u
p
date
to new return_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
user_data: move
t
o the
return_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
extra
:
move re
t
u
rn_valu
e
_par
a
m
to the
new re
t
urn_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
states: introduce get_all_st
a
t
e_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
e
nter
db:
ca
l
l re
t
ur
n
_
states at the end
o
f the function
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
fix return range
s
f
or the re
t
urn_states callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
db: ch
a
n
g
e p
r
i
n
t_returned_s
t
ruct_members() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b
:
i
n
troduc
e
add_returned_st
a
te_callb
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Carpent
e
r
db
:
pa
s
s
t
he retur
n
_
id to th
e
st
r
uct me
m
b
e
r callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpe
n
ter
m
odif
i
cat
i
o
n
_hooks: han
d
l
e
i
nlin
e
as
s
embly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
info: dereferences_par
a
m: print the
dereferences e
v
en
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: ha
n
dle g
l
obal function assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
e
x
tra:
i
nf
o
: don't prin
t
empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
a
n Carpenter
absolute: u
s
e
get_implied_mi
n
(
)
instead of
get_i
m
plie
d
_v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next