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
smatch: change all remaining references from warns.txt to smatch_warns.txt
2015-06-26
Dan Carpenter
smatch: change all remain
i
ng r
e
ferences f
r
om
w
arns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmu
s
Villemoes
pre
f
ix smatch gene
r
ated files by
smat
c
h
_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Villemoes
t
est
_
ke
r
nel
.
sh: cle
a
n up
.
c
.
smatc
h
files aft
e
r cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vil
l
emoes
Document
a
tion: m
a
ke
m
e les
s
confused
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us
Villemo
e
s
trace_params
.
p
l
: f
i
x
h
ash/has
h
reference confus
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan
Ca
r
pente
r
k
e
rne
l
.
ignor
e
d_macr
o
s
:
add SNIC_BUG_ON(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unreachable
:
ign
o
re list_for_each
_
entry_
c
on
t
inue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n Car
p
enter
e
x
tra: handle
x = (u8)y; correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
i
mplied: fix a le
a
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
t
y
pe: handle
typeof()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math: h
a
ndle
_
_smat
c
h_implied(&foo->
b
ar) a
l
i
ttle better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
assigned_expr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpenter
function_hooks: fi
x
validation/sm_compare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
C
a
rpent
e
r
locking: ad
d
new d
o
wn_timeout() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Car
p
e
nter
smat
c
h_add
r
ess: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
f
ixup_kernel
.
sh: ignore some __vfs_wri
t
e
(
) ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_ke
r
nel: update
types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
F
i
r
o Yang
M
a
ke
f
ile
:
eliminate a llvm-config build warnin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carp
e
nter
d
ebug
:
improve __
s
match_states() ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
D
a
n Carpe
n
ter
flow
:
ignore paren
t
hesis in
p
rev
_
expression_is_g
e
tting_addre
s
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Da
n
Carpent
e
r
unr
e
achable: i
g
nore netdev_for_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
f
low: cleanup
prev_expres
s
ion_
i
s_gettin
g
_addre
s
s()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Ca
r
p
e
n
t
e
r
flow: "
&
foo->b
a
r
"
i
s no
t
a derefe
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpente
r
s
match_address:
separate thing
s
ou
t
into
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Da
n
Carpenter
*ne
w
* check_test
_
bit: check
for t
e
st_bit(BIT
(
0), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
e
nter
type
:
s
p
eed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
D
a
n
C
arpenter
type:
i
m
p
ro
v
e get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
Da
n
Carpen
t
er
fl
o
w: add a new ex
p
r
->parent
s
truct m
e
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carp
e
n
t
e
r
fixup_ker
n
el: hard
c
o
d
e
__
s
p
i_sync() ret
u
r
n
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan
Carpenter
fixup_k
e
rne
l
: km
a
ll
o
c() can allocate
more data
.
Le
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
check_l
o
cking
.
c: Fix
a
nnoying
invisible read_un
l
ock
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpen
t
er
smatch_addres
s
: sor
t
pointer
s
into different ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
extra: remove some
un
u
sed functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan
C
arpent
e
r
s
matc
h
.
h: add the c
o
m
parison hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
D
an Car
p
enter
typ
e
_
t
o_st
r
: fix a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Yang
sma
t
ch
.
h: add
estate_
g
et_single_val
u
e() d
e
claratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
D
an Ca
r
p
enter
ign
o
re_side
_
effects: get_child_rcu() double evaluat
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carp
e
nter
imp
l
ied: u
s
e comp
a
ri
s
o
n
info
r
mation for
i
m
plications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carp
e
nter
s
mat
c
h
.
h: mo
v
e stree_stack de
c
laration from sm
a
tch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
D
an Carpenter
r
o
senberg: a
d
d __builtin_memset/mem
c
py()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
user_
d
ata2: handle r
e
t
urned
s
truct
m
embers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
comp
a
rison: updat
e
a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
te
r
s
m
db
.
py:
u
p
d
ate to
r
eflect LIMIT/FILT
E
R changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
unwind:
a
dd
some
null check
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pen
t
er
type: include smatch_slist
.
h to p
r
even
t
a
se
g
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
e
x
tra: don
'
t s
e
t states t
o
un
k
no
w
n
at th
e
begi
n
ning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n C
a
rpenter
extra: don't set
t
r
u
e
false stat
e
s if they
a
re the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpen
t
er
function_hooks: add a
hack around in
c
ompare_db_return
_
st
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
a
r
penter
list:
a
d
d
a comment
about
r
e
g
ist
e
r_i
m
pl
i
cations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
param_l
i
mit: han
d
le stru
c
t
memb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
s
tates: white sp
a
ce fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
conditions:
ignore known/impl
i
ed conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
strings:
record string assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpent
e
r
st
r
uct_assignment: s
a
ve
a
l
o
t
more informa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_lim
i
t/filter: fix
a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan
Jegen
db: Avoid d
e
referencing
n
u
ll pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carp
e
nter
comparison: handle canonic
a
l for lo
o
ps with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan C
a
rpenter
com
p
aris
o
n
:
unsigned can not b
e
less
t
han zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Ca
r
penter
flow: set
__
c
u
r_stmt an
d
__prev
_
s
t
m
t inside for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
compar
i
s
o
n: me
r
ging equivalent states
i
s
n
ot undefined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comp
a
rison: fi
x
a
n
indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
fu
n
ction_hooks: fix
u
p db_compare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
function
_
hooks, debug: print imposs
i
ble returns
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
helper: d
o
n't
s
t
r
ip c
a
sting i
n
get_array_off
s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
links: export
m
erge_link_state
s
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an
Carpent
e
r
helper: make expr_to_str() prin
t
f
or
c
ed
c
asts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
t
er
type
:
mak
e
t
ype_
t
o_st
r
(
) re
t
urn a sname() buf
f
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpen
t
er
m
o
dification_hooks: set a var
i
able as modi
f
ied when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
Ca
r
penter
user_data2: tag it if a
f
unct
i
on sets paramete
r
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack: cleanup a function prototype
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
d
eref_check: i
g
nore arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n
Carp
e
nter
t
ype: make
s
v
al_ty
p
e_max() defaul
t
to "long lo
n
g"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpent
e
r
type: don't
return S
Y
M_NODE
type
s
from get_re
a
l_b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effects: the it
e
rat
e
_all_kinds()
m
acro has s
i
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachable: don't complain about iterate_all_kinds
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow: fi
x
"f
o
o
+= !bar;
"
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carp
e
nter
lib: h
a
ndle -funsigned-char opti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n
C
arpenter
kernel
.
i
gnore_side_e
f
fects: ad
d
some
m
a
cr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n C
a
r
p
e
n
t
er
i
nden
t
i
n
g: allow "break
;
case XXX
:
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
u
ser_data2: mark sscanf() outpu
t
as
u
se
r
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpente
r
math, rl: fix handi
n
g division invol
v
in
g
negative numbe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
sval: fix sval_binop_
o
verflows(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
pre
c
eden
c
e:
c
o
m
p
l
ain
about "foo << bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan
Carp
e
n
ter
f
l
ow
:
ha
n
dle struc
t
i
niti
a
l
i
zatio
n
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpent
e
r
e
s
tate: a
d
d a
NU
L
L check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Car
p
enter
param_use
d
: store
w
h
e
n a paramete
r
is used so we d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpenter
extra: ignore more
_
_in_
f
ake_assign
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comparison: f
i
x a crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
enter
type: add
a
n expr_signed() functi
o
n
tha
t
m
a
tches e
x
pr_unsigned(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpen
t
er
smdb
.
py: add functions to show functi
o
n
s implementin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
e
x
tra:
h
andle temporary shor
t
hand pointers bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
d
ereferences
_
param: look for pointers
u
s
ed as an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpen
t
er
c
h
ec
k
_indenting: wa
r
n
about missing curly braces and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nter
param_cle
a
red: add a comme
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
val
i
dati
o
n: co
r
r
e
ct som
e
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
A
a
ro
K
oskine
n
build:
allow use of PKG_CO
N
FIG to overri
d
e pkg-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpenter
db: build index
e
s faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fi
x
compile br
e
akage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpenter
ke
r
nel_
p
r
i
ntf: s
i
lenc
e
some fals
e
positives usi
n
g s
m
atch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpen
t
er
strings:
r
e
cord which str
i
ngs are
b
e
ing used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next