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
slist: compile error in debug code
2012-12-08
Dan Carp
e
nter
slist: compile error in
debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpent
e
r
c
onstra
i
nt
s
: fix
a
m
e
mory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constrain
t
s: fix bug in remove_
f
rom
_
equi
v
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constra
i
nts:
u
s
e
c
mp_r
e
lation()
instead of cu
s
t
o
m code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-07
Da
n
C
a
r
p
e
nt
e
r
conditions: r
e
work
_
_is_condition_assign() => is_cond
i
t
i
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-06
Dan Car
p
enter
db: remove get_retur
n
_id()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
pa
r
se_call_math: update to new return_stat
e
s API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
user_data:
m
o
ve
t
o the
r
eturn_
s
tates API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
ext
r
a: move return_value_p
a
ram to the
n
ew return_states API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
sta
t
es: int
r
oduc
e
get_al
l
_
s
t
a
t
e_s
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: call
re
t
urn_sta
t
es at the end
o
f
the function
i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
db: fi
x
return ranges for the retu
r
n
_
states callb
a
cks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Car
p
ent
e
r
db: chang
e
print_returned_struct_membe
r
s() to new A
P
I
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db:
i
ntroduce add_returned_state
_
c
a
llba
c
k(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Car
p
enter
db: pass
the return_id to the struct
m
e
m
b
e
r
c
allbacks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
modi
f
ication_hooks: ha
n
dle inline assem
b
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Car
p
ent
e
r
info: dere
f
erences_param: print the
d
e
r
eferences eve
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-12-03
Dan Carpenter
db: handle global
f
unction
ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
extra: i
n
fo: don't print empty
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpen
t
er
absolute: use get_
i
mpl
i
e
d_min()
i
n
s
tead of get_implied_
v
alue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-29
Dan Ca
r
pent
e
r
extra:
s
a
v
e more modified poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan C
a
rp
e
nter
d
b
:
chan
g
e smdb_return_info
.
sh
t
o smdb_return_values
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
ext
r
a: db: record wh
e
n people mo
d
i
fy poin
t
ers pa
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carp
e
nte
r
extra: move --info ho
o
ks later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpe
n
ter
d
b
: mov
e
free_slist() i
n
side the
l
oop an
d
fix a m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpen
t
er
helper: int
r
oduce ge
t
_param_nu
m
_from_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: save str
u
ct member values
a
c
ross
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-27
Da
n
Carpent
e
r
type: rename get_p
a
r
a
m_type_
f
rom_key() =
>
g
e
t_member_ty
p
e_f
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
flow: im
p
lied:
f
ix how switch statements
a
re h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
g
e
nerisize
.
p
l
:
re
m
ove u
1
6max and f
r
ien
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
extra: tweak
h
an
d
ling of absolute min
/
max
in comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math
:
ignore fuzz
y
maxes that are type_min() + 1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-26
Dan C
a
rpenter
math: overflow impl
i
es th
a
t ther
e
i
s no fuzzy max
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
math: overflows i
n
ha
r
d max are undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
rpenter
extra: handle loops
w
he
r
e withou
t
a hard max tha
t
don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an
C
arpenter
e
x
tr
a
: clear hard max if we are falli
n
g
b
ack t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra:
g
et m
a
x correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extra: set ha
r
d max correctly in loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
extra:
i
f (u
n
sig
n
ed >= un
s
i
g
ned) {:
Always
tr
u
e if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
r
pen
t
er
math: chec
k
for overflows when calculating the ma
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
conditions
:
preserve the type i
n
select assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
type:
cle
a
np get
_
member_symbol()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
extra: ty
p
e
:
get the member type when loading values
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: add __sm
a
tch_d
e
bug_
i
mplied_on/off()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
debug: introdu
c
e loc
a
l
_debug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
ext
r
a: reverse max(
)
/min() test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Dan Car
p
ent
e
r
s
v
al: handle canonica
l
for loops differ
e
ntly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
C
arpente
r
sva
l
: con
v
ert
SHRT_MAX
t
o s
1
6max in the o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n
Carpenter
function_hooks: cons
i
der the
r
eturn ty
p
e of the functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n C
a
rpente
r
extra: r
e
mo
v
e some duplicate
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
m
a
th: chan
g
e
how MOD operatio
n
s
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
m
ath: count som
e
more thin
g
s as implied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpe
n
ter
extra: type: move
g
e
t_arge_type
(
)
t
o smat
c
h_type
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
extra: math: move
get_impli
e
d
_
range_list
(
)
t
o
smatch
_
math
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sva
l
: extra: get_i
m
pl
i
ed_range_list()
r
eturn
wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
s
c
ripts: trace params
u
se
4 space inde
n
ts c
o
nsistently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
sv
a
l: math: fix get_value() for
!foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
check_sizeof_pointer
:
complain a
b
out
size
o
f
(
&
f
oo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
pente
r
ho
o
ks:
add a
S
I
Z
EOF
_
HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sv
a
l:
m
ake cast_rl() preser
v
e things better acro
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpente
r
s
val:
t
yp
e
: handl
e
type
_
b
i
t
s
(
)
for addresses
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sv
a
l: type:
u
se
t
yp
e
_bit
s
()
t
hroug
h
o
u
t
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpent
e
r
sval:
f
i
x
up
c
alls to sval_cmp_va
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpente
r
sva
l
: typ
e
:
h
ack select types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra: remo
v
e debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
D
an C
a
r
penter
sval:
add sval_is_
n
egative()/pos
i
ti
v
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpent
e
r
sval: take th
e
typ
e
into consideration when d
o
ing an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: cast
t
hings corre
c
tl
y
in sval_cm
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
fl
o
w: ho
o
ks:
fix MACRO_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpen
t
e
r
flow: hooks:
introd
u
ce
GLOBAL_ASSI
G
NMENT_HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpente
r
sval: i
n
t
r
oduce sval_bits_used()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
type: introduce
t
ype_bits
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
rp
e
n
te
r
Merge branc
h
'sval
'
into merg
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpent
e
r
s
v
al: ranges: set c
o
rrect max
in cast_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
an Carpe
n
ter
sval
:
db:
cast parameters to the
c
o
rrec
t
type bef
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Car
p
enter
sval: e
x
tra: han
d
le assignm
e
n
t
s bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpe
n
ter
sval: cas
t
the
r
e
t
u
r
n types
before
entering them
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
p
enter
sval: extra:
type informatio
n
was being
lost
i
n
++
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Ca
r
penter
sval: flip the
switch and d
o
n't use s32m
i
n-s32max instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
sval: signed
:
fix validation t
e
st and update form
a
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpen
t
er
valid
a
tion: signed
:
update validation test to reflect
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpe
n
ter
math:
cleanup some nam
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan
C
a
r
p
e
n
ter
math: add
f
uz
z
y_m
a
x and fuzz
y
_min t
o
implied_opposite()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
sval: math: fix how ne
g
at
e
oper
a
tions a
r
e handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-14
D
an Carpenter
s
v
al: abs
o
l
u
te: fix
rever
s
ed condit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpe
n
ter
sval:
y
ou're
not allo
w
ed t
o
di
v
ide LLONG_
M
IN
b
y -1
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sva
l
: fix parse_value_
r
anges_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpe
n
ter
sval:
r
e-introduce sval_i
s
_a_min() sva
l
_is_
a
_m
a
x
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
D
an Carpenter
sval: don't invent
b
o
g
us ran
g
e in alloc_range_helper_
s
val()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
s
v
al: use type
d
ve
r
s
ion of parse_va
l
u
e
_ra
n
ges() throughout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n C
a
rpe
n
ter
sval:
move
c
a
st_rl() into pa
r
se_v
a
l
u
e_ra
n
ges
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
clean
u
p
: make ty
p
e
t
he
f
irst argument of sval
_
c
ast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan C
a
r
p
enter
clean
u
p: ma
t
h: rename a variable
from "
t
mp_re
t
" to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
c
l
e
anu
p
: make t
y
pe t
h
e first argument fo
r
c
ast_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
cleanup: rename possibly_fals
e
_range_list
s
_rl() to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
p
e
n
ter
cleanup: rename get_value_r
a
n
ges() to pa
r
se_value_r
a
nges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Da
n
Carpenter
sval: remove the
_sva
l
() from alloc_estate_ra
n
ge_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: rem
o
ve the _sval() from tac
k
_on_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: remove the _sval()
from
alloc
_
range_sv
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: re
m
ove the _sval() from tru
e
/fa
l
se_comparison_range
_
lr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next