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: set __cur_stmt and __prev_stmt inside for loops
2015-03-26
Dan Carpenter
flo
w
:
s
e
t __
c
ur_st
m
t
a
nd __
p
rev
_
stmt
inside for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Carpenter
comparis
o
n: mer
g
ing
equiv
a
le
n
t st
a
tes is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpe
n
t
e
r
comparison:
fix an indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Car
p
enter
function_hooks: fix up
d
b_compar
e
_callback
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpenter
function_hooks, debug: print impossible return
s
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Car
p
enter
h
e
lp
e
r: don't strip casti
n
g in get_array_
o
ffset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
links: exp
o
rt merge_lin
k
_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
a
rpen
t
e
r
helper
:
mak
e
exp
r
_to_st
r
() print force
d
cast
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
t
ype:
m
a
ke type_t
o
_str() return a s
n
ame()
buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
mod
i
fi
c
ation
_
h
ooks: set a variable
a
s
m
odified
w
hen
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
C
arpenter
user
_
d
a
ta2: tag it if a function
sets
parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
penter
st
a
ck: cleanup a
f
u
nc
t
ion pr
o
t
o
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_check:
i
gnore arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
nter
type: make
sval_type_max() defau
l
t to "lo
n
g long"
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 types fr
o
m get_real_ba
s
e_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effects: the
i
ter
a
te_all_
k
inds() macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Carpenter
u
nr
e
ach
a
ble:
d
o
n't complain about iterate_all_kinds(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Carpenter
flow:
f
i
x
"foo
+
= !bar;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Carpe
n
ter
lib: h
a
n
d
le -funs
i
gn
e
d-char option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Car
p
en
t
er
kernel
.
ignore
_
side_e
f
fects: add some mac
r
os
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenting: all
o
w "brea
k
; case XXX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
use
r
_
data2: mark ssc
a
nf() output as us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
C
arpenter
m
ath
,
rl: fix
handi
n
g divi
s
i
on involving n
e
gative number
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpe
n
ter
sv
a
l: fix sva
l
_bino
p
_overflo
w
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precedence: c
o
m
p
lain abo
u
t "
f
oo
<
<
b
a
r
- baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan
C
a
rpe
n
ter
flo
w
: handle struct
i
nit
i
alization bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
D
an Car
p
enter
estate
:
add a
NULL c
h
eck
i
n estat
e
s_eq
u
iv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
param_u
s
ed: store when a
p
ara
m
eter
is u
s
ed
s
o
we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: i
g
nore more __in_
f
ake_assig
n
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carp
e
nter
compar
i
s
o
n
:
f
i
x a crashing
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
t
ype: add an expr_signed(
)
function that
matches
expr_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carp
e
nter
s
m
db
.
py: add functions to sho
w
func
t
ions implem
e
nt
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpenter
extra: han
d
le tempor
a
ry s
h
o
rthan
d
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
C
a
r
penter
d
e
refe
r
e
n
ces_param:
l
ook f
o
r pointe
r
s
used as an ar
r
ay
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpenter
check_ind
e
nting: warn
a
b
out mis
s
ing curly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpenter
param_cleared: add a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpen
t
er
validat
i
on
:
cor
r
ect some outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
db: build
i
ndexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
rpen
t
er
slist: fix co
m
p
i
le brea
k
a
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpe
n
te
r
kernel_printf: s
i
lence som
e
false positiv
e
s using
s
match_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
an Car
p
enter
strings: r
e
cord which strings are
b
eing used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
user_
d
ata2:
t
u
r
n
on skb-
>
data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carp
e
nter
db: rename
F
ILTER_VALUE, LIMIT
E
D_
V
ALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
ker
n
el_printf: s
i
l
ence s
o
m
e "struct
s
ockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Ca
r
penter
type: add
u
nio
n
s to ty
p
e_to_s
t
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
an C
a
rpenter
type_value: speed u
p
l
oading
t
he database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
n
ew* r
e
turn_cas
t
:
c
om
p
lain a
b
out retur
n
-EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
ent
e
r
format_
s
tring: delete this because check_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hook
s
: add some
d
ebug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
ex
t
ra: cleanup db_para
m
_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
ext
r
a: sep
a
r
ate PARAM_LIMIT and
P
ARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an
Carpente
r
f
u
n
c
t
ion_
h
ooks: don't take a shortcut for
"
needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpente
r
hel
p
e
r:
i
ntrodu
c
e a
l
loc_state_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
math: handle "if (like
l
y(1)) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
math: fix/cleanup do_compa
r
ison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
c
apped: don
'
t rec
o
rd single
v
alues as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arp
e
nter
d
b: export get_stati
c
_
f
ilt
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpe
n
t
e
r
user_d
a
ta2:
w
ro
n
g p
a
ram
e
ter tag
g
ed as us
e
r data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenbe
r
g: delete some c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
t
e
r
rosenberg: s
t
rip away some castin
g
(eliminates
a
false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpen
t
er
rosen
b
erg: do
n
't save unn
e
eded s
t
a
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
buf_size:
don't save use
l
ess information in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
struct_as
s
i
g
nment:
ignore more fake as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
slist:
fix debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Car
p
en
t
er
p
aram_
c
leared
,
rosenberg: add unders
c
ored mems
e
t/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
p
a
r
a
m_filte
r
/set:
d
on't record
f
a
ke assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Car
p
ent
e
r
slist
,
debuggi
n
g: do
n
't print ->possible li
s
t if
th
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
pen
t
er
t
ype_val
:
add
m
o
r
e
s
t
uff to i
g
nore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carp
e
nter
db/re
l
oad_part
i
al
.
sh
:
change databa
s
e info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
Carpenter
ke
r
nel_printf:
p
u
t lots of single qu
o
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
M
e
rge branch 'deve
l
3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
check_kernel_print
f
.
c
:
Simplify
r
ecursive
c
all
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ke
r
nel_
p
r
i
ntf:
a
llow '\b' if it's the
f
irst character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
validation/sm_ros
e
n
berg
.
c:
don't pass an
uni
n
itializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpen
t
er
kernel_printf: add some
more
q
uo
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpenter
kernel_
p
rintf: move a warning und
e
r
the --spamm
y
flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf
:
add some q
u
otes around the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
ker
n
e_printf
:
'%pb' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Dan C
a
rpenter
wrong_size_
a
rg:
warn about "if (me
m
cmp(foo, bar,
s
izeo
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpenter
struct_ass
i
gnment: rem
o
ve a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
sv
a
l
:
h
andle L
E
FTSHIFT
s
in sval_bin
o
p_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
sv
a
l
:
cast the result in sval_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
a
rpenter
t
ype_
v
a
l
: updat
e
to
h
andle
PARAM_
S
E
T from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val
:
ignore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_va
l
: ign
o
re a
l
l the "for_each" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_da
t
a
2
: remove some deb
u
g
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
he
l
per: introduce invert_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan C
a
r
p
enter
ra
n
ges:
brea
k
the rang
e
list p
a
rsing into a se
p
a
r
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
ent
e
r
r
anges: prep
a
re to
change
a string
to an est
a
te instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
modificatio
n
_hooks: add
P
ARAM_S
E
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
p
a
ram_
c
leared
:
cle
a
ri
n
g
a
memb
e
r is not clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan
C
ar
p
enter
t
ype_v
a
l:
ignore fake me
m
b
er as
s
ignment
s
f
r
om uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Ca
r
pe
n
ter
type_value
:
list_en
t
ry is safe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
an Carpent
e
r
db: use saved return est
a
t
e instead of searching
t
h
e db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Ca
r
p
en
t
er
debu
g
:
int
r
odu
c
e _
_
s
match_
k
now
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carp
e
nter
d
b, extra:
u
se PARAM
_
S
E
T
if t
h
e
p
a
r
ameter is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan Carpent
e
r
frees
_
param:
modi
f
y m
e
ans it's not freed anymore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
an Carpente
r
slist: fix "stack not emp
t
y" err
o
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carpenter
si
l
en
c
e:
add __read
_
o
nce_size() to
k
ernel
.
silenced_
f
un
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
c
omparison: handle pre
o
ps
l
ik
e
"if
(
++a ==
b)"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next