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
sval: remove type_min/max() which are not used any longer
2012-05-22
D
a
n
Car
p
e
nte
r
d
b
: sto
r
e whether funct
i
on
s
are
gl
o
bal or s
t
ati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
t
e
r
tra
c
ker: r
e
move unused cl
o
ne_tracker_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slis
t
: buffer ove
r
flow in debugging c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
use
r
_data
:
fix NULL dereferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
nt
e
r
d
b
: w
h
ite
s
p
a
c
e cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rp
e
nter
db: move parameter_implicati
o
ns into the
data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpen
t
e
r
ran
g
es: add
possibly_true/false_r
a
n
g
e_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpenter
o
verflo
w
: autom
a
tically list functions that take
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
mo
d
ification_h
o
ok
s
: comple
t
e rew
r
it
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Car
p
e
n
ter
db: pri
n
t
the SQL
q
u
e
ries when
-
-deb
u
g
is
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
cl
e
anup: use
v
a
lid_ptr_min/max
.
get rid of POI
N
TER_M
A
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arp
e
nter
extra
:
dere
f
erencing a
pointer m
e
a
n
s
it is
v
alid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
rpent
e
r
i
m
pl
i
ed: cleanup debug
o
u
tpu
t
a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
s
l
ist
:
pull sho
w
_sm() int
o
a sepa
r
ate functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
ch
e
ck_kernel
:
ERR_PTR() returns non-N
U
LL (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
derefer
e
nce checks: use the cross funct
i
on info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
arpenter
*new* check_der
e
ferences
_
param: list fun
c
tio
n
s that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*n
e
w* re
t
urn
s
: merge a
l
l slists from all retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
pen
t
er
db:
a
dd call_implies
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
ente
r
flow:
p
rint
a
d
iff
e
rent filena
m
e whe
n
--info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpente
r
deref: fix a typo
in th
e
error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
an Car
p
e
n
ter
user_d
a
ta: trac
k
user data that is returned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
bool_
i
mplications: re
m
o
ve debug
g
i
n
g out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n Carpenter
fix com
p
ile o
n
Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl: strip a
l
l st
r
ing
s
not just
t
he
f
i
rst
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan C
a
r
p
enter
buf_s
i
ze: Add a
N
ULL
c
h
e
c
k
to get_arra
y
_size
_
bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
ente
r
*ne
w
* sizeof
_
pointer: using si
z
e
o
f
(p) where siz
e
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpen
t
er
o
verfl
o
w: check
m
emc
p
y() to
s
e
e if we
'
re comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
extra: don't reset &argum
e
nts until th
e
ot
h
er checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carp
e
nter
flow
:
c
hange how "for (i = 0; ; i++
)
{
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carpenter
*new* or_vs_and:
complai
n
a
bout if (x != 3 || x
!=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
enter
sparse: intr
o
duce
g
et_expression_value_nom
o
d()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
typ
e
: introduce is_pointer() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
ext
r
a: frob(foo) resets th
e
val
u
e of *f
o
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carp
e
nter
e
x
t
ra: fo
o
((void *)&x)
w
rites to x prob
a
b
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Car
p
e
nter
r
a
nges: introduce inve
r
t_rang
e
_list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
an Carpe
n
ter
ma
t
h
:
h
andle __smatch_i
m
p
lied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
ranges:
com
m
it r
a
n
ge_lists_equiv() so t
h
at
b
oo
l
_implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_
p
aram_buf_size
.
sh: ask db what
size b
u
ffer
s
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
penter
extra: get_imp
l
ied_range_list() shou
l
d ha
n
dl
e
conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
buf_siz
e
: store buffer sizes
i
n db (
t
urned of
f
by defaul
t
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpenter
db: don't
die on SQL
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
bool
_
implica
t
ions: make a
l
ist of imp
l
ica
t
ion
s
for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpe
n
ter
m
ath: handle logical expr
e
ss
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpent
e
r
core: print
s
m_m
s
g()s before p
a
rsin
g
s
tarts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
penter
parameter_implications:
g
enerate list
of func
t
io
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Car
p
enter
db: match_retur
n
() shouldn't
r
e-
i
m
p
l
ement g
e
t_impl
i
ed_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
C
arpe
n
ter
mat
h
: sort of
h
a
ndle conditi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
mat
h
:
s
impli
f
y i
m
plied_conditio
n
_tru
e
/
false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
m
a
t
h: simp
l
ify k
n
own_condition_t
r
ue/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpen
t
er
math: ha
n
dle
_
_smat
c
h_impl
i
ed(
(
{
f
rob(); 2;}))
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpente
r
math: handle foo =
!2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Ca
r
penter
extra, math: mo
v
e known_condit
o
n_true/false() etc
f
rom
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
p
e
n
t
er
p
r
oject: fix parameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpente
r
helper: introduc
e
get_m
e
mber_name(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rpenter
d
b: pr
i
nt
a
ll return values at
end of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan
Carpen
t
er
db: add
s
ome smdb_ script
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpen
t
er
fil
l
_db
_
return
_
inf
o
: fix out
dated pa
r
sing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
extr
a
: always
initialize the range
i
n g
e
t_i
m
plied_ran
g
e
_
list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ext
r
a
: fix get_implied_
r
an
g
e() for
function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
check_macros: cleanup:
u
se
p
osi
t
ions
_
eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
macro:
take a stru
c
t
p
o
sition, not a
point
e
r
to a
s
t
ruct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
implied: cleanup: move du
b
ug p
r
intfs to t
h
eir
o
wn functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: get ri
d
o
f possibly_(t
r
ue/false)
_
ran
g
e
_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ranges: cleanup: move true_compariso
n
_ran
g
e_lr
(
)
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
extra:
add paramete
r
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
r
a
nges: introd
u
ce clone_perm
a
nent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges:
in
i
tiali
z
e the pointer in
g
et_value_ra
n
ges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
db: ignore functions which are called a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
ar
p
enter
t
y
p
e: export ge
t
_real_base_t
y
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db
:
add code t
o
h
ack up the dat
a
base with project
s
pecific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpe
n
ter
condi
t
i
ons: preserve
|
= as the assign op in foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpenter
t
y
pe:
sizeof() i
s
un
s
i
gned l
o
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Car
p
ente
r
cond
i
tion
s
: sparse never seems to
u
se S
P
ECI
A
L_UNSIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper: introduce positions_eq(pos1, pos
2
) f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
build_kernel_data
.
sh:
make it executable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
macr
o
_side_e
f
fects:
silenc
e
fa
l
se
p
osi
t
ives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_ke
r
n
e
l
.
s
h:
c
reate a bak
.
smatch at th
e
be
g
inning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
an Carpenter
*
n
ew* c
h
ec
k
_ma
c
ro_side_effec
t
s: ma
c
ros which evaluate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpent
e
r
flow: ignore __builtin_constant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
an
C
ar
p
enter
sparse: set the
s
cope
-
>toke
n
member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Car
p
enter
call_tree
.
pl:
T
his
was still using the old f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
buil
d
_
k
e
rnel_data
.
sh: add
--call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpent
e
r
l
ockin
g
: ig
n
ore unreachable unlo
c
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lo
c
king: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Car
p
enter
new_bugs
.
sh: fix it for gcc a
n
d sparse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking: tons of locks we
r
e ignored be
c
ause of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan
C
ar
p
enter
token_s
t
ore
:
creates a positio
n
-> token ma
p
pi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carp
e
n
t
er
Me
r
ge branch
'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan
Car
p
ente
r
*new* check_bit_shift
.
c: (f
o
o
& BAR) v
s
(foo &
(1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Da
n
Carpent
e
r
*new* point
e
r
_math:
complain
about p
t
r
+ si
z
eof() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n Ca
r
pent
e
r
type
:
export
get_p
o
inter_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carp
e
n
ter
type: expor
t
get_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpenter
flow:
f
ix segfaul
t
on parse e
r
ror
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpenter
h
o
ok
s
: a
d
d CAST_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Ca
r
penter
type: a
d
d nr_bits(struct exp
r
ession *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpente
r
extra: delete the g
e
t_range_list
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpent
e
r
new: smatch_scri
p
ts/bui
l
d_kernel_dat
a
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Ca
r
penter
n
ew: smatc
h
_
s
cript
s
/test_kernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpe
n
ter
ranges
:
m
a
k
e
possibly_true/false
(
) tak
e
expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next