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
flow: handle the __noreturn__ attribute
2012-06-18
Dan Carpenter
f
l
ow
:
hand
l
e the __no
r
etu
r
n__ attr
i
bute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
KOSAKI Mot
o
hiro
s
p
arse: Add 'error' to
ig
n
ore
d
a
tt
r
i
bu
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-16
K
OSAKI Motohiro
s
parse:
Ad
d
'
_
_
v
ector_size__'
to ignored
attributes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
Merg
e
git://git
.
kernel
.
org/pub/scm/
d
evel/sparse
/
sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-11
Dan
Car
p
e
nter
Or vs and: wa
r
n about bit
w
ise AND
s
that always give
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
D
a
n Car
p
ente
r
Or vs
a
nd: if
(foo & ZE
R
O)
is nonsense
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-11
Dan Ca
r
pent
e
r
function_hash
:
m
a
k
e
it easier to han
d
le a
file with
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpen
t
er
si
g
ned: u
n
br
e
ak
th
e
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arp
e
nter
overflow:
up
d
ate
va
l
idation test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan
Carpenter
flow: han
d
le struct initializat
i
on better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
pe
n
ter
flow:
h
a
n
dle EXPR_OFFSETO
F
and EXP
R
_ALIGNOF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
ove
r
flow: i
g
nore "x =
&
f
oo[ARRAY
_
SIZE
(
foo)];"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
p
e
nter
o
verflow: white s
p
ace cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
ar
p
ent
e
r
imp
l
i
e
d
: th
e
bas
e
s
lis
t
is not
special
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: cha
n
ge
f
ormat fo
r
debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-30
Dan
C
arpenter
expressions: introd
u
ce
some more
expr
e
ssion a
l
l
o
c
ati
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
D
an Carpe
n
t
e
r
validat
i
o
n
: update d
e
r
ef
e
rence check output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpenter
implied: certain states sho
u
ld be
l
eft as is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
sl
i
st: put t
h
e sm_state itself into -
>
po
s
sible not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Da
n
Carpenter
sli
s
t
: clean
u
p merge_hooks API
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpent
e
r
e
x
t
ra: don't create
a
n
ew merge
d
estate i
f
->r
i
ght
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpen
t
er
e
states: r
e
us
e
same
e
state for ex
t
ra_unde
f
ined()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
p
enter
const
r
aint
s
: get rid of add_equiv()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: remove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
o
n
s
t
raints: fix set_equ
i
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
con
s
traints: a
d
d_related(
)
should
t
a
ke a r
e
lated_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
constraints: sort the
-
>
r
elate
d
lis
t
properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
co
n
straint
s
: rep
l
a
c
e get_comm
o
n_r
e
l
a
tionship
(
) w
i
th
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
sl
i
st: mo
v
e
add_pool() t
o
sma
t
ch_impli
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpen
t
er
bi
t
_shift: ad
d
test_bit() fun
c
t
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-23
D
a
n Car
p
enter
flow: sile
n
ce false positives caused by hairy
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
C
a
rpenter
implied: rena
m
e
->
m
y_poo
l
to ->pool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpen
t
er
sl
i
st
:
rename add_po
s
sible() =
>
copy
_
possibles()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Ca
r
pent
e
r
or_vs_
a
n
d: i
g
nore *p++ ||
*
p++
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
t
r
a
c
ker: fix a
small memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
modification
:
remo
v
e calls to d
e
lete_sta
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
check_dereference:
enab
l
e this
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
d
b
: s
t
o
re w
h
ether func
t
i
ons are global or s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
t
r
acker
:
r
e
m
ove
unused clone_tracker_li
s
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
s
l
ist: buff
e
r
overf
l
ow in
debugging co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
user_data: fix NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: whi
t
e spa
c
e clea
n
ups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpente
r
db: move parameter
_
i
m
pl
i
cations into the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
ranges
:
ad
d
possibly_tru
e
/false_range_
l
ists
_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an
C
arpenter
overflow: au
t
omati
c
ally li
s
t
functions that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Ca
r
penter
m
odific
a
tion_hooks
:
comple
t
e rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
db:
p
rint the S
Q
L queries when
-
-debug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpe
n
ter
cleanup: use
valid_ptr_
m
in/max
.
get rid of POINTER_M
A
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
ex
t
ra: dereferencing a poi
n
ter means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
r
pe
n
ter
i
m
pl
i
ed: cleanup deb
u
g
out
p
u
t a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n C
a
r
p
e
nter
slist
:
pull show_
s
m() into a se
p
arate
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carp
e
nter
check_
k
e
rnel: ERR_PTR(
)
ret
u
rns non-
N
ULL (mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Ca
r
p
e
n
t
e
r
dereference c
h
e
ck
s
:
u
s
e
the cross f
u
nction
info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpe
n
ter
*
n
ew* check_deref
e
rences_param: list functions th
a
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*n
e
w* r
e
turns
:
merge al
l
slists from all r
e
turns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
db: a
d
d
call_implies
tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
p
e
nter
flow: print
a
di
f
ferent fi
l
ename whe
n
--in
f
o optio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
C
a
r
p
ent
e
r
d
e
ref
:
fix a typo in the e
r
ror message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Ca
r
penter
use
r
_data:
t
rack user data that is returne
d
to oth
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
bool_
i
mplications: re
m
ove debugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpenter
fix com
p
ile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
an Carpenter
gener
i
size
.
pl:
stri
p
al
l
strings not ju
s
t th
e
first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf_size: Ad
d
a
N
ULL
check to get_array_size_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carpente
r
*
new* sizeof_pointer: using sizeof(p)
w
her
e
sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
arpent
e
r
o
v
erflow: check memcpy() to see if we're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n C
a
rpen
t
er
extra: don't reset &argument
s
u
ntil the ot
h
er c
h
ecks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
f
low: chan
g
e how "for (i = 0; ; i++)
{
.
.
.
" is
h
and
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
*new* or_v
s
_
a
nd: complain about if (
x
!
=
3
|| x
!
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carp
e
nter
s
p
a
rse:
i
ntroduce
g
et_expressi
o
n_value_nomo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpent
e
r
typ
e
: introduce is_poin
t
er()
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
D
an
C
arp
e
n
t
e
r
ex
t
ra: fro
b
(
f
o
o) resets the value of *fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: foo
(
(
v
oid *)
&
x) wr
i
t
e
s to x pr
o
b
ably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: introduce invert_
r
a
n
ge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: ha
n
d
l
e _
_
s
m
atch_implie
d
(&x
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
r
p
enter
ranges: com
m
i
t
range_lists_equiv()
s
o
t
h
at bool_
i
m
p
lications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpente
r
smdb_par
a
m
_buf_siz
e
.
s
h
: ask
db what size
buffers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra:
get_implie
d
_range_list()
should
handle
c
onditi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
uf_s
i
z
e
:
s
tore
b
uffer sizes in db (turned off
by defau
l
t)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpen
t
er
db: don'
t
die on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
enter
bool_implication
s
: make a list
of implic
a
tions for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
D
an Ca
r
pe
n
ter
math: h
a
ndle logical e
x
p
r
e
ssions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
core: print sm_m
s
g()s
be
f
ore
p
arsin
g
starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
parameter_impl
i
cations: gener
a
te
l
ist of
f
unctio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
d
b
:
mat
c
h_return() shouldn't
r
e
-
i
mplement
g
e
t
_
i
mplied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rpenter
math: sort of handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpenter
math: simp
l
ify
i
mp
l
ied_conditi
o
n_true/f
a
ls
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
math: simplify
known_condition_tr
u
e/fal
s
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
ath:
handle
__smatch
_
implied
(
({frob(
)
;
2
;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpen
t
er
math: hand
l
e foo
=
!2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carpenter
extra, math: mo
v
e known_conditon_t
r
ue/f
a
lse()
e
tc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
project: fix
p
arameter implication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
hel
p
er: introduce g
e
t
_m
e
m
b
er_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
d
b: pri
n
t all
return values at end of
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add
s
o
me smdb
_
scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
a
r
p
enter
fill_db_return_info: fix ou
t
dated pa
r
sing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpent
e
r
extra
:
al
w
ays
i
nitiali
z
e the range in get_im
p
lied
_
range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Ca
r
p
e
nt
e
r
e
x
tra: fix
g
et_im
p
lied_
r
ange() for function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_macros: cleanup: use pos
i
tion
s
_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: take a struct position,
n
ot a
p
ointer to a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
impl
i
e
d: c
l
e
anup: move dubug printfs
t
o their
o
wn funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next