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: make some varchar decalarations smaller
2012-12-16
Dan Carpent
e
r
db: make some varchar decalara
t
i
o
ns sma
l
ler
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Da
n
Carpenter
signe
d
: remove
some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
D
a
n C
a
rpenter
db:
make
t
he size li
m
it
f
or the datab
a
s
e larger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan
C
arpenter
pa
r
am
_
limit: don't print un
n
eeded info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Ca
r
pente
r
db:
r
e
m
ove retur
n
_implies tab
l
e
a
nd related
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch_p
a
r
a
m
_limit: e
x
tra: store par
a
meter impli
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpen
t
er
db: print re
t
urn_s
t
at
e
s
inf
o
rmation
i
n a more d
e
tailed way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
implie
d
: intr
o
d
u
ce ov
e
rwrite_sta
t
es_usin
g
_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
states: f
i
x __set_sm() when a fake_cur_
s
list
i
s
b
eing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
f
u
ncti
o
n_hooks:
a
d
d
some ca
l
ls to __unnullif
y
_path()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpente
r
r
a
nges: introd
u
ce
r
l_in
v
ert(),
rl_f
i
lter() a
n
d rl
_
interse
c
tion(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
C
arpente
r
ex
t
ra: fix a bug in how pointers
are set insi
d
e ca
l
led
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
enter
estate: intr
o
duce get_imp
l
ied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
extra:
estate: move merge_esta
t
e(
)
f
r
om extra to esta
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
ex
t
ra: parse asm and
u
nops after everyone else
i
s
fin
i
s
he
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
pointe
r
_m
a
th: check for (int *
)
p
+= siz
e
of(
i
nt);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpe
n
t
er
treew
i
de: fix some memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpent
e
r
Revert
"constra
i
nt
s
: fix bug in remove_from_eq
u
i
v()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
slist: fix some debug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
r
p
e
nter
slist:
c
o
mpile err
o
r in debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpent
e
r
const
r
a
i
nts
:
fix a memory
l
eak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
constraints: fix
bug in re
m
o
ve_from_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
pe
n
ter
const
r
aints: use cm
p
_
r
elati
o
n() ins
t
ead of custom c
o
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan
C
arpenter
conditions:
r
ework
_
_is_
c
ondition_assign
(
) =>
i
s
_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db:
remove
get_return_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpent
e
r
parse_call_
m
ath: update to
n
e
w
return_st
a
tes AP
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Ca
r
p
en
t
er
user_data
:
move to t
h
e return_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpe
n
ter
extra: mov
e
r
e
t
urn
_
value_param to t
h
e new re
t
urn_s
t
a
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Carp
e
n
ter
sta
t
es: introduc
e
get_all_state_slis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpent
e
r
db:
call re
t
u
rn_states at t
h
e end o
f
t
he function
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: f
i
x r
e
turn
rang
e
s for the return_st
a
tes callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
d
b: change
p
rint_
r
e
t
ur
n
ed_struct_members() t
o
new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b
: introduc
e
add_ret
u
r
n
e
d_state_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
pass the ret
u
rn_
i
d
t
o th
e
str
u
ct member
c
allbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
m
o
dification_hooks: han
d
l
e
inline assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
info: d
e
r
eferen
c
es_param
:
pr
i
nt the
d
erefe
r
ences even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpe
n
ter
db: handle
g
lobal funct
i
on assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Car
p
ent
e
r
e
x
t
ra: in
f
o: don
'
t
p
rint empty stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan C
a
rpenter
absolut
e
: use get_i
m
plie
d
_min() i
n
s
tead of get_implie
d
_va
l
ue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
extra: save more modified point
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpenter
db
:
change smdb
_
return_inf
o
.
sh
t
o smdb_retu
r
n_values
.
s
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpenter
e
x
tra:
db: recor
d
when people modify
p
oin
t
ers pas
s
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
x
t
ra
:
mo
v
e
--info
ho
o
ks later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n
Carpenter
db: move free_slist() inside the l
o
op and
f
ix
a
memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
h
e
lper
:
intro
d
uce get
_
para
m
_nu
m
_
f
rom_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: save struc
t
memb
e
r value
s
a
cross returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n Carpenter
typ
e
:
rename
g
et_par
a
m_type_
f
rom_key
(
) => get_m
e
mber_
t
y
pe_
f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
flow:
i
mpl
i
e
d: fix how switch statements
are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpen
t
er
generisize
.
pl: remove u
1
6
m
a
x
a
nd frie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
Carpenter
extra: t
w
eak handli
n
g of
absolute min/max in
comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpent
e
r
math: ign
o
re fu
z
zy ma
x
es that are type_min() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
e
n
ter
m
ath: ov
e
r
f
low implies that ther
e
is no fuzzy
ma
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: overflows in hard m
a
x 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 withou
t
a hard m
a
x th
a
t don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: c
l
e
a
r ha
r
d max i
f
we are falling back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arp
e
n
t
er
extra: get max correc
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
t
e
r
extra:
set
h
ard ma
x
correctl
y
in loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
p
e
nt
e
r
extra: if
(unsigne
d
>= unsigned) {: Alw
a
ys true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Ca
r
penter
math:
c
h
eck for overflows when calculating the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpent
e
r
condi
t
io
n
s: pres
e
rve t
h
e type i
n
select assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rp
e
nte
r
t
y
pe: cle
a
np get_member_s
y
mbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
e
x
tra
:
type
:
get the member type when loading va
l
u
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
d
e
bug:
a
dd __smatch_debug_implied_on/
o
f
f()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpe
n
ter
debug: introdu
c
e local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
extra:
rev
e
rse max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
r
penter
s
v
a
l
: handl
e
ca
n
onical for
l
o
ops d
i
f
ferently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
an Carpenter
sv
a
l: conver
t
SHRT_MAX to
s
16max in the
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n C
a
rpenter
function_h
o
o
ks
:
consider the retu
r
n type of t
h
e function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carp
e
nter
e
xt
r
a
: remove some duplica
t
e cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an Carpe
n
ter
m
a
t
h
:
chang
e
how MOD
operati
o
n
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
math:
count some more t
h
ings as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: type: move ge
t
_arge_type() to smat
c
h_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: math
:
mo
v
e
g
et_implied_range_
l
ist() to sm
a
tch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpenter
sval: extra: get
_
impli
e
d_rang
e
_list
(
) return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
scripts: tr
a
ce par
a
ms
use 4 space indents
c
onsis
t
e
nt
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
math: fix get_va
l
u
e
() fo
r
!fo
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
c
heck_sizeof
_
poin
t
er: complain about sizeof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
hooks: a
d
d a SIZ
E
OF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval: make c
a
st_rl() preserve
thi
n
g
s better ac
r
oss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
sval:
type:
handle t
y
pe_b
i
ts(
)
for addres
s
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
s
v
al
:
ty
p
e: use type_bits() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an
C
arpenter
sval: fixup ca
l
ls
t
o sval_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpenter
sval:
type: hack
sel
e
ct types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
e
xtra: remove debugging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sva
l
: add sval
_
is_n
e
gative()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: ta
k
e the type int
o
consideration wh
e
n doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sval: c
a
st things co
r
r
e
ctly
in sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assche
sval: uninitiali
z
ed
variabl
e
warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow:
hooks: fix MACRO_ASSIGNMENT_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
ar
p
enter
flow: hooks: int
r
oduce G
L
OBAL_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
D
an Carpenter
sval: introduce sval_bits_u
s
ed()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
t
y
pe: introduce type_
b
its()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpen
t
er
Merg
e
branc
h
'sval
'
int
o
merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
an
C
arpente
r
sval: ranges:
se
t
correct max
i
n cast_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
sval: db
:
ca
s
t parameters
t
o
t
h
e c
o
rre
c
t
type be
f
ore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval
:
extra: handle assignments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: cast
th
e
return types before enter
i
ng them
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
sval: extra: type info
r
m
ation was being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Ca
r
penter
s
v
al
:
f
lip the s
w
itc
h
a
n
d
don't
use s32
m
in-s32max
i
ns
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
v
al: signed: f
i
x
vali
d
atio
n
te
s
t and up
d
a
t
e format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next