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
states: fix __set_sm() when a fake_cur_slist is being used
2012-12-14
D
a
n Car
p
enter
st
a
tes: fix __set
_
sm() wh
e
n a fake_cur_
s
list is b
e
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n Carpenter
funct
i
on_h
o
oks: add some calls to
__unnullify_path(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan C
a
rpenter
ranges:
i
ntroduce rl_
i
nvert()
,
rl_filte
r
() and rl_intersection()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
Carpenter
extra: fix a bug
in how pointers ar
e
set inside
c
alled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
estate: introduce get_implied_est
a
te
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carp
e
nter
e
x
tra: est
a
te
:
mov
e
merge_estate() from ex
t
ra t
o
e
s
tat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra: parse asm
and
unops after everyone else is fi
n
is
h
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpenter
pointer_math:
c
heck for (int *
)
p
+= sizeof(int);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpenter
tree
w
ide: fix some memo
r
y
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Carpe
n
ter
Revert
"
c
onst
r
aints: fix bug in
remove_from_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
r
penter
s
l
ist: fix some debu
g
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
an Carp
e
nter
s
l
ist: compil
e
e
rror in d
e
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
arpenter
c
o
nstrain
t
s
: fix a me
m
ory l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan C
a
rpenter
cons
t
raints: fix bug
i
n remo
v
e_from
_
equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Carpen
t
er
constr
a
ints: use
c
mp
_
rela
t
ion() instead
o
f custom
c
o
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Carpe
n
ter
conditi
o
ns: re
w
ork
_
_is_condition_assign
(
) => is_condition
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
D
a
n C
a
r
p
e
nter
db: re
m
ove
get_
r
e
t
u
rn_i
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
parse_call_mat
h
:
update to new return_states API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
user
_
data: move
t
o
the return_states A
P
I
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
ext
r
a: move return_value
_
p
aram to the
n
ew return_sta
t
es API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Car
p
enter
states: intro
d
uce get_all_stat
e
_slis
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carp
e
nter
db:
call return_sta
t
es at the end o
f
the functio
n
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fi
x
return
ranges for the r
e
turn_st
a
tes
c
al
l
backs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpe
n
ter
db:
change
print_retu
r
ned
_
s
t
ruct_members() to new API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
d
b
: introd
u
ce add_ret
u
rned_st
a
te_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: pass
the
return_
i
d to the struc
t
member
callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Da
n
Carpenter
modification_hooks
:
h
a
n
d
l
e inline assembly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
info:
d
erefere
n
ces_param: p
r
i
n
t
the dereferences even
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
Dan
Carpenter
db: handle global function assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Ca
r
p
e
nter
e
xtra: info:
d
on't print e
m
p
t
y states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpen
t
er
absolute: use get_implied_
m
in() inste
a
d of get_implied
_
value(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carp
e
nter
e
xtra: sav
e
more modi
f
ied p
o
i
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nt
e
r
db: chang
e
s
m
db
_
return_info
.
sh to smdb_return_
v
al
u
e
s
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpente
r
e
x
t
ra: db: recor
d
when
people modify pointers
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpente
r
extra
:
move
--info
h
oo
k
s
l
ate
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carp
e
nter
db: move
free_slis
t
() in
s
ide the
loop and fix a
memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpe
n
ter
h
elper:
i
ntroduce get_param_num_f
r
om_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
an Ca
r
penter
db: save stru
c
t member values across ret
u
rn
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Carp
e
nter
type:
r
ename get
_
pa
r
a
m
_typ
e
_fro
m
_key()
=> get_member_
t
y
pe_
f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n C
a
rpenter
flow: im
p
lied:
fix how sw
i
tch statements are han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
a
n Carpenter
generisize
.
pl: remo
v
e u16max
a
nd frie
n
ds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an
C
arpenter
ex
t
r
a
: tweak han
d
ling o
f
a
bsolut
e
min/max
i
n
c
ompari
s
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
math: ignor
e
fuz
z
y maxes that are ty
p
e_min() + 1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpent
e
r
math:
overflow im
p
lies that there i
s
no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
C
arpenter
m
a
th: over
f
lows in hard max ar
e
unde
f
ined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n C
a
rpenter
extra: h
a
ndle loops where w
i
thout
a
hard max that don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n
Carpenter
ex
t
ra: clear hard
max if w
e
a
re fallin
g
bac
k
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra: ge
t
m
ax correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
xt
r
a: set
hard max
c
orrectly in
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra: if (unsigned >= unsigne
d
) {: Alw
a
ys true
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
math:
check for ov
e
rflows when calculati
n
g the max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
arpen
t
er
con
d
ition
s
: preserve the type in select assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type:
c
leanp ge
t
_mem
b
e
r_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpen
t
er
extra
:
t
y
pe: get the member type when l
o
ading val
u
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
en
t
er
debug: add
__smatc
h
_debug_imp
l
ied_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
a
n Carpenter
d
ebug: in
t
roduce
l
ocal_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carp
e
nter
extra:
r
evers
e
max()/min() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
sva
l
: handle ca
n
oni
c
al for loo
p
s dif
f
erently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpenter
s
v
a
l
: conv
e
rt SH
R
T_MAX to s
1
6max in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpenter
funct
i
on_hooks: consider the return t
y
pe
of the funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Da
n
Carpenter
extra: remove some d
u
pli
c
ate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan C
a
r
penter
math: change ho
w
MOD operations are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
C
arpenter
math: count
s
ome more
t
h
ings a
s
impli
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Da
n
Carpente
r
e
x
tra: type: m
o
v
e
get_arge_type() to smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
extra: math: move
g
et_
i
mplied_range_list() to
s
m
atch_m
a
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
sva
l
: ex
t
r
a: get_i
m
plied_r
a
nge_list() return w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
s
c
ripts: trace params use
4
spac
e
indents consistentl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
m
ath: fix get_valu
e
() for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpen
t
er
check_siz
e
of_pointer: complain about sizeof(&
f
oo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpent
e
r
h
o
oks:
a
dd a S
I
ZEOF_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n C
a
rpenter
sval: mak
e
cast_rl() pr
e
serve thi
n
g
s b
e
tter across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval
:
typ
e
: handle type_bits()
for addresses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Car
p
enter
sval: type: use
t
ype_
b
i
t
s() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arpenter
sva
l
: fixup
c
a
lls to sval_
c
m
p_
v
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Da
n
Carpente
r
sval
:
type
:
hack select typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
extra: remove
de
b
ugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval:
a
dd sval_is_negative()/posi
t
ive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
n
t
er
sval: take
t
h
e t
y
pe into consid
e
rati
o
n when do
i
ng an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpenter
sval: cast t
h
ings
co
r
rectly
in sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Bart
V
an Assche
sval:
uninitialized variable war
n
ing
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpenter
flow: hook
s
: fix
M
ACRO_AS
S
IGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpent
e
r
flow: hooks: introduc
e
G
L
O
BAL_ASSIGNMENT_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carpenter
sv
a
l
:
introduc
e
sval_bits_used()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
typ
e
: introduce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
M
e
rge bra
n
ch 'sva
l
'
i
nto merge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carp
e
nter
s
v
al: ranges: set
c
orre
c
t max in cast_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Car
p
enter
s
val: db: cast parameters to t
h
e correct type before
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sva
l
:
e
xtra: handle ass
i
gnmen
t
s bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval:
c
a
s
t the return types befor
e
ente
r
ing them i
n
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpente
r
sval
:
extra: type information
w
as being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan C
a
r
penter
sval: f
l
ip
the switch and
d
on't u
s
e s32min-s32
m
ax in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
s
v
al: signed:
fix v
a
lidatio
n
test
and update fo
r
mat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n
Carpen
t
er
va
l
i
dation: signed
:
u
pdate va
l
i
dat
i
on test t
o
r
eflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
W
olfram Sang
Makefile: dro
p
s
uperfluous
trailing '/'
commit
|
commitdiff
|
tree
2012-11-14
Da
n
Carpen
t
er
math: cleanup
s
ome na
m
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Da
n
Carp
e
nter
math: add fuzzy_max and fuzzy_min t
o
i
mplied_opposite()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an Car
p
enter
sval: math
:
f
i
x ho
w
n
e
g
ate ope
r
ations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Car
p
enter
sv
a
l
: absolute: fix reversed c
o
nd
i
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Ca
r
pent
e
r
sval: you're not a
l
low
e
d to divi
d
e LLONG
_
MIN by -
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: fi
x
parse_value_ranges_ty
p
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next