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
extra: parse asm and unops after everyone else is finished with them
2012-12-14
Da
n
Carpenter
extra: parse
asm an
d
unops a
f
ter
e
ver
y
one
else is finished
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pente
r
po
i
nter_m
a
th: c
h
eck
for (int *)p
+
= si
z
eof
(
int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan
Carpenter
treewid
e
:
f
ix some m
e
mory
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
C
a
rpenter
R
e
vert
"
const
r
aints: fix bug in remove_from_equiv()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
s
l
is
t
: fix
s
ome deb
u
g code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carpenter
slist: compile er
r
or in debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
enter
constr
a
in
t
s: fi
x
a
m
emory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
c
onst
r
aints: f
i
x bu
g
in remove_from
_
e
q
uiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
constraints: use cmp_re
l
ation
(
)
instead of custom
code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
D
a
n
C
arpenter
co
n
d
itions: rew
o
rk __is_co
n
d
i
tion_assi
g
n() =
>
i
s
_condition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpent
e
r
db: remo
v
e get_return_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_
c
all_
m
ath: update t
o
new
return_states
A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpe
n
ter
user_data:
m
ove to the
return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
extra:
move return
_
valu
e
_para
m
to the new return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carp
e
nter
states
:
introduce get
_
all_s
t
ate_slist(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an
C
arpenter
db: c
a
ll return_
s
tat
e
s at
the end o
f
the function if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
db: fi
x
retu
r
n
ra
n
ges for the return
_
states callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
db: c
h
ange
print_ret
u
rne
d
_struct_memb
e
rs(
)
to new API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpenter
db: introdu
c
e add_returne
d
_state
_
callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: pa
s
s
t
he return_
i
d to the st
r
uct me
m
b
e
r
cal
l
b
a
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
modification
_
hooks: ha
n
d
le inline assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
info:
derefer
e
nces_
p
ar
a
m: print the der
e
ferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carp
e
nte
r
db:
h
a
ndl
e
global f
u
nction assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpen
t
er
extra: inf
o
: do
n
't print
emp
t
y states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan C
a
rpenter
absolu
t
e: use get_impli
e
d_min() instead of ge
t
_
i
m
p
lie
d
_value(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan
Carpenter
e
x
t
ra: save more modi
f
ied
point
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
C
a
rpenter
db: chan
g
e
smdb_
r
e
t
urn_info
.
sh to smd
b
_return_
v
al
u
es
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra:
db: rec
o
rd when people mo
d
ify pointers passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: move --
i
nfo hooks
later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
db: move f
r
ee_slist() inside
t
he l
o
op an
d
fix a memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
Carp
e
nter
helper:
i
ntroduc
e
g
e
t
_param_num_from
_
s
y
m(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db
:
save
stru
c
t m
e
mb
e
r values across retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpent
e
r
t
y
p
e: rename
g
et_param_type_
f
rom_key(
)
=> g
e
t_member_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
flow: implied:
f
ix ho
w
swit
c
h statement
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
generisize
.
pl:
remove u16max and friends
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
extra:
twea
k
ha
n
dling
o
f absolute
mi
n
/m
a
x
in com
p
aris
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ignore
f
uzzy
m
axes that are type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: overfl
o
w implies that there i
s
no fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpenter
math: overflows in hard m
a
x a
r
e undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpenter
extra: ha
n
dle loops where without a
hard max that don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpent
e
r
extr
a
: cl
e
ar hard max if we are falling back to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: get
max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Car
p
ent
e
r
extra: set
h
ard max
correctly i
n
loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
C
a
r
pe
n
ter
ext
r
a: if (unsigned
>
= unsigned
)
{: Alway
s
t
ru
e
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpente
r
m
ath: check for
over
f
lows w
h
en calculating the max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
conditions: preserve the ty
p
e in s
e
lect assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
t
ype: clea
n
p get_me
m
ber_s
y
mbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Car
p
enter
e
x
t
r
a: type: get the member
t
ype wh
e
n
l
oading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpen
t
er
debug: add __
s
match_debug_implied_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arp
e
nter
d
e
bug:
intro
d
uce
l
ocal
_
debu
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
ent
e
r
extr
a
: reverse max
(
)/min()
t
est
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval:
han
d
le canonical
f
or loops d
i
ff
e
r
e
ntly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Ca
r
penter
sval: conve
r
t SHRT_
M
AX to s16max
i
n
t
h
e output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
C
a
rpenter
fu
n
ction_hooks: consid
e
r the r
e
turn type
of th
e
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n
C
arpenter
extra:
r
emove
s
ome
dupli
c
ate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpenter
mat
h
: ch
a
nge how
MOD operatio
n
s are
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpenter
math: count some more thi
n
gs a
s
impl
i
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
a
r
p
enter
e
x
t
ra: type: mov
e
get_arge_type() to smatch_
t
ype
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpe
n
ter
extra:
math: move get_im
p
lied_ran
g
e_list() t
o
smatch_math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
sva
l
: extra: get
_
im
p
lied_
r
an
g
e
_
list(
)
r
e
turn whole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sc
r
ip
t
s: trace p
a
rams use 4 spa
c
e
indents consiste
n
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: m
a
t
h
:
fix get_va
l
ue() for !f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
check_sizeof
_
pointer: complain ab
o
ut sizeof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
hooks: add a
S
I
ZEOF_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pen
t
er
sval: make cast
_
rl() preserve thin
g
s be
t
ter across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sv
a
l: type
:
handle
type_bits() for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l: type: use
type
_
bits() t
h
ro
u
gh out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpente
r
sval:
fixup c
a
lls to sv
a
l_cmp_va
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
n
te
r
sval:
typ
e
: hack select t
y
pe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Ca
r
penter
extra:
remo
v
e debugging o
u
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
sval:
add sval_is_negativ
e
()/positive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
te
r
sval: take the
type
i
nto conside
r
atio
n
w
h
en
d
o
in
g
a
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sval: cast things correctly in
s
v
a
l_
c
m
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assche
sval:
u
n
initi
a
lized v
a
riable
w
ar
n
i
n
g
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
flow: hooks
:
fix MACRO_ASSI
G
NME
N
T_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Ca
r
pent
e
r
flow: hooks:
introdu
c
e GLOBAL
_
AS
S
IGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carpent
e
r
sval: introduce sval_bits_u
s
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
p
e
nt
e
r
type: introduce type
_
b
it
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
M
erge
branc
h
'
sva
l
' in
t
o merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpe
n
ter
sval: ranges: set correct
m
ax in c
a
s
t
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
e
nter
sval: db: ca
s
t pa
r
a
mete
r
s
t
o
t
he
c
orrec
t
type be
f
or
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sva
l
:
extra:
h
andle assignments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an
Ca
r
p
e
nter
sv
a
l:
c
ast the return
t
ypes before ent
e
ring them into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpen
t
er
sval: extra: ty
p
e in
f
or
m
ation wa
s
being lost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval: flip the
s
w
i
tch
a
nd don't use s32min-s32max instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
enter
sval
:
s
igned:
fi
x
validation test and upd
a
t
e
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
validation: signed
:
upd
a
te val
i
dation test to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram San
g
M
a
ke
f
ile: drop superfluous trailin
g
'/'
commit
|
commitdiff
|
tree
2012-11-14
Dan Ca
r
penter
math: cleanup some nami
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
Carpent
e
r
math: add fuzzy_
m
a
x and fuzz
y
_mi
n
to implied_
o
pposite(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
n
t
e
r
sval: math: fix
how negate op
e
rations are h
a
ndle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
an C
a
rpent
e
r
sval: abs
o
lute: f
i
x reversed co
n
dition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpen
t
er
sval:
you'r
e
not allow
e
d to di
v
id
e
LLONG_
M
I
N
by -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
sval
:
fix pars
e
_
v
alue_r
a
n
g
es_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpent
e
r
s
v
a
l: re-introduce sval
_
is_a_
m
i
n
()
s
va
l
_is_a
_
max
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
penter
sval:
don't invent bogus
r
ange in al
l
oc_range
_
help
e
r
_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
p
e
n
t
er
sval:
use
typed version of
parse_v
a
lue_ranges
(
) throughout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpenter
s
va
l
: mo
v
e ca
s
t_rl() into
p
arse_
v
alue_ra
n
ges_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpe
n
t
er
c
lea
n
up: make type the first a
r
gument of sva
l
_cast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
cleanup: math: rename a variable fr
o
m "tmp_ret" to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next