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
check_precedence: fix a segfault
2012-11-01
Dan Carpenter
check
_
precedence:
f
ix
a segf
a
ult
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
un
w
ind: o
n
ly
e
nable with --spammy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan C
a
rpe
n
ter
d
b
: don't turn Rai
s
eError on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
de
v
_
q
ueue_xmit: tu
r
n
o
n
b
y
d
efault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
db:
a
dd a co
m
m
e
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpenter
signed:
tiny whit
e
s
pace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
an Carpent
e
r
a
b
s
olute: fix para
m
et
e
r info c
o
unting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpe
n
ter
ab
s
ol
u
te: fix how
m
o
dificatio
n
s are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
de
b
ug: fix cut and pa
s
te bug in print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n Carpent
e
r
type: fix get_binop
_
type() for
bit sh
i
f
t
ope
r
a
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
w
hitespace: a
d
d a newlin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carp
e
nte
r
absolute: t
r
ack the
absolute limits that variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
an C
a
rpen
t
er
math: impro
v
e how
get_absolute_min
/
max
(
)
w
ork
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: improve how
k
nown l
o
gical
o
perations are
h
a
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
Dan C
a
rpente
r
t
ype: simplify get_
b
inop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan C
a
rpenter
ty
p
e: im
p
ro
v
e handling of type promotion on binary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan
Ca
r
pen
t
er
extra: d
e
l
et
e
some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
D
an Carpenter
ranges: parse the
r
anges
li
s
t corr
e
c
t
ly
if i
t
only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
an Car
p
en
t
e
r
math
:
kn
o
wn conditions are equal
to one or zer
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
Carpenter
m
a
th: handle sel
e
ct st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
helpe
r
: improve printed
m
essa
g
es a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
extra: h
a
nd
l
e asm
e
xpressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n
Ca
r
penter
dere
f
e
re
n
ces
_
param: handle st
r
cmp(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpen
t
er
rang
e
s
: kill the "
E
r
r
or invalid r
a
nge message"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
rp
e
nter
ass
i
g
n
ed_expr: ign
o
re += assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpenter
f
u
n
ction_hooks:
w
hite
s
pac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan
C
a
rpenter
functio
n
_hook
s
: use the stripped function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Car
p
enter
d
b, buf_size, parse_call_math:
t
rack the
s
ize of returned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
C
arpenter
get_implie
d
_r
a
n
g
e_list
:
use the new function
h
ooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan
Carp
e
nt
e
r
implied_value: don'
t
g
e
t
confuse
d
by
ca
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpe
n
ter
d
b
/return_state
s
: fi
x
re
t
urn v
a
lue
s
for USER
_
D
A
TA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function
_
hooks: c
l
ean up som
e
n
a
ming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan
Carpenter
functi
o
n_hooks: i
n
t
r
oduce get_impli
e
d_return(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
pente
r
mi
s
c:
w
h
i
tespace clean
u
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carp
e
nter
db_
c
aller_
i
n
fo: add some
c
omments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an
C
a
rpent
e
r
db, fun
c
t
i
on_hoo
k
s: pass assignment expres
s
ion
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Da
n
Carpenter
buf_size: introduce get_arra
y
_s
i
ze_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Br
a
nd
Install
cgcc
t
oo
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
capped: fix how the
m
in
(
) m
a
c
r
o is handled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Car
p
enter
b
uf_si
z
e: db: Use the -
-
spammy
o
p
tio
n
to
fill
t
he da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
b
u
f_
s
ize: merg
i
ng tw
o
same
s
i
z
e buffers give a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
buf_si
z
e: recor
d
static variables
in the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
pr
o
c_create: fix a whitespace issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
D
a
n
C
arp
e
nter
buf_size
,
db:
i
f a s
t
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
c
heck_kernel: fix ERR_PTR() false
positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-16
D
an Carpe
n
ter
logical_inste
a
d_of_bitwise: foo = (1 << x) &&
y
;
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpent
e
r
loc
k
ing: _b
h
lock functions are
nestable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
arpenter
extra: introduce filter_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
kerne
l
:
handle I
S
_ER
R
(
)
p
rop
e
rly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_in
f
o: remove unused
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rp
e
nter
extra, function_hooks, db: cha
n
ge cross func
t
i
on analys
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Car
p
enter
db: remove
t
he r
e
turn_in
f
o
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
smatch_
d
ata: update the d
a
t
a
director t
o
the
latest
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: caller_in
f
o:
fix more fal
l
out
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
db:
t
ype_si
z
e
:
sile
n
ce a perl
wa
r
ning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
c
a
l
ler_
i
nfo: update fixup_kernel
.
s
h to
the new
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: get_implied_r
a
nge_li
s
t() s
h
ould retu
r
n 0 if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
a
r
penter
user_dat
a
:
u
se the n
e
w return_states database t
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
e
n
t
e
r
user_data
:
syscalls a
r
e a source o
f
user da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r
_
data: if "
p
tr" is user data th
e
n "*ptr"
i
s user
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_data: add is_user
_
macr
o
() st
u
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
u
s
e
r
_
data:
s
k
b
-
>dat
a
is user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
e
x
tra:
m
ake a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: create
r
e
turn_sta
t
e
s
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: ad
d
get_retu
r
n_id()
a
n
d retu
r
n
m
a
r
kers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: impr
o
ve error
m
essage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
ar
p
enter
db: ca
l
ler_in
f
o changes: store the
caller, param =
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: add ret
u
r
n
_values tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
er
r
_ptr_deref: remove dupl
i
cat
e
con
f
lictin
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-13
D
a
n
Carp
e
nter
fun
c
t
ion_hooks
:
move registration to
th
e
right plac
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-08-09
Omair
Moha
m
med
A
bdulla
h
Fix bug in Make
f
ile that causes linking to f
a
i
l
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpenter
deref_check: remo
v
e dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Car
p
ente
r
m
isc whit
e
spa
c
e
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied: change debuggi
n
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
checks
:
get rid of some d
e
lete_
s
tate(
)
calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-31
Dan
C
a
r
p
e
n
t
er
deref_ch
e
c
k: fix
a
false positi
v
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Christo
p
h
er Li
Fix
a bug w
i
th variables na
m
ed
"
x8
6
_6
4
"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-30
Dan C
a
rpenter
sparse:
c
omm
e
nt out
an inter
n
al
error m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-26
Dan Ca
r
penter
Mer
g
e git://g
i
t
.
kern
e
l
.
o
rg/
p
u
b
/scm/devel/sparse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan Ca
r
pen
t
er
*new* a
s
s
ign_vs_
c
ompare: if ((x =
<consta
n
t>)) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
C
arpen
t
er
ranges:
i
n
t
r
oduc
e
rl_contiguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
D
an Carpenter
deref_chec
k
: sile
n
ce some false pos
i
tive on cross function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpenter
fill_db_call_
i
mpl
i
e
s
: c
h
eck correct va
r
i
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carpente
r
fill_d
b
_retu
r
n_i
m
plies: delet
e
t
he correct
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carpe
n
ter
pointer_math: c
h
eck
A
L
I
GN()
m
acro m
a
th
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-11
Da
n
Car
p
ente
r
helpe
r
: h
a
n
d
l
e if (WARN
_
O
N
(i == ARRAY_SI
Z
E
(foo
)
) return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan N
e
uschäfer
smatch
_
s
crip
t
s: fix spelling
o
f
"
usa
g
e"
commit
|
commitdiff
|
tree
2012-07-02
J
onathan Neuschäfer
smat
c
h: fix
seve
r
a
l
typos
commit
|
commitdiff
|
tree
2012-06-22
Da
n
Carpenter
a
s
signed_e
x
pr: mo
v
e
c
h
e
ck_assign
e
d_expr() t
o
smatc
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Ca
r
pen
t
er
ma
c
ro
_
s
i
d
e_effects: o
n
ly ena
b
l
e whe
n
--spammy
i
s
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n
C
arp
e
nter
ignore_
s
ide_effects: add
some more macros that ha
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Car
p
e
nter
bu
f
_
size:
add --spammy
t
o
vali
d
atio
n
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpe
n
ter
o
v
erflow: remove strncpy()
f
a
lse posit
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
Me
r
g
e
branc
h
'devel'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: turn off buf size for &add
r
e
s
ses unless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
Dan
Carpenter
flo
w
: handle
the
__noreturn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Car
p
e
n
t
e
r
buf_size: remove
the
&
* and [
0
] from around the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOS
A
K
I Motohiro
sparse: Add 'error
'
to ignored attribu
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KOSA
K
I Mot
o
hiro
sparse: Ad
d
'__
v
ect
o
r_size__' to ignored attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
D
an
Carpenter
sm_b
u
f: don't return the maximum s
t
ore buffer size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next