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
param_limit/filter: fix a type bug
2015-03-30
Dan Carpenter
param_limit/filt
e
r
: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpen
t
er
comparis
o
n: handle canonical for loops with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
e
r
comparison: uns
i
gned can not be less th
a
n zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
f
low: set
__c
u
r_stmt and __prev_stmt
i
nside for l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpent
e
r
c
omparis
o
n: mergi
n
g
equivalent s
t
ates i
s
not un
d
efin
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
c
o
m
p
ariso
n
: fix an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
en
t
er
function_hooks:
fix up d
b
_comp
a
re_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
function_hooks, debug: print impossi
b
le returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
pe
n
t
e
r
helpe
r
: don'
t
strip
cas
t
ing
i
n get_array
_
offse
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
link
s
: e
x
port merge_link_s
t
ates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
hel
p
er: make expr_to_str() print
f
orced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
type: make t
y
pe_to_s
t
r()
return
a
sname()
buffe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpenter
modi
f
ication_hooks: set a
v
ariab
l
e
a
s modified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
penter
user_dat
a
2: t
a
g
i
t if a function sets
p
a
rameters to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
e
nter
st
a
c
k
:
clean
u
p a function pro
t
o
ty
p
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
deref_check: ig
n
o
r
e
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
t
y
pe:
m
ak
e
s
v
al_type_max()
default to "long lo
n
g"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
er
type: d
o
n't return SYM_NODE
t
y
pes from get_real_b
a
se_t
y
p
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
r
p
e
n
t
e
r
side_effects: the it
e
rate_all_kinds()
m
acro has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachable:
d
on't complain
ab
o
ut iterate
_
al
l
_kinds(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan
C
arpenter
f
l
ow: f
i
x "foo +=
!
bar;" assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan
C
arpenter
lib: hand
l
e -funsi
g
ned-char option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Carp
e
nter
k
ernel
.
ignore_si
d
e_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
inde
n
ting
:
a
l
low
"b
r
eak
;
case XXX:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Ca
r
p
enter
user_da
t
a2: mark ssc
a
n
f
() output
a
s
user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpenter
math, rl: fix handin
g
divis
i
on invo
l
ving negative numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
ar
p
enter
sval: fix sval_bin
o
p_ov
e
rflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precedenc
e
: comp
l
a
i
n
about "foo
<
<
bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Car
p
enter
flow:
handle
st
r
uct initi
a
lization better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
arpenter
estate: add a N
U
LL check in es
t
ates_eq
u
iv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Car
p
enter
pa
r
am_u
s
e
d: store when a parameter is used so w
e
don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
extra:
ig
n
ore
m
ore __in
_
fake_ass
i
gn da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comparison: fi
x
a crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpente
r
type: add an expr_signed(
)
f
u
nction that matches expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an
C
arpenter
s
mdb
.
py: a
d
d fu
n
ctions
t
o show functions implementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
extr
a
: ha
n
dle te
m
p
orar
y
sho
r
thand po
i
n
t
ers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
dere
f
erences_par
a
m
:
look for pointers
use
d
as an ar
r
ay
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
check_in
d
enti
n
g: warn about
missing c
u
rly brac
e
s and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
an
C
arpenter
param_cle
a
r
ed: add a commen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpen
t
er
v
a
lidation: correct some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carp
e
nter
db: bui
l
d indexes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpenter
slist: fix compile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpe
n
ter
kernel_printf: silen
c
e some false p
o
s
itives using smatch_s
t
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpe
n
t
e
r
strings: record which strings ar
e
be
i
ng used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
user_
d
ata2: t
u
rn on
skb->data
t
a
gging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: rena
m
e FILTER
_
VALUE, LIMITED_VALU
E
, and
A
D
D
ED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
ker
n
el_printf
:
silence some "struc
t
s
ockaddr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
typ
e
: a
d
d u
n
ions to type_to
_
str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan
Carpenter
type
_
v
a
l
u
e
: s
p
eed up loading th
e
d
a
t
ab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
new*
return_cast: complain about retu
r
n
-
EI
N
VAL i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
form
a
t
_
str
i
ng:
d
ele
t
e this because c
h
ec
k
_
k
ern
e
l_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
f
uncti
o
n_hook
s
: a
d
d some debu
g
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
r
p
e
nte
r
e
xtra: cleanup db_param_
a
d
d_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpente
r
e
xtra: separate PA
R
A
M
_
L
IMIT and PARAM_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
fun
c
tion_hook
s
:
don't tak
e
a shortcu
t
for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpente
r
h
e
lper: int
r
oduce allo
c
_state_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpent
e
r
math: handle "if (likely
(
1
))
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Ca
r
pent
e
r
mat
h
:
f
ix/c
l
e
a
n
u
p do_compar
i
son()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
c
apped: don't record single values as capped in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
db: export get_st
a
tic_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: w
r
ong
p
arameter tagge
d
as user data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpen
t
er
ro
s
e
nberg: delete so
m
e
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
r
osenberg:
s
trip away
s
o
me casting (elimina
t
es a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
r
o
senberg: d
o
n
'
t sav
e
unn
e
ed
e
d states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
buf_size:
don
'
t
s
ave use
l
ess inf
o
rma
t
ion i
n
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struct_a
s
si
g
nment: ignore more fake assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
s
l
ist:
fi
x
d
e
bugging ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpent
e
r
p
a
ram_cleared, rosenberg: add underscored me
m
set/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpe
n
ter
param_filte
r
/set:
d
on'
t
record fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, debugging: don't pr
i
nt ->possible list if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpe
n
ter
type_v
a
l: add more
stuff t
o
ignor
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
db/reload_partial
.
s
h: chang
e
database
info for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpenter
kerne
l
_printf: pu
t
l
ots of
single quote
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
an Carpenter
Merge branch '
d
evel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carpen
t
er
check_kerne
l
_printf
.
c: Simplify recurs
i
ve calli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
t
er
ke
r
nel_p
r
intf: allow '\b' if it's th
e
first c
h
aracter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpent
e
r
validation/sm_
r
ose
n
b
e
rg
.
c: don't pass an uni
n
i
t
ialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpente
r
kern
e
l_printf
:
a
d
d some more quot
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
kern
e
l_p
r
i
n
tf: move a
w
arn
i
ng
under t
h
e --spammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
te
r
kernel_prin
t
f: add som
e
quotes around the
f
unction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne_printf: '%pb'
i
s vali
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Dan
C
arpenter
w
r
o
n
g_size_arg: warn abou
t
"
i
f
(memcmp(foo, bar, sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
struct_assig
n
ment: remove
a
blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
sval:
handle LEFTSHIF
T
s in sval_binop_
o
v
e
rflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
sv
a
l:
cast the r
e
sult in sval_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
pent
e
r
type_
v
al
:
update t
o
han
d
le
PARAM_SET from the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val:
i
gnore kmal
l
oc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
typ
e
_val: ignore
a
l
l th
e
"for_each
"
macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_data2: remov
e
some debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan Car
p
ente
r
h
e
l
per: i
n
troduce invert_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
pe
n
ter
rang
e
s:
b
reak
t
he range list
parsing
i
nto a separat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan
C
arpe
n
ter
r
anges: prepare to
chan
g
e
a
st
r
ing
t
o
an estate instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan C
a
r
pente
r
modif
i
cation_hook
s
: add PARAM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
p
a
ram_cleared: c
l
e
a
rin
g
a m
e
mber
i
s not cl
e
aring a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
type_val:
ignore fake member assignments from uncasted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpe
n
t
e
r
t
y
pe_
v
alue: list_en
t
ry
is safe as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db
:
us
e
saved re
t
urn
e
stat
e
instead of searching th
e
db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
d
ebu
g
: introduce
_
_s
m
atch_known()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db, extr
a
: use PAR
A
M_S
E
T
if t
h
e parameter is tot
a
ll
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
D
an Ca
r
pen
t
er
frees
_
par
a
m
:
modify
m
e
ans
i
t'
s
not freed anymore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next