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
estate: introduce get_implied_estate()
2012-12-14
Dan Carpent
e
r
estate: introduce
get_implied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: estate: move merge
_
e
s
tate() from extr
a
to estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
extra: parse asm and unops
after everyone else is finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpen
t
e
r
pointer_math: check for (int *)p +
=
sizeof(i
n
t
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
C
a
rpent
e
r
tree
w
ide: fix some memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
a
n
C
arpenter
Reve
r
t "constraint
s
:
fix bug
in remove_from_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpent
e
r
sl
i
st: f
i
x some de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
sl
i
st: compile er
r
or in
d
ebu
g
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
e
n
ter
constraints:
fi
x
a memory
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carpenter
constraints: fix
bug in remove
_
from_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
c
onstraints: use cmp_
r
ela
t
io
n
() instead
o
f
c
ustom code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpente
r
conditio
n
s: rework __i
s
_cond
i
tion_assign()
=> is_
c
o
n
di
t
ion
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan
C
arpenter
d
b: remove get_retur
n
_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_call
_
math: update to new
re
t
u
r
n_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Car
p
enter
user_d
a
ta: mov
e
to
t
he return_sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
extra
:
m
o
ve return_valu
e
_param to the ne
w
return_st
a
tes API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
stat
e
s:
i
n
t
ro
d
uce get_all_state_slis
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
d
b
:
c
a
ll return_states at the end of the function if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix retur
n
rang
e
s for
t
he retu
r
n
_
states callbac
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
c
h
a
n
ge prin
t
_
returned
_
s
truct_me
m
bers(
)
to new
A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arp
e
nter
db: in
t
roduce add_returne
d
_
state
_
callback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
db: pass the r
e
turn_id
t
o
t
h
e str
u
c
t
member callb
a
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
mod
i
fication
_
hooks: handle inline assem
b
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
i
nfo:
dereferences_para
m
: print t
h
e
dere
f
erence
s
even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan
Carpenter
db
:
ha
n
dle glob
a
l function assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan
C
arpe
n
te
r
extra
:
info: don'
t
print empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Car
p
enter
absolute: use get_imp
l
i
e
d
_
min() instead
of get_i
m
plied_v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan
Carpen
t
er
e
xtra: save more modified pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: chang
e
s
m
db_return_inf
o
.
s
h to smdb_return_val
u
es
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
arpenter
extra:
d
b: record whe
n
pe
o
ple modify
p
ointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Ca
r
penter
extra: move
--
i
n
fo hook
s
l
ater
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db
:
move fr
e
e_slist() ins
i
d
e
the loop and
fix
a
memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Ca
r
penter
he
l
p
er: introduce get_par
a
m_num_
f
rom_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db
:
save struct member
value
s
across ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpente
r
ty
p
e: rename get_para
m
_
t
yp
e
_from_key(
)
=
>
g
e
t_member_type
_
f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flow: implied: fix how switch
s
tat
e
ments
a
re handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
gener
i
siz
e
.
pl: remove u16max and
f
r
i
e
n
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
t
e
r
extra:
tweak handling
o
f
a
bsolute min/
m
ax in comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
math: ignore fuzzy
max
e
s that
a
re type_min(
)
+
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
ter
math: overflow implies
t
hat
t
here is
n
o fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
math: overflows
i
n hard
max
a
re undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: handle loops
w
here without a har
d
max that don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Ca
r
penter
extra: clear hard m
a
x if
w
e
ar
e
f
a
lling
b
ack to
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
extra:
ge
t
ma
x
correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
xt
r
a
:
set hard m
a
x
c
orrectl
y
in lo
o
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
C
arpent
e
r
e
xtra: if (unsigned >= unsigned) {: Alway
s
true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
mat
h
: check for overflows when
c
al
c
ul
a
t
ing the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
a
rpenter
conditions:
p
reser
v
e the ty
p
e in se
l
ect assig
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type: cleanp get
_
me
m
ber_sym
b
ol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
e
xtra: type:
get the member type when
l
oading values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: a
d
d
__smatch
_
de
b
ug_implied_
o
n/
o
ff(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
deb
u
g: int
r
odu
c
e local_de
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpe
n
t
er
extra: reverse
max()/mi
n
() t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
r
p
enter
sval: handle can
o
nical
f
or loops d
i
fferently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
enter
sval: convert SHRT_MAX to s16max in the
o
ut
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpen
t
er
functio
n
_hook
s
:
consid
e
r the r
e
turn type of the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpent
e
r
ex
t
r
a
: remove some
d
uplicate c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carp
e
nter
math: change how MOD operat
i
ons ar
e
hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Ca
r
pente
r
math: cou
n
t some more
things
as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
extra: type: move
g
et_ar
g
e_type
(
)
t
o smatch_
t
y
pe
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
extra
:
math: mo
v
e get_
i
m
p
lied_range_
l
ist() t
o
s
match_
m
ath
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpe
n
ter
sval:
extra
:
get_impl
i
e
d
_range
_
l
ist()
retu
r
n
w
hole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scripts: trace params use 4 space indents con
s
istently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sval: math:
f
ix get
_
v
a
lue()
f
or !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpent
e
r
ch
e
c
k
_sizeof_pointer: complain about size
o
f(&
f
oo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
ho
o
ks
:
a
d
d a SIZEOF_HOO
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpen
t
er
s
v
al: make ca
s
t_
r
l() preserve t
h
i
ng
s
b
e
tter acr
o
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
s
val: type: handle type_b
i
ts()
for addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
t
yp
e
:
u
s
e type_bits()
through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpen
t
er
s
v
al: fixup calls
to sval_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
Ca
r
p
enter
sval:
type: hack selec
t
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Ca
r
p
e
n
ter
extra:
remove debug
g
ing output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpen
t
er
s
val: add
s
v
a
l_is_n
e
gat
i
ve()/p
o
sitive(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
al: ta
k
e
the
type into consideration wh
e
n doing
an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: cast
t
hings corr
e
ctly in sv
a
l
_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Va
n
Assche
sval
:
uninitialized var
i
able
w
arni
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpenter
flow: h
o
oks:
fix MAC
R
O_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
f
l
ow:
h
ooks: i
n
troduce GLOBAL_AS
S
IGNME
N
T_
H
O
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
Carpen
t
er
sval: intro
d
u
c
e sval_bits_used(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpent
e
r
type: introduce type_bit
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpe
n
ter
Merge
b
ranch 'sval' int
o
merg
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sval: range
s
: set correc
t
max in
cas
t
_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: db: cast
p
a
r
a
m
e
ters to the co
r
rect type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
v
a
l: extra: handle assignmen
t
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: cast the
r
eturn
types
before
entering them into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sva
l
: extra
:
t
y
p
e
i
nf
o
rmation
w
as
b
eing l
o
st in
+
+
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sv
a
l
:
flip the switc
h
and don't
u
se s32min
-
s32max
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: signed: fix va
l
ida
t
i
on test and update format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
va
l
ida
t
i
on: si
g
n
e
d: update v
a
lidation test t
o
r
e
fle
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram Sang
Makefile:
d
rop superf
l
uous trailing '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan
C
arpe
n
t
er
math: cl
e
anup some na
m
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpen
t
er
math: add f
u
z
z
y_max a
n
d
fuzzy_min
to impl
i
ed_
o
pposite
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Ca
r
p
e
nter
s
v
al: m
a
th: fix how
n
egate
ope
r
ations
a
re handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
C
a
rpenter
sval: a
b
solut
e
: fix reversed
c
ondi
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpen
t
er
sval: you're not allow
e
d to
divide LLONG_MIN by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
val: fix par
s
e_
v
alue_r
a
nges_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
e
nter
sval:
re-int
r
oduce sval_i
s
_
a_min() sva
l
_is_a_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sv
a
l: d
o
n't invent bo
g
us range i
n
al
l
oc_range_helper_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpenter
sval: use typed version of pa
r
se_
v
a
lue_
r
a
nges() throughout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carp
e
nter
sval: move cast
_
rl() i
n
to parse_
v
alu
e
_ranges_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next