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
smatch.h, db: add numbers to the info_type enum
2012-12-05
D
an
C
a
rpenter
d
b
: int
r
oduce add_r
e
turned_state_callback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
rp
e
n
ter
db: pass the return_id to the stru
c
t
membe
r
cal
l
backs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modifica
t
ion_hooks: hand
l
e i
n
l
ine assembl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
i
n
f
o: dereferen
c
es_param: print the dere
f
ere
n
ces e
v
en
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
d
b: handle global fun
c
tion assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan C
a
rpenter
extra: info: don't print e
m
pty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
D
an
C
arpente
r
absolu
t
e: use ge
t
_implied_mi
n
() inste
a
d
of g
e
t_implied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
extra
:
s
av
e
m
ore modified
p
o
i
nter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: chang
e
smdb_return_info
.
s
h to smdb_return_
v
alues
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra: db: record whe
n
p
e
o
ple modif
y
pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n C
a
rpenter
extra: move
--in
f
o hook
s
la
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpenter
db: mo
v
e free_slist() insid
e
the loo
p
and fix a
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
helper: intro
d
uce get_param_num_from_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpenter
db
:
save
s
tr
u
ct member values
ac
r
oss returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpenter
type: rename ge
t
_param_type_from_key() =>
g
et_member_type_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
p
enter
flow:
i
m
p
l
i
e
d
: fix
how
s
witch statements are h
a
ndled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpe
n
ter
generisize
.
p
l
: remove
u
1
6
max an
d
f
rie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpent
e
r
extra: tweak ha
n
dling
of a
b
so
l
ute
m
i
n/max in co
m
parisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
ma
t
h:
i
gnore fuz
z
y maxes that are type_mi
n
() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
math: overflow implies th
a
t there
is n
o
fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nt
e
r
math: o
v
erflo
w
s
i
n hard max are
undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
extra: hand
l
e loops where without a hard max th
a
t don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a: clear hard max
i
f we
are falling ba
c
k t
o
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
extra: get
m
ax c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpen
t
e
r
ext
r
a: s
e
t
h
ard max correctl
y
in lo
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: if (unsi
g
n
ed >= unsigned) {: Alwa
y
s true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pent
e
r
math: c
h
eck for ov
e
rflows when calculati
n
g t
h
e m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
conditions: preserve the type in
select assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
ty
p
e: c
l
ean
p
get_m
e
mber_sy
m
bol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
e
n
ter
extr
a
:
t
y
pe
:
get the
member
type when loading values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
e
r
debug: add __smatch
_
debug_implied_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpen
t
er
debug
:
introduce loc
a
l
_
d
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpe
n
ter
extra:
r
everse max()/
m
in() tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: handle canonical for loop
s
d
i
fferent
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpenter
sva
l
: convert SHRT_MAX to s16max in
the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carpe
n
ter
function_hooks:
c
o
nsid
e
r the return type
of the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpente
r
e
x
t
r
a
:
remove
s
ome du
p
licate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpent
e
r
math: change how MOD ope
r
ations are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
math: count some mor
e
things as imp
l
i
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpenter
extra
:
type: move get_arge_typ
e
() to smatch_typ
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
extra:
math
:
move
g
e
t_
i
mplied_range
_
list() to smatch
_
mat
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sv
a
l: extra: get_imp
l
ied_range_list() return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scripts:
t
r
ace params use 4
s
pace i
n
dents
c
onsi
s
tently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sval: math: fix get_value
(
) f
o
r !
f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pe
n
ter
check_s
i
zeof_pointer: complai
n
about s
i
zeof(
&
foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks: ad
d
a
S
IZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: m
a
ke cast_rl() preserve
t
hings bet
t
er acr
o
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpent
e
r
sval: type: handle type_bits() for address
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval
:
type: us
e
t
y
pe_bits() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
f
ixup call
s
to sva
l
_
c
mp_
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: t
y
pe:
h
ack select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
extra: re
m
ove d
e
bugging outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
a
rpe
n
ter
s
v
al:
a
dd sval_
i
s
_
negative()/positive
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n
C
a
r
pen
t
er
sval: take the type
i
nto consideration w
h
en
doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l: cast
thi
n
gs cor
r
ectly
in sval_cmp
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assche
sval
:
unin
i
t
i
alized variable
w
a
rning
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carpen
t
er
fl
o
w: hooks: fix MA
C
RO_A
S
SIGNMEN
T
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Da
n
C
a
rpente
r
flow: hooks: introduce
GLOBAL_ASSIGNME
N
T_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval: introduce
s
v
a
l_bits_used
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
C
arpen
t
er
type: intr
o
d
uce
t
ype_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n C
a
rpenter
Merge branch 'sval' into merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
s
val:
r
a
nges: set co
r
rect max in cast_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval: db: cast
parameters to the correct type
b
efore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sv
a
l: extr
a
:
ha
n
dle assignments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval:
ca
s
t
the return types before enter
i
ng
them
i
n
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
n
t
er
sval:
e
x
t
ra:
t
ype information was bein
g
lost
in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
penter
sval: flip the swit
c
h and don't
u
se s
3
2min-s32max
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sv
a
l: signed: fix validation tes
t
an
d
update
f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
pe
n
te
r
validation
:
signed: update validation
test to reflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Wolfram
S
ang
Make
f
ile: drop superfluou
s
trailing '/'
commit
|
commitdiff
|
tree
2012-11-14
D
an Car
p
e
nter
mat
h
: cleanup some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an Carpenter
math: a
d
d fuzzy_max and fu
z
zy_
m
in to impl
i
ed_opp
o
site()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpente
r
sval
:
math:
f
ix how neg
a
te
op
e
rations are hand
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpente
r
s
va
l
: absolut
e
:
fix revers
e
d condit
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: y
o
u
'
re not
a
llowed to divide LL
O
NG_MIN
by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
ar
p
enter
sval:
fix parse_v
a
lu
e
_ran
g
es_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
v
al:
r
e
-introduce sval_is_a_min() sval_
i
s_a_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpen
t
er
sval: don't i
n
ven
t
bog
u
s range in alloc_range
_
helper_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
an
C
arpenter
s
v
al: use
typed ve
r
s
io
n
of
pars
e
_value_rang
e
s
(
) thro
u
ghout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpente
r
sval: move cast_rl() in
t
o
parse_va
l
ue_
r
anges_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
cle
a
nup: make type the first
a
rgument of
s
val_cast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpente
r
c
leanup: math
:
rename a variabl
e
fro
m
"t
m
p_r
e
t" to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
C
arpenter
cleanup: make type the first argu
m
ent for cast_
r
l(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
enter
cleanup: rename possib
l
y_f
a
l
s
e_range_lists
_
rl
(
)
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
cleanup:
rename g
e
t
_value_range
s
() to parse_value_rang
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: remove
t
he _sva
l
() from alloc_estate_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rpenter
sval:
r
e
move t
h
e _sval() f
r
om tack_on_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
r
penter
sval: remove the
_s
v
al() from alloc_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpen
t
er
sv
a
l: remove
t
h
e
_sval(
)
f
r
o
m
true/fa
l
se_comparison_range_lr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
enter
sval:
r
emove t
h
e _sval() from estate
_
get_single_valu
e
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpente
r
s
val: remove the _s
v
al() from range_
l
i
st_union_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
rp
e
n
t
e
r
s
val: remove t
h
e
_
sval() from estate_min
/
max_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sv
a
l: remove t
h
e
_
sval() from estate_ranges_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: re
m
ove the _sval
(
)
from al
l
oc_e
s
tate_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
C
arpenter
sval: remove
the _
s
val()
f
r
om get
_
value_ranges_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n Carpenter
sval:
r
e
mo
v
e the
_sval() fro
m
remove_range_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
val: remov
e
th
e
_sval() from
s
how_range_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpente
r
s
val: remove the _s
v
al() fro
m
clone_permanen
t
_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
penter
s
v
al: remove the
_sval
(
)
f
r
o
m the possibly
_
true
/
fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval:
r
ename true_
c
o
mparison_range_sva
l
() to
true_c
o
m
paris
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next