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
pointer_math: check for (int *)p += sizeof(int);
2012-12-14
Dan Carpenter
pointer_mat
h
: check
for (in
t
*)
p
+= si
z
eof(int);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan C
a
rpenter
treewide: fix some
m
emory le
a
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
R
ever
t
"
c
onstraints: fix bug in
r
e
move
_
fro
m
_equiv(
)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
r
p
enter
sl
i
s
t
:
f
ix some debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
penter
slist: compi
l
e err
o
r in
debu
g
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
cons
t
ra
i
nts
:
fix a mem
o
ry leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraint
s
: fix bug in rem
o
ve_from
_
equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carpenter
constraints: use cmp_relation() i
n
s
t
ead of cu
s
tom code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
D
an Ca
r
pen
t
er
c
onditi
o
ns: rework __is_cond
i
tion_assign(
)
=>
i
s
_condition
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
D
a
n Carpenter
db: re
m
ove get_return_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
parse_call_math: update to
ne
w
retu
r
n_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an C
a
rpenter
user_data: move t
o
th
e
ret
u
r
n_states A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Ca
r
pe
n
t
e
r
extra: move r
e
turn_value_
p
aram to the ne
w
retu
r
n_stat
e
s API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
states: introduce get_all_st
a
te_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
db:
call return_s
t
a
tes at the
e
n
d
of
the functio
n
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
db: fix
ret
u
rn ranges for the return_s
t
ates cal
l
backs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
C
arpent
e
r
db: change
p
rin
t
_
r
eturned_struct_members()
to new AP
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
C
arpent
e
r
db: introduce add_return
e
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 return_id to t
h
e struct member callback
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
rpenter
mo
d
ificatio
n
_hooks: handle
i
nline assembly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
info: derefe
r
enc
e
s_p
a
ram: p
r
int the de
r
ef
e
rence
s
ev
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carp
e
nter
db: hand
l
e glob
a
l
function assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra:
i
nfo: don't
p
ri
n
t e
m
pt
y
stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
D
an Carpenter
absolute: u
s
e get
_
i
m
plied_min() instead
of g
e
t_impl
i
ed_val
u
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
e
xtra: sav
e
more
m
odified
p
o
i
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpente
r
db: change smdb_ret
u
rn_info
.
sh to sm
d
b
_
return_val
u
e
s
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
extra: db: recor
d
when
p
eople
mo
d
ify pointer
s
passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nte
r
extra: move
--info hooks later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
ente
r
db: move free_slist() inside the
l
o
o
p an
d
fix
a
memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
an C
a
rp
e
n
t
er
helper: introduce get_pa
r
am_
n
um_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Ca
r
pen
t
er
db:
s
ave st
r
uct member
v
a
lues
a
cross r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan
Car
p
enter
type: rename
g
et_param
_
typ
e
_f
r
om_key(
)
=> get_member_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
f
l
o
w:
implied: fi
x
how switch st
a
temen
t
s are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
ge
n
erisize
.
pl: remove u
1
6
ma
x
a
n
d
fr
i
e
n
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
ex
t
ra: tweak
h
andling of absolute min
/
m
a
x
i
n
compari
s
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ignore fuzzy
maxes that ar
e
t
ype_
m
in
(
) + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
m
a
th: ov
e
rf
l
ow implies that
there is no fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pent
e
r
math: overflo
w
s
i
n
ha
r
d max
are unde
f
ined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a: handle loop
s
where without
a hard m
a
x
t
hat do
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tr
a
:
c
lear
h
a
r
d
max if w
e
a
r
e f
a
l
l
ing back to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpenter
extra
:
get max
corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
e
x
tra: set hard max correctly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: if (u
n
signe
d
>
= unsigned)
{: Always tru
e
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
mat
h
: che
c
k
for overflows
w
hen
c
alculating
the ma
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpente
r
conditions: pr
e
s
erve the type in
select assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
ty
p
e: c
l
eanp ge
t
_member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
ex
t
r
a: type:
g
et
t
he member type w
h
en lo
a
ding values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpe
n
ter
debug:
a
d
d
__smatch_debug_implied_on/
o
ff()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an C
a
rpenter
d
ebug:
i
n
t
roduce l
o
cal_deb
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pe
n
ter
extra: reverse max(
)
/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
e
nter
sva
l
: h
a
ndle cano
n
ic
a
l for loops differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
an Carpenter
sval: conve
r
t SHRT_MAX to s16ma
x
in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
f
uncti
o
n_hooks: c
o
n
s
ider
t
h
e r
e
t
u
rn
t
ype of th
e
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
extra:
remove s
o
me duplicate code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
math: change how MOD operations are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Car
p
e
n
ter
math: cou
n
t some more
things as implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
extra: type: move get_arge_typ
e
() to smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extr
a
: ma
t
h
:
move get_im
p
l
i
ed_range_list
(
) to smatch_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
sval
:
extra: get_impli
e
d
_range_list() retur
n
who
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
scripts: tra
c
e para
m
s u
s
e 4 spa
c
e in
d
en
t
s consistently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
val: mat
h
:
f
ix get_value() for !foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpenter
check
_
s
i
z
eof
_
pointer: com
p
l
ain about sizeof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hook
s
: add a SIZEOF_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: mak
e
cas
t
_rl() preserve
things better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
enter
sval
:
type
:
h
a
ndle t
y
pe_
b
its() for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: type:
use type_bits() throug
h
out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sva
l
:
fixup
call
s
to sval_cm
p
_val
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sva
l
: type
:
hac
k
select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Ca
r
pente
r
e
x
t
r
a: remove debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
C
arpenter
sval: add sval_is_n
e
gative()
/
positiv
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sval: take the ty
p
e int
o
con
s
i
d
e
ratio
n
w
he
n
doin
g
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
C
a
rpenter
sval: cas
t
t
h
ings correctly
i
n sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assche
s
v
al: uninitialized va
r
i
abl
e
w
arning
commit
|
commitdiff
|
tree
2012-11-17
D
a
n Carpenter
flow: hooks: fix MACRO_A
S
SIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
D
a
n
Carpente
r
f
l
o
w
:
hooks: int
r
o
duce
G
LOBA
L
_ASSIGN
M
ENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Ca
r
pen
t
er
sval: i
n
tr
o
duce sval_bits_u
s
ed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
rpenter
type: introd
u
ce ty
p
e
_bit
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpen
t
er
Merge bran
c
h 'sval' into merg
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
en
t
er
sva
l
:
r
anges: se
t
cor
r
ect max in cas
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sv
a
l: db: cast parame
t
e
r
s t
o
the
co
r
rec
t
type before
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sval: extra:
handle assignme
n
ts
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
penter
s
val
:
cast the retu
r
n types before ent
e
ring them
in
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
s
v
al:
e
x
tra: type information
wa
s
b
eing lost i
n
++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
pente
r
sval: flip the switc
h
and don't use s32min-s32ma
x
inst
e
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
sval: signed: fix vali
d
ation
test and
u
pdate format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
validati
o
n: signed:
update v
a
lida
t
ion
test
to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfra
m
San
g
Makefi
l
e
:
drop superfluous trailing
'
/
'
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
math: c
l
eanup 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
f
u
zzy_min to implied_opposite()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
sval: mat
h
: f
i
x
h
ow
n
egate op
e
ration
s
ar
e
hand
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
t
e
r
sval: absolute:
fi
x
r
e
v
ers
e
d con
d
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rpenter
sv
a
l:
you're not a
l
lowed to
d
i
v
ide LLONG_MIN by -
1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpen
t
er
sval:
fix
p
a
rse
_
value_r
a
nges_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: r
e
-in
t
roduce s
v
al_is_
a
_
m
in()
s
val_is_a_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
D
an Carp
e
nter
s
val: don
'
t in
v
ent bogus r
a
nge
i
n alloc_ran
g
e_
h
e
l
per_
s
v
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpente
r
sva
l
: use
t
yped version of parse_
v
alue_
r
anges() thr
o
ughout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpenter
sval: move cast_rl(
)
into
p
ars
e
_value_ranges
_
typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpenter
c
l
e
a
nup: make type the fi
r
st argument o
f
sval_cast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carp
e
nte
r
c
lean
u
p: ma
t
h:
rename a
v
ariab
l
e f
r
om "tm
p
_ret" to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
cleanup:
m
ake type the first argum
e
nt
for
cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next