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
buf_size: fix bug caused by get_implied_max() returning s32max
2012-12-14
Dan Carpente
r
function_hooks: add so
m
e calls to __unnullify
_
path()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
arp
e
n
te
r
r
a
nges: in
t
ro
d
uce rl_invert(), rl_
f
i
lt
e
r()
an
d
rl_int
e
r
sectio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
e
x
t
r
a
: fi
x
a bug in how pointers are set inside c
a
ll
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpen
t
er
estate: introduc
e
g
et_implied_es
t
ate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
extra: estate: move merge_esta
t
e
() from extra
t
o est
a
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan
C
a
rpente
r
extra:
p
arse asm a
n
d
unops aft
e
r ever
y
one
e
ls
e
is
fini
s
hed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
p
oi
n
ter_math: che
c
k for (int *)p += size
o
f(
i
nt);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan C
a
rpenter
treewi
d
e: fix some memo
r
y leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
R
evert "con
s
tr
a
ints: fix bug in remove_from_equiv()
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpen
t
er
s
l
i
st: fix some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
slist: compile error in debug co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Car
p
enter
co
n
straints
:
fix a memory le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Da
n
Carpenter
constraints: fix bug in remove
_
f
rom_eq
u
iv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constraints:
use
cmp_relation() instea
d
of custom cod
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Dan
C
arpenter
c
o
ndit
i
ons: rework __is_conditio
n
_assign() => i
s
_
conditio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: r
e
m
o
v
e
get_
r
eturn_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Carpenter
p
ar
s
e_call_m
a
th: update to new return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an
Carpenter
u
s
er_data: move t
o
the return_state
s
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpente
r
extr
a
: move return_value_par
a
m t
o
t
h
e n
e
w return
_
s
t
ates API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpen
t
er
stat
e
s: introduce get_all_state_slist
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
d
b
: call return_states at
the en
d
of
t
h
e function if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix return ranges for the ret
u
rn_states callback
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Ca
r
penter
db:
c
h
ange print_
r
eturned_st
r
u
ct_me
m
b
ers() to ne
w
API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
db: intro
d
uce add_return
e
d_s
t
ate_
c
allback(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
db:
p
ass the
r
e
turn_i
d
to the struct member
callbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpenter
mo
d
ification_hooks: handl
e
inlin
e
a
s
semb
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
p
enter
in
f
o
: dereferences_param: pr
i
nt th
e
dereferences even
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Da
n
Carpen
t
er
db:
h
andl
e
glo
b
a
l function assign
m
ent
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpente
r
extra
:
info: don't p
r
int
empty
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpe
n
ter
absolute: use get
_
implie
d
_min
(
)
i
nste
a
d
of get_implied
_
v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpe
n
ter
extra: s
a
ve
more modified pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db: ch
a
ng
e
smdb_return_info
.
sh to sm
d
b_return
_
values
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
e
x
t
r
a
: db: record when peopl
e
mo
d
i
fy pointers passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
extra:
m
ove --info h
o
o
k
s later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rpenter
db: move fr
e
e_slist(
)
inside
the loop an
d
fix a
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpenter
helper: introd
u
ce get_param_n
u
m_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan
C
arpenter
db: save struct me
m
ber values ac
r
oss returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpen
t
er
type: rename get_
p
aram_typ
e
_from_key() => get_member_type_fr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
flow:
i
mpli
e
d: fi
x
h
ow s
w
itch s
t
atements are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
ge
n
erisize
.
pl: remove u16max and frien
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Ca
r
pe
n
ter
e
x
tra: twe
a
k
han
d
li
n
g of absolute min/m
a
x in
comp
a
ris
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: igno
r
e fuzzy
m
a
xes that
a
re
t
y
p
e
_mi
n
() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
m
a
th: overflow implies
t
hat the
r
e is no fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
math: overflows
in har
d
max ar
e
undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carp
e
nter
extra: ha
n
dle loops where wi
t
hout
a
hard max
t
h
a
t don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpente
r
extra: c
l
e
ar hard max
if we are f
a
lling back to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pent
e
r
extra
:
get
m
a
x
correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpente
r
extra:
s
et hard max correctly
in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
extra: if (unsigne
d
>= unsigne
d
) {:
A
l
ways true if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
e
n
ter
math:
check
f
or ov
e
rflows when c
a
lculat
i
ng t
h
e m
a
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arp
e
nt
e
r
conditions: p
r
es
e
rve
t
he type i
n
select assi
g
nment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ty
p
e:
cleanp get_member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Car
p
enter
extra:
t
ype: g
e
t the m
e
mber type whe
n
lo
a
ding val
u
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
debug: ad
d
__smatch_debug_implied_
o
n/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
pe
n
ter
d
ebug:
i
ntroduce local_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
e
x
tra: reverse max()/min(
)
test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sval: h
a
ndle canonica
l
f
or loops di
f
ferent
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan
Carp
e
n
t
e
r
sval: conv
e
rt SHRT_MAX
to
s16m
a
x in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpente
r
function_hooks: consid
e
r the retu
r
n
t
y
pe of the
f
u
n
ctio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpent
e
r
extr
a
: remove some d
u
plica
t
e code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
m
a
th: change how MOD
o
p
erations are handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
an Ca
r
penter
math:
co
u
n
t
s
o
me more
t
h
ings as
i
m
plie
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
r
p
en
t
er
extra: type: move get_arge
_
type()
t
o
smatch_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpenter
e
xtra:
mat
h
: move get_implied_rang
e
_list() to smatch
_
m
ath
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
sva
l
:
e
xtra: get_implied_range_
l
ist() return w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpent
e
r
scripts: trace params use 4
s
pace
i
ndents consistent
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: math: fi
x
get_
v
alue() for
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pen
t
er
che
c
k_si
z
eof_
p
oi
n
te
r
: complain about sizeof(&foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Car
p
e
n
t
e
r
hooks: add
a
SIZEOF_
H
O
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an Carpente
r
sval: make cas
t
_rl() preserve things better across
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpente
r
sval: type
:
han
d
le type_bi
t
s() for add
r
esses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
sval
:
type:
use ty
p
e_bits()
t
h
r
ou
g
h out
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
p
e
n
t
e
r
sval:
fi
x
up calls to sval_cmp_val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n C
a
rpenter
sval: type: hack select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
e
x
tra: remove d
e
b
u
g
ging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval
:
a
dd sva
l
_is_nega
t
i
ve()/
p
ositive()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pent
e
r
sval: tak
e
t
he
typ
e
into
c
o
ns
i
d
e
r
a
ti
o
n wh
e
n doing
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sv
a
l: cast things cor
r
ectly in sval_cmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Bart Van Assch
e
s
v
al: u
n
initi
a
l
i
z
ed vari
a
ble warn
i
ng
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flo
w
: hooks
:
fix
M
ACRO_ASSIGNMENT_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpent
e
r
flow:
hooks: i
n
t
roduce GLOBAL_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan
C
arpenter
sval: introduce sval_bits_us
e
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
t
ype
:
introduce
type_bits()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpen
t
er
Merge branch 'sval' into
merge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an
Ca
r
pent
e
r
sval: ranges: set correct max in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
val: db: cast parameters to
the
c
o
r
rect type b
e
fore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpenter
sval: extra: handle assignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval
:
cast th
e
retur
n
type
s
b
efore
e
ntering them into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: ex
t
ra:
type informa
t
i
o
n was being lost in ++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: flip the switch and don't use
s
32min-s32max i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
arpenter
sval: signed:
fix validation te
s
t and update format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpent
e
r
validation: si
g
ned:
u
pdate validation test to re
f
l
e
ct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Wolfra
m
Sang
M
a
ke
f
ile:
d
r
op
s
uperfluous
t
rail
i
ng '/'
commit
|
commitdiff
|
tree
2012-11-14
D
a
n
Ca
r
pe
n
ter
m
a
th:
cleanup some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
a
n C
a
rpen
t
er
ma
t
h: add fuzzy_ma
x
and fuzzy_min to implied_oppos
i
te()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpente
r
sval: math: fi
x
how negate opera
t
i
ons are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Car
p
e
nter
sval:
absolute: fix reverse
d
conditio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
s
v
al: you'r
e
not allo
w
ed t
o
divide LLONG_MIN b
y
-1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpenter
s
val: fi
x
parse_value_ranges_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carp
e
nter
s
val: re-int
r
o
d
u
c
e sval_
i
s_a_min() sv
a
l_is_a_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next