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
low: handl
e
t
h
e __noretu
r
n__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
K
OS
A
KI Moto
h
i
r
o
sparse: Add 'error'
t
o ignored
a
tt
r
ibutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-16
KO
S
AKI Motohiro
sparse: Add
'
__vector_siz
e
__' to i
g
n
o
red
attributes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan Carpe
n
ter
Merge g
i
t://g
i
t
.
kernel
.
o
r
g/pub/scm/devel/spar
s
e/spar
s
e
.
.
.
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpent
e
r
Or
vs and: warn about bitwise ANDs
t
hat
a
lways give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
O
r
vs and: if (fo
o
& ZERO)
is non
s
ense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
funct
i
on_hash: mak
e
i
t
ea
s
ier to handle a fil
e
wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Carpenter
signed: unbreak the ch
e
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan C
a
rpenter
ov
e
rflow: update validati
o
n tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
a
r
p
e
nter
flow: ha
n
d
le struct initialization better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
fl
o
w: handle EXPR_OF
F
SET
O
F and EXPR_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Car
p
en
t
er
overflow: ig
n
ore "x = &foo
[
A
RRA
Y
_SI
Z
E(fo
o
)];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
an C
a
rpent
e
r
ove
r
flow
:
white space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpenter
im
p
lied:
the ba
s
e
s
list is not special
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
s
l
ist: ch
a
ng
e
format for de
b
ug out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n Carpen
t
er
expressions:
in
t
ro
d
uce s
o
me more expression allocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carp
e
nter
v
a
lidatio
n
: update dereference
c
he
c
k
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
implied: certain sta
t
es should be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
Carpenter
sl
i
st: put
t
he sm_sta
t
e its
e
lf into ->possible not
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Carpe
n
ter
s
list: cleanup merge_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
extra
:
don't create a new m
e
r
g
ed estate if
->
r
ight
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
e
states:
r
eus
e
same estat
e
for ex
t
ra_un
d
efi
n
e
d
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
co
n
s
traints: get rid of add_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
p
enter
constraints: remo
v
e
s
ome dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onstraints: fi
x
set_equiv
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
r
p
enter
constrai
n
ts: add_rel
a
ted() should
take a relate
d
_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpen
t
er
con
s
train
t
s: sort the ->relate
d
list p
r
o
perly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
c
onst
r
aints
:
replace get_c
o
m
mon_relationship
(
) with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpenter
slist: mov
e
add_p
o
o
l() to
s
mat
c
h_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpent
e
r
bit_
s
h
ift: add test_bit() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan Carpent
e
r
flow: s
i
lence false p
o
sit
i
ves caused
by h
a
i
ry
f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
nter
im
p
lied: rename ->my_po
o
l
to -
>
pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an
C
arpente
r
s
l
i
st:
rename add_
p
ossible()
=
> co
p
y_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
or_vs_and: ignore *p
+
+ ||
*p+
+
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an Carpe
n
t
e
r
tr
a
cker
:
fix
a small memo
r
y
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
m
odification: remove ca
l
l
s
to delet
e
_s
t
at
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
check_derefer
e
nce: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
db: store whether
f
unctions are global or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carp
e
nt
e
r
tracker: re
m
ove unus
e
d clone_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n
Carpen
t
er
sli
s
t: buffer overfl
o
w
i
n d
e
bugging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
en
t
e
r
us
e
r_data:
fix
N
U
LL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carp
e
n
t
er
db: white spac
e
c
l
eanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db: move parameter
_
i
m
p
l
ications i
n
to the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ra
n
ges: add
possibly_true/false_ra
n
ge_lists
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
o
v
erflow
:
aut
o
m
a
t
ical
l
y
list fun
c
tions th
a
t take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan C
a
rpente
r
modification_h
o
oks: com
p
lete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
D
a
n Carp
e
nter
db: prin
t
the
S
QL q
u
er
i
e
s when
-
-
debug is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cle
a
nu
p
: use valid_pt
r
_min/max
.
g
e
t rid of POINTER_MA
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Ca
r
penter
extra: dere
f
e
rencing a p
o
inte
r
mea
n
s it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
rp
e
n
t
e
r
implied: cleanup debug output a
l
ittle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: p
u
ll s
h
ow_sm() into a
sep
a
r
ate funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
c
heck
_
kernel: ERR_PTR() re
t
urns non-NULL (mostl
y
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
ent
e
r
d
ereference chec
k
s: us
e
the cross function info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
*new
*
check_derefe
r
en
c
es_
p
aram: li
s
t
f
unctions th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* re
t
urns: mer
g
e all slists from
all retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
db:
a
d
d ca
l
l
_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flo
w
: print a
differe
n
t
filen
a
me when --info opt
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref: f
i
x a typo in the error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: track user da
t
a tha
t
is returne
d
to
o
ther
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carpente
r
bool_implication
s
: remov
e
d
e
b
ugging
o
utpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
an Carpen
t
e
r
f
i
x comp
i
le on
U
buntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Ca
r
p
e
nter
generisize
.
pl: str
i
p a
l
l strings
not just th
e
first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
an Carpenter
buf_size: Add a NULL
c
heck to
get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
ente
r
*
n
ew* sizeof_
p
ointer: using
s
izeof(p) where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
o
v
e
rflow:
c
he
c
k memcpy(
)
to see if we'
r
e comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Car
p
e
n
ter
extra: don't
r
ese
t
&arguments unt
i
l th
e
other che
c
ks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
flo
w
: change how "for (i = 0; ;
i
++)
{
.
.
.
"
i
s handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Ca
r
penter
*new* or_vs_and
:
complain
a
bout if (x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan
C
arpenter
s
parse: int
r
o
duce get_expression_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Da
n
Carpenter
type
:
int
r
oduce is
_
pointer() func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
an Carpenter
extra
:
frob(foo) resets the value o
f
*foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
a
n
Carpenter
extra:
fo
o
(
(void *)&x) writes to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Car
p
enter
ranges: introduce
invert_range
_
li
s
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Carp
e
n
t
e
r
m
ath: h
a
n
d
le __smat
c
h_i
m
p
l
i
ed(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: co
m
mit range_
l
i
sts_eq
u
iv()
s
o
that
b
ool_i
m
plicat
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Ca
r
pen
t
er
smdb
_
param
_
bu
f
_size
.
sh: ask db what size
buffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
extra: get_implied_
r
ange_li
s
t() s
h
ould handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
r
p
e
n
t
e
r
buf_size:
store buffer sizes in db (turned o
f
f by de
f
a
ult)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
d
b
: d
o
n
'
t di
e
on
SQL error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
a
r
pente
r
bool_
i
mpl
i
cations: make a list o
f
i
mplica
t
i
ons for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
arpen
t
er
mat
h
:
handle logica
l
expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpenter
core: print sm_ms
g
()s before par
s
ing s
t
arts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
para
m
eter_impli
c
atio
n
s: generate list of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpe
n
ter
d
b
: match
_
return() s
h
o
uldn't re
-
implem
e
nt get_implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: sor
t
of han
d
le conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simplify
i
m
plied_
c
ond
i
t
i
o
n
_t
r
ue/fa
l
s
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
math: simplify known
_
condition_true/fa
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
mat
h
: handl
e
__smatch_implied(({
f
rob(); 2
;
}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Ca
r
p
e
nter
math:
handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Ca
r
pente
r
ext
r
a,
m
ath
:
move known_conditon_true/false() etc f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
projec
t
: fix parameter implic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
helpe
r
: introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carpenter
db: print
all retu
r
n values at e
n
d of fu
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: a
d
d
s
ome smdb_ scrip
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpenter
f
i
l
l_db_return_info: fix o
u
t dated pars
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carp
e
nt
e
r
e
x
tr
a
: a
l
ways
i
ni
t
ialize the
r
an
g
e i
n
get_
i
mplied_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ext
r
a: fix get_
i
mp
l
i
ed_range() fo
r
function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
check_macros
:
cleanu
p
:
u
s
e
p
ositi
o
ns_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
ma
c
ro: tak
e
a struct pos
i
tion
,
n
o
t a po
i
nter to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpent
e
r
i
mplied: cleanup: move dubug printfs to their
own
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next