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
Carpe
n
t
er
f
l
ow: handle
t
h
e __noreturn__ attribute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-15
Dan
C
arpenter
M
erge g
i
t://git
.
kern
e
l
.
org/pub/scm/devel/sparse/sparse
.
.
.
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpenter
Or vs and: warn
about bitwise ANDs that al
w
ays
g
i
v
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpen
t
er
Or vs and: if (f
o
o & Z
E
RO) i
s
n
onsense
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan
C
arpent
e
r
function_hash: make it easier t
o
handle
a
file
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan Ca
r
penter
signed:
unbreak the check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Carpe
n
ter
overflow:
u
pdate validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n
Carpenter
flow: h
a
ndle
st
r
uc
t
initialization
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
flow:
h
a
ndle
EXPR_OFFSETOF and
E
X
PR_ALIGN
O
F
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Carpenter
overflo
w
: ig
n
ore "x = &
f
o
o[ARR
A
Y
_
S
IZ
E
(
f
oo
)
];"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Carpenter
overf
l
ow:
w
hite
s
pa
c
e cle
a
n
up
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Ca
r
penter
implied:
the base slist is not sp
e
c
i
a
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist: cha
n
ge format fo
r
d
eb
u
g outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
Carpenter
e
x
pressions:
introduce some
m
ore
e
xpr
e
ssion alloc
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan C
a
rpenter
validation: update derefere
n
ce check out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
implied: certain
s
tates should
be left as is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n
Carpenter
slist: p
u
t
the sm_state itsel
f
into ->possible
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
an Carpenter
s
li
s
t:
c
leanup
m
erge_ho
o
k
s
API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpe
n
ter
extra: don't
creat
e
a new merged
estate if ->right
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpenter
estates
:
reuse same est
a
te f
o
r
e
xt
r
a_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
C
arpe
n
t
er
constraints: g
e
t rid of add_
e
quiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Carpe
n
ter
con
s
t
r
a
i
nts: remov
e
some dead
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
constraints
:
f
i
x
set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
cons
t
raints: add_related() sh
o
uld take a rel
a
ted_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan C
a
rpent
e
r
constraints: sort
the ->related
list
properly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
constraints:
r
eplace
get_common
_
relationship()
with
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
s
l
i
st: move a
d
d_po
o
l()
to sm
a
t
ch_implied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
Dan Carpenter
bit_
s
hif
t
: add test_b
i
t(
)
funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
Dan C
a
rpent
e
r
flow: si
l
e
nc
e
false positives cause
d
by ha
i
ry functi
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
an C
a
rpenter
im
p
lied:
rena
m
e ->my
_
pool to -
>
pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
slist: rename add_possible() => copy_possibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
or_
v
s_and: i
g
nore *p
+
+
|
| *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
trac
k
er: fix a
s
m
a
ll memory lea
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
Carpe
n
ter
modification: remove ca
l
ls to d
e
let
e
_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
rpenter
check_dereference: enable
this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpente
r
db:
s
tore
w
hether functions are global or
s
t
atic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan C
a
r
p
enter
tracker: remo
v
e unused clone_tracker_list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
sli
s
t
: buffe
r
ove
r
flo
w
in debu
g
g
i
ng code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
use
r
_data: fix
N
ULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arpenter
db: white
s
p
ace cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
C
a
r
penter
db: move p
a
rame
t
er_impl
i
cations into the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
pe
n
t
e
r
ranges
:
a
d
d pos
s
ibly_tr
u
e/false_ran
g
e_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n
Carpent
e
r
overflow: au
t
omatical
l
y lis
t
funct
i
ons that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
modification_hook
s
:
complete rewrite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Da
n
C
arpent
e
r
db: pr
i
nt th
e
SQL quer
i
es w
h
en --deb
u
g is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cleanup: u
s
e valid_ptr
_
min/max
.
get
r
i
d of POINTER
_
M
A
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpe
n
ter
extra: d
e
referencing a pointer means
it is vali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
impl
i
e
d: cleanup debug output a li
t
tle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpent
e
r
slist:
pull
show_sm(
)
i
n
t
o
a
s
eparate function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
check_kernel: E
R
R_P
T
R() returns non-N
U
LL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
arpenter
d
ereference checks: use the cr
o
ss function info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpente
r
*new* check_
d
ereferences
_
param: l
i
st
f
unctions
that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* returns
:
merge all slists from
a
ll r
e
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
db: add call_i
m
plies tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
flow:
print a different f
i
le
n
ame when --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
deref: f
i
x a typo in t
h
e e
r
ror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_d
a
ta: track user data that is retu
r
ned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
an Carpenter
bool_implications: re
m
ov
e
debug
g
ing output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
a
rpen
t
er
fix
com
p
ile o
n
Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisiz
e
.
pl: strip all stri
n
gs not just the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpen
t
er
buf_size:
A
dd a
N
ULL che
c
k to get_array_s
i
z
e_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
*
new* sizeof_poi
n
te
r
: using sizeof
(
p
)
wher
e
siz
e
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpenter
overflow:
c
heck m
e
mcpy() to see if we're comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an
Carpenter
ex
t
r
a
: don't reset
&a
r
g
u
m
ents until
the other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
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
Dan Carpent
e
r
*new* or_
v
s_and: complain abou
t
i
f
(x !=
3
|| x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan
C
arpe
n
ter
sparse: introduce
g
et
_
expression_value_nomod
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Car
p
ent
e
r
type: i
n
troduce is
_
pointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
an Carp
e
nter
extra: frob(f
o
o) resets the value of
*
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carp
e
nter
extra: foo((void *)&x
)
writ
e
s to x prob
a
bly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
C
arpenter
ranges: i
n
troduce invert
_
r
a
n
ge
_
l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __smatch_impl
i
ed(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpe
n
ter
ra
n
ge
s
: commi
t
range_li
s
ts_equiv() so t
h
at bool_implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
s
mdb_pa
r
am
_
buf_size
.
sh: ask db wh
a
t size buffers a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ex
t
ra: get_implied_range_list() s
h
ould handle c
o
nditio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_size: stor
e
buf
f
er size
s
i
n
db (tu
r
ned
o
ff b
y
d
e
f
ault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
e
nter
db: don't
die on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
b
o
ol_imp
l
icatio
n
s:
m
ake a list of impli
c
ations f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
arpent
e
r
math:
h
a
ndle
l
ogi
c
al expres
s
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpent
e
r
co
r
e:
print sm_ms
g
()s bef
o
re
parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carpenter
p
a
r
a
mete
r
_impli
c
ations:
ge
n
erate list of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
db: match_retu
r
n() shouldn't
r
e-implement get_implied_
r
ange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
ar
p
e
n
ter
math: sort of
hand
l
e condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math:
simplify
i
mplied_con
d
itio
n
_true/
f
alse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
math: simplify kno
w
n_co
n
dit
i
on_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: hand
l
e __sm
a
t
c
h_implied
(
({frob(); 2;}
)
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math
:
h
a
ndle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, math:
m
ove known_conditon_tr
u
e/false() etc f
r
om
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
p
r
oject:
fix par
a
meter
impl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpent
e
r
h
e
lper: introduc
e
g
e
t_m
e
mber_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
an Carpe
n
ter
db: print all
r
e
turn val
u
es
a
t end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
d
b: add some smdb_ script
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
fill_db_r
e
turn_
i
nf
o
: f
i
x ou
t
dat
e
d p
a
rsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
e
n
t
er
extra:
a
lway
s
i
nitial
i
z
e
t
he r
a
nge in get_im
p
lied
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fi
x
get_imp
l
i
e
d_r
a
n
g
e
(
)
for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpe
n
ter
c
h
e
c
k_mac
r
os: clea
n
u
p:
use po
s
i
t
io
n
s_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
macro: take
a
struct posi
t
io
n
, not a pointer
to a st
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
impl
i
ed
:
clean
u
p: move
dub
u
g
p
r
intfs
to
their own fu
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: get rid of possibly_
(
tru
e
/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
:
cle
a
nu
p
:
mov
e
true_com
p
arison_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next