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
extra: fix a bug in how pointers are set inside called functions
2012-12-14
D
a
n
C
arpe
n
t
er
extr
a
:
fix a
bug in how po
i
n
t
e
r
s
a
re
set inside called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
estate
:
introduce get_implied_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: es
t
ate: m
o
ve merge_est
a
te(
)
fro
m
extra to
estate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: par
s
e asm an
d
unops after e
v
e
r
y
one els
e
is finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carp
e
nter
point
e
r
_
math: che
c
k fo
r
(int
*)
p
+= sizeof(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
C
arpe
n
t
e
r
tr
e
ewide: fi
x
some memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Da
n
Carpenter
Revert
"constraints:
fix bug in remove_fr
o
m_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
sli
s
t: fix some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
s
l
ist: compile error in d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
cons
t
raints:
fi
x
a me
m
o
r
y leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
p
enter
constraints: fi
x
b
u
g
in
r
e
move_fro
m
_e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpenter
constr
a
ints: u
s
e cmp_relation() in
s
tead o
f
c
u
s
tom code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan
Carpenter
co
n
ditions: rework
_
_is_condition_
a
ssign() => is_co
n
d
i
tion(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
Dan Carpenter
db: remove ge
t
_
r
eturn_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_call_math: updat
e
to new
r
etur
n
_
s
t
a
tes API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
u
s
er_data: move to
t
he ret
u
rn_states A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
ex
t
ra:
m
o
v
e
return_value_pa
r
am to the new ret
u
rn_sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
states: intro
d
uce get_all_state_sl
i
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpente
r
db
:
cal
l
return_states a
t
the e
n
d of
the function
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpente
r
db:
fix return
r
a
n
ges
for the return_stat
e
s callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: change
p
rint_returned_struct_members(
)
to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Ca
r
penter
db: introduce add_re
t
u
r
ned_s
t
a
te_
c
allback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
C
a
rpente
r
db:
pass the return_i
d
t
o the stru
c
t member call
b
acks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
modification_ho
o
ks: handle inline
assembl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan C
a
r
penter
info: deref
e
rence
s
_param: print th
e
dereferenc
e
s eve
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan Ca
r
pente
r
db: handle
g
lob
a
l fun
c
t
ion assi
g
n
ment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
D
a
n Carpente
r
extra: info: don
'
t
print
e
mpty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan C
a
rpenter
absolute: use ge
t
_imp
l
ied_min() instead
of ge
t
_implied_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
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Car
p
enter
db: change smd
b
_return_info
.
sh to smdb_return_va
l
ues
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
a
n Carpent
e
r
extr
a
:
db: recor
d
w
h
en people
mod
i
fy pointers passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpe
n
te
r
extra: mov
e
-
-
in
f
o hooks l
a
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
db:
m
o
ve free_s
l
ist()
i
ns
i
de
the loop and fix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
he
l
per: introduc
e
g
e
t_p
a
ram
_
num_fro
m
_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carpenter
db: sa
v
e
struc
t
me
m
ber
val
u
es acro
s
s
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n Carpenter
type: re
n
ame ge
t
_param_typ
e
_from_key(
)
=> get_member_t
y
pe_fr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpen
t
er
f
lo
w
: i
m
plied: fix how swi
t
ch statements are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpe
n
t
e
r
generisize
.
pl: remove
u
16max and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Car
p
enter
e
xt
r
a: t
w
eak
h
andling of absol
u
te m
i
n/
m
ax in compa
r
isons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ignore fuzzy maxes that are type_min(
)
+ 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan
C
arpenter
math: overflow implie
s
tha
t
th
e
re is no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
math:
o
ver
f
l
ows
i
n hard m
a
x ar
e
undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
extra: hand
l
e l
o
ops wh
e
re wi
t
h
out a hard max
that don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpenter
extra: cle
a
r hard
m
ax i
f
we are
fa
l
li
n
g
back to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Ca
r
penter
ext
r
a: get max c
o
r
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpente
r
e
x
t
ra:
set hard max
c
orrectly i
n
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: if (unsigned >= uns
i
gne
d
) {
:
Al
w
ays true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
math: check fo
r
overflows wh
e
n
calculating t
h
e max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
c
o
ndit
i
ons
:
preserve t
h
e
t
ype
i
n select assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
type
:
cleanp get_member
_
symbo
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpent
e
r
e
xt
r
a: type
:
g
et the
m
em
b
er type when
l
oading values
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
debug: add
_
_
sm
a
tch_debug_implied_on/o
f
f
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
debug: introduce
l
o
c
al_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Car
p
e
n
ter
extra: rev
e
rse max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpent
e
r
sval: h
a
n
d
le c
a
nonical
f
or loops d
i
fferently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
s
v
al:
co
n
vert SHRT_MAX
t
o s1
6
max in
the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
functio
n
_hooks: consid
e
r the return type of th
e
f
u
n
c
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan
C
arpenter
extra: remove
s
o
me
dup
l
icate
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpen
t
er
math:
ch
a
n
g
e
how M
O
D oper
a
tions
are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
Carpente
r
ma
t
h: cou
n
t some m
o
r
e
t
h
ings as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
r
p
e
n
te
r
extra: type
:
move get_arge_t
y
pe() to smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
an
Ca
r
penter
extra: math: mo
v
e get_implied_range_list() to
smatch_m
a
th
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sval: ex
t
ra: get_implied_range
_
list(
)
return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpente
r
s
c
ripts: trace
p
arams use 4
space inde
n
ts consisten
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
C
a
rpent
e
r
sval:
m
ath:
fix get_value()
f
or !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpe
n
ter
chec
k
_sizeo
f
_pointer: complain about sizeof(&foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
hooks: add a SIZ
E
OF
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
s
v
al: make cast_rl() pr
e
serve things bet
t
er across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Ca
r
penter
sva
l
: t
y
pe:
h
andle typ
e
_bits(
)
f
or
add
r
esses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpent
e
r
sval:
t
ype: use type_bits()
t
hrough out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
C
a
rpen
t
er
sval: fixup calls to s
v
al_cmp_val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpen
t
er
sval: type: hack select types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Car
p
en
t
er
e
xtra:
r
emove
d
ebuggi
n
g ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
a
dd sval_is_negative(
)
/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sval: take the ty
p
e
i
nto consideration wh
e
n doing an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
sval: cast things c
o
rrectly in sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
B
a
rt
Van Assche
s
v
al: unin
i
tialized var
i
a
b
l
e
warning
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hooks: fix MACR
O
_ASSIGNME
N
T_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpente
r
flow: hooks: int
r
oduce
G
L
OB
A
L
_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
sval:
i
n
t
rodu
c
e s
v
al
_
bits_use
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
t
y
pe:
intro
d
uce
t
ype_
b
its()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Car
p
enter
Merge branch 'sva
l
' into mer
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carp
e
nte
r
sval: ranges: set
c
orrect ma
x
in ca
s
t_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Car
p
ent
e
r
sval: db:
cast
parameter
s
to t
h
e c
o
rrect type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
r
penter
sval: ext
r
a
:
handle
assig
n
ments bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
val: cas
t
t
h
e re
t
u
r
n types befo
r
e
entering
them into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval:
extra
:
t
ype i
n
format
i
o
n was
being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sval: flip the s
w
itch and don't use s32min-s32max instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpente
r
sval:
s
i
gned: fix val
i
dation
t
e
st and update
format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
penter
validatio
n
:
signe
d
: update validation test to refl
e
c
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
W
olfram Sang
Make
f
ile
:
d
ro
p
superfluous trailing '/'
commit
|
commitdiff
|
tree
2012-11-14
Dan C
a
rpenter
math: clea
n
up som
e
naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
Carp
e
nt
e
r
math:
add fuzzy_max and f
u
zzy_
m
in
to implied_opposite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
sv
a
l: math: fix
h
ow
n
egate
operat
i
ons are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carpenter
sval: abs
o
lu
t
e: fix
r
eversed co
n
dit
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan
Carpe
n
ter
sval:
yo
u
're not allowed to
divide LLONG_M
I
N by -1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Car
p
e
n
t
e
r
s
v
al: fix parse_v
a
lue
_
ranges
_
t
ype
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: re
-
in
t
roduce sval_is_a_min()
sva
l
_is_a_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpent
e
r
s
v
al: don't
invent b
o
gus range in alloc_rang
e
_
h
elpe
r
_s
v
al()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
D
a
n
C
a
rp
e
nt
e
r
sval: use typed version o
f
parse_value_ranges() througho
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next