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_set: handle if the parent was set
2017-02-16
Dan Carpenter
param_set
:
handle if the parent
w
as set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n Car
p
enter
b
u
f
_
size: fix type
_
by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Ca
r
pe
n
te
r
db: filter p
o
inter cal
l
s
by function signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
implied: re
v
er
t
"
t
iny speed
up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
assig
n
_
vs_c
o
mpar
e
: warn about "if
(
fo
o
=
&bar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
typ
e
: f
i
x t
y
pe_bits() for ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carp
e
n
t
er
shift_to_zero
:
do
a
small clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
sm
a
tch
.
c:
r
emove
a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
d
b
: split
re
t
urn state
s
by null vs
non-null pa
r
am
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
extra: filter PARAM_VALUE
s
w
i
th
b
oth extra
and real_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
math: handle -foo
be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
helper: introduce get struct
and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: tiny
s
p
eed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied:
small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
ranges: handle bitwise
AND operations
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
real_absolute:
i
ntro
d
uce
ge
t
_
re
a
l_absolute_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
avl: add a short cut for when th
e
r
e
a
r
e no s
t
a
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
type_val:
handle |
=
t
y
p
e
a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
d
b
: rename "fu
n
ction_type_info"
t
a
ble
to "functio
n
_ty
p
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
user_data2:
if a user_data
is equal to no
n
-user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpenter
pr
e
-p
r
oce
s
s: try find any include tha
t
looks like it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
comparison: remo
v
e som
e
local_debug infor
m
a
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Ca
r
pen
t
er
db/fixup
_
k
ernel
.
s
h: write to the temporary DB inst
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Car
p
enter
extra: fix
type is
s
ue h
a
ndling
++= and --= o
p
erat
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
math: rem
o
ve uncommitt
e
d
f
unction
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
m
a
th:
fix
h
andling of
s
i
zeof() __le
1
6 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
math: handle rea
l
_ab
s
olute variables more accuratel
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
r
eal_abso
l
ute: ig
n
o
re iterator pre sta
t
e
m
en
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
helper: In expr_to_str() rem
o
ve extra parent
h
esis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
p
e
nter
db: int
r
o
duce
s
ql_insert_
d
ata_inf
o
_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
p
enter
db: use "ex
t
ern" instead
o
f
t
he file name for g
l
obals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse
:
introduc
e
par
s
e_e
r
ror variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
use
r
_d
a
ta2: handle
functions
t
hat mer
e
ly retu
r
n passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
nter
hooks: introduce A
S
SIGNMENT_HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
ar
p
enter
db: give up han
d
ling
fun
c
ti
o
n poin
t
ers if there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
a
r
penter
user_d
a
ta2: remove some debu
g
printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data
2
:
d
on't se
t
the functi
o
n itself to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
u
s
er_dat
a
2: improve hand
l
ing when we return user d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
D
a
n Carpenter
funct
i
on
_
hooks: d
o
n't mark it as impossib
l
e if a
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
D
a
n Carpenter
comparison: mo
d
ify the
links at at start of an a
s
sig
n
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
D
a
n Carpen
t
er
db
:
clea
n
up get_row_coun
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an
C
arpe
n
ter
implied: renam
e
a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
est
a
te: add an estate_is
_
e
mpty() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
n
ter
d
b
/
k
ernel
.
no_inline
:
d
on't p
a
r
s
e the bite swap
functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
kernel: parse AT
O
MIC_SET() ma
n
ual
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
e
r
db/ker
n
e
l
.
return_fix
e
s: add
s
o
m
e
m
o
re fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
p
e
nter
d
b/fixu
p
_kerne
l
.
s
h
: han
d
le
__kernel_write() a
b
i
t better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpenter
vim_db: h
a
n
d
le older
versi
o
ns of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpen
t
er
db/fixu
p
_k
e
rnel:
handle __
b
ui
l
tin_bswa
p
64(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_
h
oo
k
s: change or
d
er of
how db
v
erse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
param_limit: don't insert empty states int
o
the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
t
e
r
ranges: u
s
e a hack around s
o
whe
n
merging
r
anges
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
t
ype_val: fix a memor
y
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
fu
n
ction_h
o
o
ks, db: ha
n
dle PARAM_LIMI
T
for str
u
ct memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpenter
imp
l
ied: f
i
x a bug ha
n
dling pa
r
am
e
ter i
m
pli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
i
m
plied: add mo
r
e debug inform
a
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
db: sor
t
return_stat
e
s by
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpen
t
e
r
flow:
tin
y
cleanup handl
i
ng a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow:
r
emove an unneeded cond
i
tio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
an Carpenter
flow: rename a varia
b
le "
t
mp" -> "right"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan
C
arpenter
k
ernel
.
ignored_macros:
add L
A
S
S
ERT(
)
from
lustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpente
r
function
_
hooks, db: use INTERNAL a
s
the
m
arke
r
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan
Carpen
t
er
db:
han
d
le
functio
n
pointers bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_kernel_prin
t
f
.
c: %pj ended up bei
n
g
%
pG
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check
_
ker
n
e
l_prin
t
f
.
c: handle new defin
i
tion of
KERN_C
O
N
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
ill
e
moes
check_k
e
r
n
el_print
f
: check that %pg gets a block_de
v
ice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Car
p
enter
u
s
er_data2: m
a
t
h
: func
t
ion calls sh
o
uld be handled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
math: f
i
x
a type issue
w
ith
M
OD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan
C
arpente
r
untr
a
cked_param:
functions tha
t
are to
o
hairy are untrackable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arpent
e
r
address: simplify is_non_null
_
a
r
r
a
y
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Car
p
ent
e
r
t
ype
_
val: use
t
he c
o
r
rect type i
n
get
_
db_type_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arpenter
implied: f
i
x a bug wit
h
b
orrowed i
m
p
l
ic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan
Carp
e
nter
flow: handled declar
e
d labels better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
D
a
n Carpenter
ran
g
es:
read u64max corre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
smat
c
h: remove t
e
sts to see if an ar
r
ay is NUL
L
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
ex
t
r
a
:
h
a
n
d
l
e "i
f
(a + b
< a) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
rpenter
slist: Silence
a
sm
a
tch warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
d
e
bug: add the __smatch_absolute() ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpenter
buf_size: Usin
g
plain integer
as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
db: Usin
g
plain i
n
teger as NU
L
L pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Ca
r
p
e
n
t
er
ast-model:
U
si
n
g plain integer
a
s NULL p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug: ad
d
a __smatch_absolute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
u
se
r
_
d
a
t
a
: short circuit
a
bunch of
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_
m
a
pping_e
r
ror:
a
dd pci_dma_ma
p
pi
n
g_error(
)
to this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
continue_vs
_
b
r
e
a
k: add it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
smatch_address:
d
on'
t
c
r
ash on in
v
a
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
*new
*
continue_vs_break: complain i
f
continue i
s
use
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
r
p
en
t
er
smatch
.
h: reser
v
e some db typ
e
s for later
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
smatch
.
h: shuff
l
e s
o
me declara
t
ions
a
r
ound
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpe
n
ter
smatch
.
h: si
l
ence a com
p
ile war
n
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
c
a
pped: s
e
t it to uncap
p
ed if it's modi
f
ied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
db/fixup_kernel
.
sh: w
o
rk arou
n
d for
__t
o
_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
C
ar
p
enter
db/fixup_kern
e
l
.
sh
:
work arou
n
d
f
o
r
gf
s
2_ea_find()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
db/kernel
.
r
e
t
u
rn_fixe
s
: spe
c
i
fy som
e
f
u
ncti
o
ns that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpe
n
t
e
r
imp
l
ied: add more information to the deb
u
g out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpen
t
er
d
e
bug: print if you gi
v
e a b
a
d
check
n
a
me to __smatch_state
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
ent
e
r
smatch_data/wine: update wine data fi
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
extra: a
d
d more parameter derefere
n
ces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
math: don't crash on in
v
alid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
user_
d
ata2: skb->data is not user dat
a
,
skb
-
>data[0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next