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
absolute: fix how modifications are handled
2012-10-23
Dan C
a
rpe
n
ter
ab
s
olu
t
e: f
i
x
how modific
a
tions are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
debug: fix
cut and paste bug in print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan
C
arpen
t
er
t
ype
:
fi
x
get_bin
o
p_ty
p
e
(
) for bit shift operatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
whi
t
espace: add a n
e
wline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
absolute: tr
a
ck
t
he absolu
t
e l
i
mits that va
r
iables
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
Da
n
Carpenter
math: improve how ge
t
_a
b
solute_min
/
m
ax()
work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n Carpent
e
r
m
a
th: impro
v
e how known logic
a
l
operations
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-10
Dan C
a
rpenter
type: simpli
f
y get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-09
Dan
Carpe
n
t
e
r
type: im
p
r
ove handling
of type promot
i
on on
binary
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpen
t
er
extra: delete
some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-04
Dan
C
arp
e
nter
ran
g
es: par
s
e t
h
e ranges list co
r
rectly if it
o
n
ly
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
D
a
n Carpenter
math: known conditions
a
re equa
l
t
o
on
e
or
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpe
n
ter
math: ha
n
dle sele
c
t
statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Ca
r
penter
h
e
lper
:
improve printed message
s
a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Da
n
Carpenter
extra
:
handle as
m
exp
r
essions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
dere
f
eren
c
es_para
m
: handle
s
trcmp()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Carpenter
r
a
nges: k
i
ll the "
E
rror inv
a
lid range me
s
sage"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-10-02
Dan Ca
r
penter
as
s
igned_exp
r
: ignore
+= a
s
s
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
Dan Carpent
e
r
f
u
n
c
tion_hooks: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
a
n
Carpenter
function_h
o
oks:
use th
e
s
t
r
ipped function call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-24
D
an Car
p
enter
db, buf_size, parse_call_
m
ath: track the size of returned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Da
n
Carpenter
get_
i
mplied_range
_
list:
u
se the new function
hoo
k
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpent
e
r
i
m
p
lied_va
l
u
e: don't ge
t
confused by
c
ast
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-22
Dan Ca
r
penter
db
/
return_states: fix retu
r
n values for USER_DA
T
A
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_ho
o
k
s
:
c
l
ean up
some naming
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
functio
n
_hooks: intro
d
u
ce get_implied_return()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
arpe
n
ter
mi
s
c: whitespace clea
n
ups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan Carpe
n
ter
db_cal
l
er_i
n
f
o
: add some
c
o
mments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-19
Dan
C
ar
p
enter
db,
f
u
nct
i
on_hooks: pass assignment ex
p
ress
i
on to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-17
Dan
Carpenter
buf_size: intr
o
duce ge
t
_array_size_bytes_
m
in()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Horst H
.
von Brand
Install
cgc
c
too
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arp
e
n
ter
capped: fi
x
h
ow the m
i
n() macro is h
a
n
dled
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan
Ca
r
pent
e
r
bu
f
_size
:
db:
U
se t
h
e --spam
m
y option to fill
th
e
databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpe
n
ter
buf_si
z
e: merging t
w
o
s
a
m
e size buffers g
i
ve
a same
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpenter
b
u
f_size: recor
d
static
va
r
iable
s
in the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpente
r
pro
c
_create: fix a white
s
pace issue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-11
Dan Car
p
enter
buf_size, db: if a stru
c
t
m
ember
s
ize is set i
n
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-09-09
Dan Carpente
r
che
c
k_ker
n
el: fix E
R
R_
P
TR()
false p
o
sitiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-16
D
a
n C
a
rpenter
l
ogica
l
_i
n
stea
d
_of_b
i
t
wise
:
foo = (1 << x) && y; is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-15
Dan
C
a
r
penter
l
o
cki
n
g: _bh lock fun
c
t
ions
are
n
estable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
extra: i
n
troduce filt
e
r_ran
g
e_
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
kernel: ha
n
dle IS_ERR() prop
e
rly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db_info
:
remove unused print
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
ext
r
a
, function_hooks
,
d
b
:
change cross function analysis
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
p
e
n
ter
db: remove th
e
r
e
turn_info table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
Carp
e
nter
smatch_da
t
a: u
p
date
t
he data d
i
rect
o
r to the
l
atest
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan C
a
rpenter
db: caller_info: fix mo
r
e fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db: type_
s
ize: silenc
e
a perl w
a
r
n
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpe
n
ter
db: c
a
l
l
er_info: up
d
ate fix
u
p_kernel
.
sh to
t
he
new
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n Carpenter
extra: ge
t
_
im
p
lied_range_
l
i
s
t() should return 0 if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Ca
r
penter
user_da
t
a
:
use
t
h
e n
e
w re
t
u
r
n
_
s
tates
database tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
us
e
r_data: syscalls are
a
so
u
rce of
u
ser data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Da
n
C
a
r
penter
us
e
r_dat
a
: if "ptr" is user da
t
a then "
*
ptr" is
u
ser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
C
arp
e
n
t
e
r
user
_
data: add is_u
s
er_
m
acro() stub
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
user_dat
a
: sk
b
-
>
data is user
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Car
p
enter
extra: m
a
ke a f
u
n
c
tion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
an Carpenter
db: cre
a
te r
e
turn_states tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpent
e
r
d
b
: add get_return_id() and return ma
r
ke
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan
C
arpenter
db: im
p
rove error mes
s
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
D
a
n
Ca
r
penter
db
:
call
e
r_info changes: store the caller,
para
m
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Carpenter
db:
a
d
d return_values table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-14
Dan Ca
r
penter
err_ptr_de
r
ef: remove duplicat
e
c
onflicting code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-13
Dan Carpenter
fu
n
c
t
ion_hoo
k
s
: mov
e
registration to the ri
g
ht plac
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-08-09
Omair
M
oh
a
mm
e
d Abdullah
F
i
x
b
ug in
M
akefile
that causes linking
to fail
commit
|
commitdiff
|
tree
2012-08-09
Dan Carpente
r
deref_che
c
k: remove dead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Car
p
enter
mis
c
w
hite space
f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan Carpenter
implied
:
change
debugging outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
Dan
Carpe
n
ter
c
hecks: get rid o
f
some delete_state() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-31
D
an Carpenter
deref_ch
e
ck:
f
ix a false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Christopher Li
Fix a
b
u
g
with variables named "x86_64"
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-30
Dan Carp
e
n
ter
sparse: comment out
a
n i
n
terna
l
error
mess
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-26
Dan Carp
e
nter
Merge
g
it://git
.
ker
n
el
.
org/pub/scm/d
e
vel/sp
a
r
s
e/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2012-07-24
D
a
n Carpenter
*
new* assign_vs_compare: if ((x = <constant>)) {
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
ranges: introd
u
ce rl_c
o
ntiguous
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan Carpenter
de
r
ef_check:
silence
s
ome false positive
on cross function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-20
Dan
Carpen
t
er
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
D
a
n Carpenter
fill_db_retur
n
_im
p
lies: del
e
t
e the correct
t
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-17
D
a
n
C
a
rpent
e
r
point
e
r_
m
ath: check ALIGN
(
)
mac
r
o
math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-11
D
a
n
C
a
rpente
r
hel
p
er: han
d
le if (W
A
RN_ON(i ==
A
RRAY
_
SIZE(foo))
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neuschäfer
s
match
_
sc
r
i
p
ts: fix spelling of "usage"
commit
|
commitdiff
|
tree
2012-07-02
Jonathan Neus
c
häfer
smatc
h
: fix
several typos
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
assigned_expr: move check
_
assigned
_
expr()
t
o smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan C
a
rpenter
ma
c
ro_side_effects: only enable when
-
-spa
m
my
is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-22
Dan Carpenter
i
gnore_side_effects: add some
more ma
c
ros that have
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
a
r
pen
t
er
buf_size
:
add --spa
m
m
y to validation
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpen
t
er
ove
r
fl
o
w:
remove strnc
p
y()
false pos
i
tives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
D
an Carpent
e
r
Merge b
r
anch 'devel'
commit
|
commitdiff
|
tree
2012-06-18
D
a
n Carpenter
buf
_
size: turn off buf size
f
o
r &
a
ddresses unless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan
C
a
rpe
n
ter
flow: handle
th
e
__nore
t
urn__ a
t
trib
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-18
Dan Carpenter
buf_size: re
m
o
ve the
&
*
a
nd
[
0] from around the poi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
OSAKI
Motoh
i
r
o
spa
r
se: A
d
d 'err
o
r' to ignored att
r
ibutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
O
SAKI M
o
toh
i
ro
s
pa
r
se: Add
'
__v
e
ctor_si
z
e__' t
o
i
gnored attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
Dan Carpenter
sm_buf: don'
t
return t
h
e
maximu
m
store
b
u
ff
e
r
s
i
ze
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
D
a
n Carpenter
bu
f
_
size:
r
eturn the size of &foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpenter
buf
_
size: add kmalloc
_
array() and
sock_kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n Carpenter
buf
_
s
ize: if
t
he member size
i
s
not known then store
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
D
a
n C
a
rpenter
Merge br
a
nch 'buf_siz
e
' int
o
d
eve
l
commit
|
commitdiff
|
tree
2012-06-15
Dan
Car
p
enter
Merg
e
git
:
//git
.
ker
n
e
l
.
org
/
p
u
b
/sc
m
/dev
e
l/s
p
arse
/
sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-13
Dan Carpenter
buf_si
z
e
: first get the size i
n
bytes th
e
n co
n
vert
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-13
D
an Carpenter
buf_size: remove cast_ra
t
io()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next