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
db: don't turn RaiseError on
2012-10-25
Dan Carpenter
db: do
n
't turn Rais
e
Error on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-25
Dan Carpenter
dev_queue_x
m
it: turn on by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Car
p
enter
db:
a
dd
a
comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpen
t
e
r
signed:
t
iny whitesp
a
ce f
i
x
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute: fix pa
r
a
meter info
cou
n
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
absolute: fix how
mo
d
ifica
t
ions are han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpent
e
r
debu
g
: fix cut and paste bug in print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpe
n
ter
t
y
pe: fix get_binop_
t
y
pe() for bit shift
o
perations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Da
n
Carpenter
white
s
pa
c
e: add
a newline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolute: track the absolute limits that variab
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n
C
a
r
p
enter
math: i
m
prove ho
w
get_abs
o
lute_min/ma
x
() work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpenter
math: improve how know
n
lo
g
ical op
e
rations are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
D
an Carpenter
type: simp
l
i
f
y
get_binop_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan Ca
r
p
enter
type: i
m
prove ha
n
dling o
f
type promotion on bin
a
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpent
e
r
e
x
tra: delete som
e
debu
g
c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
D
an Carpenter
ranges: parse th
e
ran
g
es
l
ist correct
l
y if it only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
m
a
th: known condi
t
ions are e
q
u
a
l to one
o
r zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arp
e
nter
mat
h
: handle select statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan C
a
rp
e
nter
helper: improve printed
m
essages a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
extra: ha
n
d
l
e as
m
expressio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dereferences_pa
r
am: handle strcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan C
a
r
p
enter
range
s
:
k
ill the "Error in
v
a
l
id ran
g
e mes
s
age"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan
C
a
rpenter
assigned_expr: ignore += a
s
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n
Carp
e
nter
f
u
nction_hooks:
white space
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n Carpenter
f
u
nction_hook
s
: u
s
e th
e
stripped function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Ca
r
penter
db
,
buf_
s
ize,
parse_
c
all_mat
h
:
t
r
a
ck the size of
r
eturne
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
D
a
n Carpen
t
er
g
e
t_impli
e
d_range_list: use the
n
ew
function hooks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
i
mpl
i
ed_value:
d
o
n't g
e
t confu
s
ed by casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpen
t
er
d
b
/return
_
states
:
f
i
x return values for USER_
D
A
T
A
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Ca
r
penter
fun
c
tion_ho
o
ks: clean up s
o
me n
a
mi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Car
p
enter
funct
i
on_hooks: intro
d
uce get_imp
l
i
ed_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
penter
m
i
s
c
: wh
i
te
s
pace
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
penter
d
b
_
ca
l
l
e
r_
i
nfo: add som
e
comme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpenter
db, function_
h
ooks: pass a
s
sign
m
ent expressio
n
to
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
D
an Carpenter
b
u
f
_size: int
r
odu
c
e ge
t
_ar
r
ay_size_byte
s
_m
i
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Brand
In
s
tall cgcc too
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
c
apped:
fix how the min() m
a
cro is
h
an
d
le
d
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpenter
buf_size: db: Use the
-
-spammy option to
fil
l
the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Da
n
C
a
rpenter
b
u
f
_size: me
r
ging two same size b
u
ffe
r
s
g
ive a
same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carp
e
n
t
er
buf
_
size: re
c
ord sta
t
ic variabl
e
s in the
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
an C
a
rpenter
proc_cr
e
ate
:
fix a wh
i
tes
p
a
c
e issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan
Carp
e
nter
buf_size,
db: if a struct membe
r
size
is s
e
t in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Ca
r
p
enter
chec
k
_kern
e
l:
fix ERR_PTR() f
a
lse
p
ositives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n Carpe
n
ter
logical_instead_of_bitwise: foo
= (1 << x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan Carpente
r
locking: _bh lo
c
k functions are ne
s
t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Ca
r
penter
extra: introduce fil
t
er_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
kerne
l
: handle
IS_
E
RR() properl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db_info: remo
v
e unused
p
rint
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arpenter
extra,
f
unction_hooks, d
b
: c
h
a
n
g
e cross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db
:
r
e
move t
h
e return_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
sm
a
tch_dat
a
: u
p
date the data director
t
o th
e
l
a
test
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: caller_info: fix more fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
db: type_size: si
l
e
n
c
e
a per
l
w
a
r
ni
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
db: caller_info
:
upd
a
te
fixup_kernel
.
sh to the new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
extra: g
e
t_imp
l
ied_
r
ang
e
_list() should ret
u
rn 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
u
s
e
r
_
d
ata
:
use
the new retu
r
n_st
a
t
es
d
atabase table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an C
a
rpente
r
user_da
t
a
:
s
y
scal
l
s
a
re a source of us
e
r data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpen
t
er
u
ser_da
t
a: if "ptr" is user data then "*pt
r
" is user
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpe
n
t
er
user_data:
a
dd is_use
r
_m
a
cro() st
u
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
user_dat
a
: s
k
b->data is user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carpenter
e
xt
r
a
:
m
ak
e
a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
db: create re
t
urn
_
s
t
a
tes
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpente
r
d
b: add get_return_id() and return markers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carp
e
nt
e
r
db: improve erro
r
message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: call
e
r_info changes: store the caller, param =
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db: add return_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
err_
p
tr_deref: remove d
u
plicate co
n
f
li
c
tin
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
fun
c
tion_h
o
oks: move registr
a
tio
n
t
o the r
i
ght p
l
ac
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair Mohammed Abdul
l
ah
Fix bug in Makefile that
c
ause
s
link
i
n
g
t
o
f
a
il
commit
|
commitdiff
|
tree
2012-08-09
Dan Car
p
enter
d
e
r
ef
_
check: remove dead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
m
i
s
c wh
i
te
s
pace
f
ix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
impl
i
ed:
c
hange debugging o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
che
c
ks: get rid of some
d
elete_
s
tat
e
()
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpenter
deref_check:
f
ix a false positiv
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a bug with varia
b
les named "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan C
a
rpente
r
spa
r
se
:
comment ou
t
an
inte
r
nal error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
D
a
n Car
p
e
n
ter
Merge git
:
//git
.
kernel
.
org/pu
b
/
scm/devel/sp
a
rse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
Dan
C
arp
e
nter
*new* ass
i
gn
_
v
s
_compare:
if
(
(x =
<
cons
t
ant>))
{
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpente
r
ranges: in
t
rodu
c
e rl_contig
u
o
u
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpent
e
r
deref_check:
s
ilenc
e
so
m
e false
positive
o
n cross functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Da
n
Carp
e
nter
f
ill_db_call_im
p
lies: c
h
eck c
o
rrect variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Car
p
enter
fill_d
b
_
r
eturn_implies: de
l
ete the corr
e
ct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
Dan Carp
e
n
t
er
poin
t
er_mat
h
:
c
heck ALIGN() ma
c
ro math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n
C
a
rpenter
helper: ha
n
dle if (W
A
RN_ON(i == ARRA
Y
_SIZ
E
(foo)) retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
sm
a
tc
h
_scripts: fix spell
i
ng of "usa
g
e"
commit
|
commitdiff
|
tree
2012-07-02
Jonatha
n
Neuschäfe
r
smatch
:
fix several t
y
pos
commit
|
commitdiff
|
tree
2012-06-22
Dan Ca
r
pent
e
r
assi
g
ne
d
_expr
:
mo
v
e check_assig
n
ed_expr()
t
o smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
D
a
n Carpenter
macr
o
_
side_effects: on
l
y enable whe
n
--spam
m
y
i
s used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
ignore_side_effects: add some more macros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an C
a
rpenter
buf_size:
a
dd --
s
pammy to validation tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
overflow: remove st
r
ncpy
(
) false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan C
a
rpenter
Mer
g
e
bran
c
h 'd
e
v
el'
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
turn
o
ff buf size for
&
addresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
flow: han
d
l
e
the __
n
oreturn__ attribute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size:
r
emo
v
e
the
&* and [0]
from around
t
he pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI
Moto
h
iro
sparse: Add 'erro
r
' to
ig
n
ored
a
ttributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Motoh
i
ro
sparse: Add '__vector_size__' to ignored attr
i
bute
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
an Carpenter
s
m
_bu
f
:
d
on't retur
n
t
h
e maximum store
b
u
f
fer size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carp
e
nter
buf_size:
return
the size
of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Ca
r
p
enter
buf_siz
e
: add
k
m
a
l
lo
c
_arra
y
(
)
a
n
d
sock
_
kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next