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
parse: add "__restrict__" keyword
2013-01-08
D
a
n Car
p
enter
parse: add "
_
_restrict__" keyword
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan C
a
rpenter
r
anges: small speed
u
p
in range
_
lists
_
e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
C
arpenter
db:
m
ak
e
ty
p
e
_
schema a
bit smal
l
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
gen_paholes
.
sh: Don't do
anything if the neces
s
ary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
e
x
t
ra: d
o
n't over writ
e
cross function
valu
e
s fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an Carpent
e
r
d
b
: extra: param
_
limit/filter/set: re
d
o valu
e
tr
a
cing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Ca
r
penter
extra: creat
e
a
cal
l
back for when smatch_
e
xtra c
h
a
nges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpen
t
er
extra: crea
t
e set_extra_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
D
an Carpenter
db: fixup pri
n
ting return
info for dif
f
icult to split
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpenter
math: handle ORs better in ha
n
dle_logical()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
Dan Carpente
r
ext
r
a
: cal
l
se
t
_extra_mod() from
s
et_extr_exp
r
_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
D
a
n
C
arpen
t
er
db: ha
n
dl
e
unchanged return_states better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpente
r
para
m
_limit:
f
ix read bey
o
nd end of arr
a
y
(segfault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan C
a
rp
e
nter
signe
d
: handle
i
t whe
n
th
e
t
y
pe is unknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpent
e
r
db: make s
o
me
varc
h
ar decal
a
rat
i
on
s
smalle
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
D
an Carpenter
s
i
gned: remove some debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
db: make the size l
i
mit
for
t
he data
b
ase larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
param_limit: don't print unneeded information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
db:
re
m
ov
e
return_implies tabl
e
and relat
e
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Carpenter
smat
c
h_param_limit: ex
t
ra: store p
a
rameter im
p
lications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
db: print return_states in
f
ormation in a more de
t
ailed way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
impli
e
d: introdu
c
e overwrite_state
s
_using_
p
ool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an C
a
rpenter
st
a
tes
:
fix __set
_
sm() when a fake
_
cur_sl
i
st is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
fun
c
tion_hooks: add some calls t
o
_
_
unn
u
l
l
ify_pat
h
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
r
a
n
g
es: introduce rl_invert(
)
, r
l
_f
i
lter(
)
and rl
_
inters
e
c
tion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an
C
a
rpenter
extr
a
: fi
x
a b
u
g
in how pointers are set inside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpe
n
t
e
r
estate: in
t
ro
d
uce get_implied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: estate: move merg
e
_e
s
ta
t
e() from extra t
o
est
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
extra: parse asm a
n
d
unops after everyone else is fini
s
h
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Ca
r
penter
pointer_math:
che
c
k for (int *)p += sizeof(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
treewi
d
e: fix some m
e
mory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
Carpen
t
er
Revert
"
constraints: fix bug i
n
remove_fro
m
_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Carpenter
slist: f
i
x some debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Ca
r
penter
slis
t
:
c
o
m
p
i
le error
in debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
enter
constraints: fix a memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: fix bug in
remo
v
e_from_eq
u
iv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
C
arpenter
c
o
nstr
a
in
t
s: us
e
cmp_relation() instead of
custom
c
ode
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpente
r
conditions: rework
__is_con
d
ition
_
assign() =>
i
s
_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Car
p
enter
db: remove
get_retur
n
_
i
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_
c
all_math
:
update
t
o new
return_stat
e
s API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
rpenter
user_
d
a
t
a: m
o
ve to the return_states AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
ex
t
r
a: move return_val
u
e_pa
r
a
m
to the n
e
w return_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Ca
r
penter
states
:
intro
d
u
ce get_all_stat
e
_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpe
n
ter
d
b
: call re
t
urn
_
state
s
at the end of the function if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
d
b: fix
return ranges for the return_states callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
db: c
h
a
nge
p
rint_ret
u
rned_s
t
ruc
t
_me
m
b
ers() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
db: in
t
roduce
a
dd
_
retur
n
ed_state_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: pass the r
e
turn_id t
o
t
h
e st
r
uct me
m
ber callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
modificat
i
on
_
hooks
:
h
and
l
e in
l
ine assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
in
f
o: dereferences_
p
ara
m
:
p
rint the
d
ereferences
e
ve
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
d
b
: ha
n
dle gl
o
bal function assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carp
e
nter
e
x
tra: info: don't
pr
i
nt empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
ab
s
o
lute
:
use
g
et_implied_min(
)
i
n
s
t
ead of get_impli
e
d_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
C
arpen
t
e
r
extr
a
: save more modi
f
ied pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
db: chan
g
e
s
m
d
b_retur
n
_
i
nfo
.
sh to s
m
db_re
t
urn_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: db: re
c
o
r
d
when
people modify pointers pas
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
xtra: move --info hooks late
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
d
b: mo
v
e free_slist() inside
t
he l
o
op a
n
d fix
a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
Carpe
n
ter
helper:
i
ntro
d
uce get_param_num
_
from_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan
C
a
r
penter
d
b
:
sav
e
str
u
ct
me
m
b
e
r
v
a
lues across re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Ca
r
penter
t
y
pe: re
n
a
m
e g
e
t_p
a
ram_typ
e
_from_k
e
y
(
)
=
> get_member
_
type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flo
w
: implied: fi
x
how swi
t
ch st
a
tements are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpente
r
generisize
.
p
l: remove u
1
6
m
ax and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpent
e
r
extra: t
w
eak han
d
ling of absolute min/
m
ax
i
n
c
om
p
arisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ignore fuz
z
y maxes t
h
at
a
re type_mi
n
() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n
C
arpent
e
r
math: overflow implies that there is no fu
z
zy
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
arpenter
m
a
th: overflows in
hard
m
ax are undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra: handle loops wh
e
re w
i
thout a hard max t
h
at
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
ex
t
ra: clea
r
hard
m
ax if w
e
are falling ba
c
k to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
extra: get max corr
e
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
xtra:
se
t
hard max correctly in loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpe
n
t
e
r
extra: i
f
(
u
nsig
n
ed
>= unsigned) {: Alway
s
true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpent
e
r
m
a
th:
chec
k
f
or overflows when calculat
i
ng the
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
e
r
c
o
ndit
i
ons: preserve the t
y
pe in
s
ele
c
t
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nt
e
r
type: cle
a
np get_me
m
ber_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pent
e
r
e
xtra: type: get the member type
w
h
e
n loa
d
ing values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpe
n
t
e
r
d
ebug: add
_
_sma
t
ch_debug_im
p
l
ied_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: introduce local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extr
a
: reverse max()/min
(
) te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: h
a
n
dle
cano
n
ica
l
f
o
r loops differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
penter
s
val: convert SH
R
T
_
MA
X
to
s16max in
t
he outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Ca
r
pe
n
ter
f
unction_hoo
k
s:
c
o
nsider the re
t
ur
n
t
ype o
f
the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpenter
extra
:
remove
some duplicate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
rpe
n
te
r
m
ath: change how MOD operations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
enter
math: count some more things as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
p
e
nte
r
extra: ty
p
e: move get_ar
g
e_type() to sm
a
t
c
h_typ
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
extra: math: m
o
v
e
ge
t
_
implied_ra
n
ge_lis
t
() t
o
s
match_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
pe
n
t
e
r
s
val: extra: get
_
im
p
lie
d
_range_lis
t
() return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpente
r
s
cripts: tra
c
e params us
e
4 space i
n
d
e
n
t
s co
n
sistentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpent
e
r
sv
a
l: math
:
fix g
e
t_value() for
!
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rp
e
nter
check_sizeof
_
pointer: complain abou
t
sizeof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpe
n
t
e
r
hooks: ad
d
a S
I
ZEOF_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sva
l
: make cast_rl(
)
prese
r
v
e
thi
n
gs
better across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval: type: handle ty
p
e_bits() fo
r
a
d
d
r
e
s
s
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
al: typ
e
:
u
se type_bits
(
)
through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
e
r
sval: fixup c
a
lls to
s
va
l
_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
rpenter
sval: type: hack select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra:
remove debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
s
v
al:
a
dd sval_i
s
_nega
t
ive()/
p
ositi
v
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
take t
h
e type i
n
t
o cons
i
derati
o
n
w
hen doi
n
g an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next