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
extra: fix type issue handling ++= and --= operations
2017-01-20
Dan Carpenter
e
x
tra: fix type issue handling ++= and --= operat
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: r
e
m
ove uncommitted function c
a
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
math: fix handli
n
g o
f
s
ize
o
f
() __le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
math: handle real_absol
u
te variable
s
mor
e
ac
c
uratel
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
real_absolu
t
e:
ignore
i
t
erat
o
r
p
re statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
pen
t
er
helper:
I
n exp
r
_
t
o_st
r
() remove extra p
a
renthe
s
i
s
ar
o
und
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db: introduce sql_
i
nsert_d
a
ta_info_
v
ar_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b:
u
se "extern
"
inst
e
ad
of
the file name fo
r
globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpenter
sparse: introduce
parse_er
r
o
r
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_dat
a
2: handle
f
unctions
t
h
at m
e
r
ely return p
a
ssed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
h
o
oks:
i
n
troduce A
S
SIGNME
N
T_
H
OOK_
A
FTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
nter
db: give
up handling fun
c
tion pointers if there a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpent
e
r
user_d
a
ta2: remov
e
some d
e
bug
printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan C
a
rpenter
user_data2
:
don't set
t
he func
t
ion
itself to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Car
p
e
nter
user_dat
a
2:
improve h
a
ndling wh
e
n w
e
return user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan
C
a
r
p
en
t
e
r
f
u
nction_hooks: don't mark it as
i
m
p
ossible i
f
a
functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
comparison:
m
o
dify the links at
at start o
f
a
n
as
s
ignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Da
n
Ca
r
penter
db: cleanup g
e
t_ro
w
_
count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
a
r
penter
i
mplie
d
: r
e
nam
e
a
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
estate: add
an estate_is_emp
t
y() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n
Carpenter
db/kernel
.
no_inl
i
ne: don't parse the
bit
e
swap functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
a
r
pe
n
ter
k
e
rnel:
parse ATOMIC_SET(
)
manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carp
e
nter
db/kernel
.
return_
f
ixes: add some more
fix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
db/f
i
x
up_kernel
.
s
h:
h
andle _
_
k
e
rne
l
_write()
a bit bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
vim_db
:
handle
older ver
s
ions
of vim
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fixup_
k
ernel
:
ha
n
d
l
e __bu
i
ltin
_
b
sw
a
p64(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpenter
func
t
ion_hooks:
c
ha
n
ge or
d
er of
h
ow db verse i
m
plied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
param_limi
t
: do
n
't i
n
s
ert empty states into the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
ranges: use a h
a
ck
a
r
o
und so when merging ran
g
es
of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
t
ype
_
val: f
i
x a memory leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpenter
fu
n
ction_ho
o
k
s
, d
b
:
h
a
ndle PARAM
_
LIMI
T
for st
r
uct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
i
mpli
e
d: fix a bug handling parameter implica
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Ca
r
p
e
nter
implied:
a
dd
more debug infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan C
a
rpenter
db
:
sort ret
u
rn_state
s
by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carp
e
nter
fl
o
w: tiny cleanup handling assi
g
n
me
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Car
p
ent
e
r
flow: re
m
ove an unneed
e
d condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Car
p
e
n
t
er
f
l
o
w: r
e
name a vari
a
b
le "
t
mp" -> "
r
ight"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carp
e
nter
k
ernel
.
ign
o
re
d
_
macro
s
: add LASSERT(
)
from lu
s
t
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan
C
arpenter
f
u
nction_h
o
oks, db: use INTERNAL a
s
the
m
arker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Ca
r
penter
db: h
a
ndle function pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
user_data
2
: math: func
t
i
on call
s
s
ho
u
ld be ha
n
dled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpent
e
r
math: f
i
x a
t
ype issue
w
ith
MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpenter
untracked_param: functions that are
t
o
o
hairy are untrack
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
addr
e
ss: simplify is_non
_
nu
l
l
_
arra
y
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
type
_
val: use the correc
t
typ
e
i
n
g
e
t_db_ty
p
e_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan C
a
rpenter
impli
e
d
:
fix a b
u
g w
i
th borrowed implic
a
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flow:
h
andled
declared labels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan
Carpente
r
ra
n
ges: read u64max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Carpenter
s
m
atch: remove
t
ests to see
i
f
a
n
array is NU
L
L
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
ex
t
ra: handle
"if (a + b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
ente
r
slist:
Silence a smatch war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
deb
u
g: ad
d
the __
s
match_absol
u
t
e
() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an Car
p
enter
buf_size: Usin
g
plain integer
a
s NULL po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
db:
U
sing plain integer as NULL p
o
inter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Ca
r
penter
ast-model: U
s
in
g
p
lain int
e
ger
as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug:
add a __smat
c
h_absolute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carp
e
nter
user_data
:
short circuit a bunc
h
of co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpente
r
dma
_
m
a
pping_error: add pci_dma_mappin
g
_error() to this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpe
n
ter
continue_vs_break: add it checklis
t
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpente
r
smatch_a
d
dres
s
:
don't cr
a
sh on invalid c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpe
n
ter
*new* continu
e
_vs_br
e
ak:
complain
i
f cont
i
nue
i
s used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smatch
.
h: reserve som
e
db type
s
for
later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
sm
a
tc
h
.
h: shuffl
e
some declara
t
ion
s
ar
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
r
pente
r
sm
a
t
c
h
.
h: si
l
e
n
ce a compile
w
arnin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
arpe
n
ter
ca
p
ped:
set it to unc
a
pp
e
d if it's mod
i
fied
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db
/
fixup_kernel
.
sh: wor
k
around for
__to_f
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
db/fixup_kernel
.
sh:
w
ork
around for gfs2_ea_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
db
/
kernel
.
return_
f
ixes: specify some
f
unctions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
implied
:
add more information to the debug outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Car
p
e
n
ter
debug: print if
you give a bad check nam
e
to __smatch_st
a
tes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
smatch_
d
ata/wi
n
e:
upda
t
e wine data
f
iles
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
extra: add more parameter de
r
e
f
erences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math
:
don'
t
c
r
ash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
user_data2:
skb->data
i
s no
t
user data, s
k
b->data[0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpente
r
t
y
p
e
_
value
:
it d
o
e
sn't make sense to t
a
lk about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
ex
t
ra
:
improve
how
"if
(foo & ~0
x
F
)" is
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Car
p
enter
math: i
g
n
o
re byte s
w
ap
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
flow: handle
w
hile (42) {
.
.
.
} loops
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
compa
r
is
o
n,function_hooks: remo
v
e impossible p
a
t
hs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
p
a
ra
m
_compare_
l
imit: like
param_limit but for compariso
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carp
e
nter
co
m
parison: add a FIXME reg
a
rding a bug I notic
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arpenter
co
m
p
arison: load/use return c
o
mparisons
i
n the cross
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpen
t
e
r
co
m
p
arison
:
loa
d
struct m
e
mber info into the
caller_i
n
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
compar
i
so
n
: load the c
o
rrect compa
r
ison
i
nfo
r
matio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpent
e
r
flow: don't call s
c
ope hook
s
until
a
fter the EN
D
_
FUNC_HO
O
K
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan C
a
rpe
n
ter
mod
i
fication_hooks
:
g
oi
n
g
out of
scope
i
s not a modificatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan
C
arpente
r
db/fixup_kernel
.
sh:
u
pdate get_user_pages() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carp
e
nter
f
unction_hooks: pull is_impo
s
sible_data()
i
n
t
o
its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
c
o
m
p
ar
i
son:
c
leanu
p
h
andle_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Car
p
e
nter
co
m
parison: export some functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpent
e
r
states: n
u
ll
i
fy_path()
s
h
ould
do free the fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
ente
r
db: handle comparisons that we know
a
r
e
true b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
arp
e
n
t
er
db: ma
r
k some tru
e
false paths imposs
i
ble base
d
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan
Carpenter
ranges, db: if we can't filter by comparison t
h
en
u
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan C
a
rpenter
db: han
d
le nested calls bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan C
a
rpente
r
e
x
tra: re-write handle_AND_condi
t
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
e
n
ter
implied: handle impossible pa
t
hs f
r
om compli
c
a
ted swit
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
i
mpli
e
d: get rid
o
f the ->impli
e
d member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpe
n
ter
i
mplied: get
rid of a temporary variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpente
r
smatch_
d
ata/wine
.
no_return_funcs: add
mo
r
e
f
u
nction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next