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
db: print less --info for a few problematic functions
2012-12-14
Dan Carpe
n
te
r
ranges: introduce rl_
i
nvert(), rl_fil
t
er() and r
l
_intersection()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra
:
fix 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
Dan
Carpenter
e
s
tate: introduc
e
g
et_
i
mplied
_
est
a
t
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: est
a
te: move merge_estat
e
() from extra to estate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
C
a
rpenter
extra: parse
a
s
m
and unops
a
fter
e
ve
r
yone else is finished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
po
i
nte
r
_math: chec
k
for (int
*)p += sizeof(
i
nt
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n Carp
e
nt
e
r
t
reewide: fix so
m
e
memory leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan C
a
rpenter
Revert "c
o
nstr
a
ints: fix bug
i
n remove_from_eq
u
iv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
rpen
t
e
r
sli
s
t:
fix som
e
deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
slist:
c
omp
i
le error in deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Carpenter
con
s
tr
a
ints: fix a memory
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n C
a
rp
e
nte
r
cons
t
r
a
i
n
ts:
f
i
x bug i
n
remove
_
fro
m
_e
q
ui
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints: use cmp
_
re
l
at
i
o
n
()
instead o
f
cus
t
om
c
o
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan Car
p
enter
c
on
d
itions: rework __is_condi
t
ion_assign
(
) =>
i
s_conditio
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
D
an Ca
r
pen
t
er
db: remove get_retu
r
n_i
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
pa
r
se_call_math: update to
n
ew r
e
turn
_
states AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
user_data: move
t
o the return_
s
tat
e
s API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
e
x
tra
:
move retur
n
_valu
e
_
param to the new
r
eturn_states AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
pe
n
t
e
r
st
a
t
e
s: introdu
c
e get_all_state_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
a
rpenter
db: call
r
e
turn_states at the en
d
of the fun
c
t
ion if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fi
x
return rang
e
s for the return
_
states callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: change print_returned_stru
c
t_members() to
new
AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpe
n
ter
d
b
: introdu
c
e add_r
e
turned
_
sta
t
e_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db
:
pa
s
s the
return_id
t
o the
struc
t
member callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
m
odificatio
n
_hooks: h
a
nd
l
e inlin
e
assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info:
d
ereferences_param: print th
e
deref
e
rence
s
even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle globa
l
f
u
nctio
n
a
s
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
ex
t
ra: info:
d
o
n't p
r
i
n
t
empty
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
absolute: use
get_implied_
m
in() inste
a
d of get_impli
e
d_v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Car
p
e
n
ter
ext
r
a
: save mo
r
e
mod
i
fied point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
arpenter
db:
change smdb_return_in
f
o
.
s
h
to sm
d
b_return_val
u
es
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: d
b
: record w
h
e
n
people mo
d
ify po
i
n
ters passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
en
t
er
extr
a
: move --inf
o
hooks later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpent
e
r
db: move fre
e
_sl
i
st() i
n
sid
e
t
h
e loop and fix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpenter
helper:
introdu
c
e get_p
a
ram_nu
m
_f
r
om_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: save struct member
v
alues acro
s
s returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n C
a
r
penter
type:
rename get_pa
r
am_type_from_
k
ey() => get_member_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carp
e
nter
flow:
i
m
plied: fix how sw
i
tch
s
tatements are hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
gene
r
isize
.
pl: remove u16max
and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
C
arpen
t
er
extra: twea
k
handlin
g
of
absolute min/
m
ax in comp
a
r
i
sons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Ca
r
p
enter
math: ignore fuz
z
y maxes that
a
re type_min
(
) + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
math: ove
r
flow impli
e
s that there
is no fu
z
zy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math
:
over
f
l
o
ws in hard max are u
n
defined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
ex
t
ra: handle loops where
wi
t
hout
a
h
a
r
d max that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
extra: clear
hard max if we are falling
b
ack to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
n
t
e
r
extra: get max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Car
p
enter
extra: set hard max correctly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ex
t
ra: if (unsigned
>
= unsi
g
ned) {: Always true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpen
t
er
math: check for o
v
erfl
o
w
s
when calc
u
lating the max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
conditions: preserve
t
h
e ty
p
e in select assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
C
arpenter
ty
p
e: c
l
eanp
g
et_member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpent
e
r
extra: type: g
e
t t
h
e member type whe
n
loading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: add __smatch_debug_implie
d
_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: intro
d
uce local_debu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
ex
t
ra:
reverse max()/min
(
) test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n
C
arpenter
sval:
h
and
l
e canonical for loops differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpenter
sval: convert SHRT_MAX to
s
16max i
n
t
h
e ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
functio
n
_hooks: consider
t
h
e ret
u
rn type
of
t
he funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpenter
extra: remove so
m
e dupli
c
ate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
mat
h
: change how MOD operati
o
ns ar
e
ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
er
math: count some more things
a
s implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: type
:
move get_arge_type() to smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpente
r
extr
a
: mat
h
: move get_im
p
l
i
ed_r
a
nge_l
i
s
t() to sma
t
ch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
penter
s
v
a
l: extra: get_implied_ra
n
g
e_l
i
st(
)
return
w
hol
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
scripts: t
r
ace para
m
s use
4 space indents consist
e
n
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
s
va
l
: math: fix get
_
va
l
ue() f
o
r
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
chec
k
_sizeof
_
poin
t
er
:
complain abou
t
size
o
f(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks:
a
dd a
S
I
ZEOF_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sv
a
l: make cas
t
_rl()
p
r
eserve things
b
etter across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carp
e
n
ter
s
val: type: hand
l
e ty
p
e_bits(
)
for
a
ddresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
s
v
al: typ
e
:
use type_bits() through out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpenter
sv
a
l: fix
u
p cal
l
s
to sval_cmp_val
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
sval: type: hack sel
e
ct ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
ar
p
enter
e
x
tr
a
: rem
o
ve
d
ebuggin
g
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpenter
sval: a
d
d sval_is_negative()
/
posi
t
ive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sval: take the ty
p
e
i
nto consideration whe
n
d
o
i
n
g
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: cast thi
n
g
s
correctly
in
s
val_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van A
s
sche
sval: uninitia
l
ized va
r
i
able warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks: fix MACRO_ASSI
G
NMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan C
a
rpenter
flow: hooks
:
int
r
oduce GLOBAL_
A
SS
I
GNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n Carpent
e
r
sval:
introduce sval_b
i
ts_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpen
t
er
type: introduce t
y
pe_bit
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
Merge branch 'sval' into
mer
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sva
l
: ranges: set corr
e
c
t
max in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
s
v
al: db: cas
t
parameters to
t
h
e corre
c
t
type be
f
ore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Ca
r
penter
sva
l
: extra:
ha
n
dle as
s
ignments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: cas
t
t
h
e return type
s
before ent
e
r
i
n
g the
m
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
rp
e
nter
sval:
e
x
t
ra: typ
e
i
n
f
ormation
w
as be
i
ng lost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpenter
sval:
f
l
ip the switch and
d
on'
t
u
s
e s32min-s32max i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpen
t
e
r
s
v
al: signed:
fix
v
a
lidation test and update
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
e
nte
r
validation: signed: upd
a
te
v
alidat
i
o
n
t
e
st
t
o
reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wo
l
fram S
a
ng
Makefi
l
e: drop supe
r
fluous trailin
g
'/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
mat
h
: clean
u
p some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Car
p
enter
math: add f
u
zzy_max and fu
z
zy_min t
o
im
p
lied_opposi
t
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
sva
l
: math
:
fix how negate ope
r
ations ar
e
h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
ter
sva
l
: absolute: fix
r
eversed con
d
iti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
ar
p
enter
sval:
y
o
u
're not allo
w
ed to
divide
L
LONG_MIN by -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
C
a
rpente
r
sv
a
l: fix parse_value_ranges_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
Ca
r
p
enter
sval: re-i
n
trodu
c
e s
v
al_
i
s_a_min()
s
val_
i
s_a_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
s
v
a
l: don't inven
t
b
ogus r
a
ng
e
in
a
lloc_range_helper_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next