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
signed: tiny whitespace fix
2012-10-23
Dan
Carpent
e
r
sig
n
ed: tiny
whitespace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
an Car
p
enter
a
b
solute:
fix p
a
r
a
meter
i
nfo counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Car
p
en
t
er
absolut
e
:
fix how mod
i
fica
t
ions are han
d
l
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
debug: fi
x
cut
and paste bug
in pr
i
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Ca
r
pente
r
type: fix get_binop_type()
for bit
shift opera
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
an Carpent
e
r
wh
i
tespace: add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpe
n
ter
ab
s
olute
:
track the absolute
limits that variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: impr
o
ve how get_absolut
e
_min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan
C
arpenter
ma
t
h: improve ho
w
known
lo
g
ical opera
t
ions
are
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
D
an
Carpenter
ty
p
e: simplify get_bi
n
op_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan C
a
rpenter
typ
e
:
improve handli
n
g
o
f
type p
r
omot
i
on on b
i
n
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
a
n Carpenter
ex
t
ra: de
l
ete s
o
m
e
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Ca
r
pe
n
ter
ranges: parse the ranges list
c
orrectly if
i
t
only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: known conditions
are equal to one or z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
math: handle select sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helper
:
imp
r
ove pr
i
n
ted m
e
ssages a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
e
x
tra:
h
an
d
l
e
asm exp
r
ess
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpent
e
r
dereferences_param: ha
n
dle st
r
c
mp()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
D
an Carpen
t
er
r
a
n
ges: k
i
ll the "Er
r
or invalid rang
e
messa
g
e"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Da
n
Car
p
e
n
ter
assigned_expr: ign
o
re
+
=
a
s
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpente
r
f
u
nc
t
ion_
h
oo
k
s:
whi
t
e space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
arpenter
funct
i
on_hooks
:
use the stripped f
u
nction
c
al
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Car
p
enter
d
b
, buf_size, parse
_
c
all_math: t
r
ack the size of re
t
urned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpente
r
get_implied_range_list: use
t
he
n
ew function hook
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Car
p
enter
impli
e
d_va
l
ue: don't
g
e
t confused by casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
p
ente
r
db/return_states: fix ret
u
rn values f
o
r USE
R
_DAT
A
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
fu
n
c
t
io
n
_hooks: clean up some nam
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
C
arpe
n
ter
function
_
hooks: introduc
e
get
_
i
mplied_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n
Car
p
enter
mis
c
: white
s
pace c
l
ea
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db_caller_
i
nfo: add so
m
e commen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db, functio
n
_hooks: pas
s
a
ssignmen
t
expression to t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan
C
arpe
n
ter
buf_size: introd
u
ce
g
et_array_size_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Ho
r
st H
.
von Brand
In
s
tall cg
c
c t
o
o
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how the
m
in() macro is
h
andled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpe
n
ter
bu
f
_size:
db: Use the --sp
a
mmy o
p
t
i
o
n to fill the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan C
a
rpente
r
buf_size:
merging
two
same size
b
uffers giv
e
a
same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_size: record s
t
ati
c
varia
b
l
es
i
n the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpent
e
r
p
r
oc
_
create: fix
a
wh
i
te
s
pace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Carpenter
b
uf_size, db: if a st
r
uct member size is set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpenter
check_kernel: fix ERR_PTR() f
a
lse
p
osi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
Dan Carpenter
log
i
cal_instead_of_bitwise: foo = (1 <
<
x) && y; i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan
C
a
r
p
e
nter
l
o
cking: _
b
h
l
ock f
u
nctions are nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: introd
u
ce filter_range_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
Carpenter
kernel: handle
I
S_ERR() p
r
operly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
d
b
_
info: remove un
u
sed pr
i
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
e
xtra,
f
unction_hooks,
d
b: change
cro
s
s function an
a
ly
s
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: remo
v
e
the return_info ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smat
c
h_data:
update the data director to the latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
en
t
er
db: c
a
ller_i
n
fo:
f
ix more fall
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpen
t
er
db: type_size: silence a pe
r
l warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: caller_info:
u
pdate fi
x
up_kernel
.
s
h
to the ne
w
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpenter
ex
t
ra: ge
t
_imp
l
ied_range_list()
should return 0
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
ser_
d
ata: use
t
he new return_states
d
a
tabase table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
u
s
e
r
_
d
ata
:
syscal
l
s are
a
sou
r
ce of user
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
rpenter
user_
d
ata
:
if "ptr
"
i
s
u
ser data then
"*
p
tr" is user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
user_data:
a
dd
i
s_user_m
a
cro() stub
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
rpenter
user_data:
s
kb->data is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
extra: make a
f
un
c
tion st
a
t
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nte
r
db: cre
a
te
r
et
u
rn_states
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
db: add get_return_id() and re
t
urn mark
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
d
b: im
p
rove er
r
or m
e
ssa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db:
caller_info changes
:
store the caller,
param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Carpenter
db: add
r
e
turn_valu
e
s table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
err_ptr
_
deref:
r
emo
v
e d
u
plicate conflict
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n
C
arp
e
nter
function_h
o
oks: move re
g
istration to
t
he right place
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair Moha
m
m
e
d
A
bd
u
llah
Fix bug i
n
Makefile that caus
e
s linking to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Ca
r
p
e
nter
der
e
f_chec
k
:
r
e
m
ove dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
mi
s
c whit
e
space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: change debu
g
g
ing
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carp
e
nt
e
r
checks: g
e
t rid of so
m
e
delete_st
a
te() ca
l
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
de
r
ef_check: fi
x
a fa
l
se positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Chri
s
toph
e
r Li
Fix a
b
ug with var
i
a
b
l
es named "x86_64
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carp
e
n
t
er
sparse: co
m
ment out an i
n
t
e
rnal error m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carpenter
Merge
git:/
/
git
.
ke
r
n
el
.
or
g
/pub/scm/devel/s
p
ar
s
e/
c
h
r
isl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Carpenter
*new*
assign_v
s
_compare: if ((x = <co
n
s
tant>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpenter
ranges: introduce
r
l_conti
g
u
o
u
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
deref_check
:
silence s
o
me false positive on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan C
a
r
p
e
n
ter
fill_db_call
_
implies: check c
o
rrect variab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
fill
_
d
b
_
r
eturn_implies: del
e
te the correct table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n
Carpe
n
te
r
pointer
_
math:
c
heck
ALIG
N
() macro math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Dan C
a
rpenter
helper: h
a
ndle if (WA
R
N_ON(i
=
= ARRA
Y
_SIZE(
f
o
o)) re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
smatch_
s
cripts:
fix s
p
elli
n
g of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan
N
eu
s
c
h
äfer
smatch: fix several typ
o
s
commit
|
commitdiff
|
tree
2012-06-22
Da
n
C
a
rpe
n
ter
assigned_expr: m
o
ve
c
h
eck_as
s
igned_expr() to
s
m
a
t
ch
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Dan
Carpe
n
ter
macro_side_effects:
onl
y
enable when --spammy is use
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
ignore_side_effects:
a
dd some m
o
re macros that
have
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Da
n
Car
p
enter
buf_size: add --spamm
y
to validation tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
o
verflow: r
e
move strncpy
(
)
false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Ca
r
penter
M
erge b
r
anch 'deve
l
'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpen
t
e
r
buf_size: t
u
r
n off buf s
i
ze fo
r
&addre
s
se
s
unl
e
ss
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n C
a
rpenter
flo
w
: ha
n
d
le the __noreturn__ attr
i
bute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
buf_size:
r
emo
v
e the &* an
d
[0] from ar
o
u
n
d the poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI Motohiro
sparse: Add '
e
rror' to i
g
nored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
KI
Motohiro
sparse: Add '__
v
ector_si
z
e__
'
t
o igno
r
ed attr
i
bute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm
_
b
u
f: don't return the maximum st
o
re
bu
f
fer siz
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
buf_size: ret
u
rn the size of &foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf_size: add
k
malloc_array() a
n
d s
o
ck_kma
l
loc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
pe
n
ter
buf_siz
e
: if the member size is no
t
known the
n
store
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
Merge branch 'buf_
s
i
ze' into devel
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpen
t
er
Merge
g
it://gi
t
.
kernel
.
org/pub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
next