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
implied: introduce overwrite_states_using_pool()
2012-12-14
D
an
C
arpenter
implied: introduce overw
r
ite_st
a
tes
_
u
sing_pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Carpenter
states: fix __set_sm()
w
h
en a fake_cu
r
_slist is being
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
a
n
C
a
rpe
n
ter
function_hooks: add some ca
l
ls to __unn
u
llify_path
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpente
r
range
s
: in
t
roduce rl
_
invert()
,
r
l
_filter() a
n
d rl
_
inters
e
c
ti
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
extra:
f
ix
a b
u
g in
how poi
n
ters are
set
i
nside
call
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
e
s
tate: intr
o
duce get_impli
e
d_estate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan
Car
p
enter
extra: estate:
m
ov
e
me
r
ge_
e
state() from
extra
to e
s
t
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Car
p
ent
e
r
ex
t
ra:
p
a
rse
a
sm a
n
d unops after e
v
eryone else is finished
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpe
n
ter
pointer_
m
ath: check for (int *)p += size
o
f(i
n
t);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
D
an Carpenter
tr
e
ew
i
de:
f
ix some
memor
y
l
e
aks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-10
Dan Carpent
e
r
Revert "constraints: fix bug in remo
v
e_fr
o
m
_equiv()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
Ca
r
pe
n
ter
sli
s
t:
fix som
e
debug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan Ca
r
pente
r
slist: compile
error in debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n Carpenter
constrain
t
s
: fix
a
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
Dan
C
a
rpent
e
r
constra
i
nts:
f
i
x bug in remov
e
_fr
o
m_e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-08
D
a
n
C
arp
e
nter
constraints: us
e
cmp_relation() instead of custom code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-07
Dan Car
p
ente
r
conditions: rework __is_condition_as
s
ign(
)
=> i
s
_
condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-06
D
an Carpent
e
r
d
b: remov
e
get_return_id()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
par
s
e
_call_math
:
u
p
date t
o
new r
e
turn_
s
tates
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpen
t
er
user_data: move
to the r
e
turn_state
s
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n
Carpe
n
t
e
r
e
xtra: move
return
_
value_param to
t
he new ret
u
rn_st
a
tes API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n Carpenter
states: in
t
roduce
g
et_all_sta
t
e_s
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
a
n C
a
r
p
ente
r
db: c
a
ll
r
eturn_states at th
e
end of
the fu
n
ction if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: fix
ret
u
rn range
s
for the r
e
t
urn_states callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan
Carpenter
db
:
c
h
an
g
e
print_returned_
s
truct
_
me
m
be
r
s
(
) to new
A
PI
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
db: int
r
o
duc
e
a
d
d
_returned_
s
tate_c
a
llback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
D
an Carpenter
db:
p
ass the r
e
tu
r
n_id to
t
he stru
c
t member callbacks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpenter
modif
i
cation_h
o
oks: han
d
le inline
assembl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-05
Dan Carpent
e
r
info: dere
f
erences_p
a
ram:
print t
h
e de
r
e
f
erence
s
e
ven
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-03
D
an Carpenter
db: h
a
ndle global function a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-30
Dan Carpenter
e
x
t
r
a: info: don
'
t
p
rint empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan C
a
rpenter
absolute: use get_impli
e
d_min() instead
of get_im
p
li
e
d
_va
l
ue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-29
Dan Carpenter
e
xtra: s
a
ve
m
ore modi
f
ied po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpenter
db:
c
ha
n
ge sm
d
b
_
return_in
f
o
.
sh
to smdb_return_values
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
D
an Carpenter
extra: db:
r
ecord
w
hen pe
o
ple modify pointer
s
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan Carpen
t
er
extra: move --info hoo
k
s la
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Da
n
C
a
r
penter
db: move f
r
ee_s
l
ist(
)
i
n
si
d
e t
h
e
loop
a
nd fix a memory
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-28
Dan
Carpe
n
ter
helper: introduce get_p
a
ram_num_fr
o
m
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
D
a
n
Carpente
r
d
b
: save struct member values across
r
e
turn
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-27
Dan Ca
r
penter
type:
r
e
n
ame g
e
t_param_type_from_key(
)
=>
g
et_me
m
ber_type_f
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an C
a
rpenter
flow:
implied
:
fix
h
o
w switch st
a
tements a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carpenter
generisize
.
p
l
: r
e
mo
v
e u16ma
x
and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Dan Carp
e
nter
e
x
tra: tweak hand
l
ing of
absolute min
/
max in comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
Da
n
C
a
rpent
e
r
ma
t
h:
i
g
nor
e
fuzzy max
e
s
t
hat are type_min() +
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-26
D
an Carpenter
math: overflow implies tha
t
there is no fuzzy max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
m
ath: overflows i
n
hard ma
x
are unde
f
ined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpe
n
ter
extra: handle loops w
h
ere without
a
hard
m
ax t
h
at
d
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
e
x
tra: cle
a
r
hard max i
f
we are fallin
g
back
t
o th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
C
a
r
pen
t
er
extra: get max correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
ext
r
a:
s
e
t h
a
rd max correctly in loo
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
extra: if (unsigned >= unsig
n
ed) {: Always true if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
mat
h
: check for overflows when
c
a
lculating
t
he
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
D
an Carpenter
c
o
n
ditio
n
s
:
preserv
e
t
h
e
t
ype
i
n select assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Carpenter
type: cleanp get_membe
r
_symbol()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Da
n
Carpe
n
t
er
extra: type: ge
t
th
e
member type when loading value
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan
Carpenter
debug:
a
dd __smatch_
d
ebug
_
impl
i
ed_on/off()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan C
a
rpenter
debug:
i
ntroduce
local_debug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-23
Dan Car
p
enter
extra:
r
everse
max()/m
i
n() test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan C
a
rpe
n
ter
sv
a
l: handle canonical
for loops differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
a
n Carpente
r
sval: conve
r
t
SHRT_MAX to s16m
a
x in
t
he
ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
D
an Carpenter
function_hooks: conside
r
the
r
eturn type of t
h
e fu
n
ction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-21
Dan Carpent
e
r
ext
r
a:
r
emove
so
m
e dupl
i
cate code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan Carpenter
mat
h
: change how MOD
o
perations are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
Carpente
r
m
a
th: count some m
o
re things as implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
extra: type: m
o
ve g
e
t_arge_
t
ype()
to smatch_type
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
Dan
C
arpenter
extra: math: mo
v
e g
e
t_imp
l
ied_range_list(
)
t
o
sm
a
tch_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n
Carpenter
sval
:
e
xtra:
get_
i
mplied_range_list() return whole
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-20
D
a
n Carpenter
s
c
ripts: trace para
m
s u
s
e
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
a
t
h:
f
ix
get_value(
)
for !foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carpen
t
er
check_sizeof_poi
n
ter: compla
i
n about siz
e
of(&foo
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Ca
r
penter
ho
o
ks: add a SIZE
O
F
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Car
p
e
n
t
er
sval: make cast_rl() preserve things
b
etter across
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan C
a
rpenter
sval: type: handle type_b
i
ts(
)
for addre
s
ses
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
sval: t
y
p
e: use type_
b
its() through out
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Ca
r
penter
sval: fixup
calls t
o
sva
l
_cmp_va
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
an Car
p
e
n
t
er
sval: type: hac
k
select
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
C
arp
e
n
t
er
e
xtra: remove de
b
uggi
n
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan Carp
e
nter
s
v
a
l: ad
d
sval
_
is
_
negative()/positive()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
D
a
n Carpenter
sval:
t
ak
e
the type into cons
i
deratio
n
when doing
a
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
Dan
Carpen
t
e
r
sval: cast
things corr
e
c
t
ly in sval_cmp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-19
B
a
r
t Van Assche
sval: uni
n
itia
l
ized variable warning
commit
|
commitdiff
|
tree
2012-11-17
Dan C
a
rpenter
f
low:
hooks: fix MACRO_
A
SSIGNM
E
NT_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Dan Carpen
t
e
r
flow: hooks: introduc
e
GLOBAL_A
S
SI
G
NMEN
T
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-17
Da
n
Carpenter
sval: introdu
c
e
sval_bits_used
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
typ
e
:
intr
o
duce type_bits()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carp
e
nter
Merge branch '
s
val' into
m
er
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
sval: ranges: set
c
orrect
max in cast
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Ca
r
penter
sval: d
b
: cast param
e
ters to t
h
e correct type
b
efore
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
D
a
n Carpenter
sval
:
extra: handle as
s
ignm
e
n
ts
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
C
a
rpenter
sval: cas
t
the return type
s
before entering
th
e
m
i
n
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Da
n
Carpente
r
sval: extra: t
y
p
e
infor
m
ation was being lost in ++
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Ca
r
pent
e
r
sval: flip the switch and don't us
e
s32min
-
s32max
ins
t
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan
Carpenter
s
val: signed
:
fix validat
i
o
n
test
a
nd
update format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-15
Dan Carpenter
val
i
dat
i
on:
si
g
ned:
update vali
d
ation test to
r
eflect
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
W
o
lfram Sang
M
ake
f
il
e
: drop supe
r
fluous trailing '/'
commit
|
commitdiff
|
tree
2012-11-14
Da
n
C
a
rpenter
m
a
th: cle
a
nup som
e
nami
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an C
a
rpenter
math: add
fuzzy_max and fuzz
y
_
min t
o
i
m
plied_opposit
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
Dan Carp
e
nter
sval: math: f
i
x how n
e
gate
ope
r
ations are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-14
D
an Car
p
enter
sv
a
l: absolu
t
e: fix reversed condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-13
Dan Carpenter
sval: you're
not allowed to divide LLONG_M
I
N by -
1
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next