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
db: make a file kernel.return_fixes for updating return values
2016-04-14
Dan Carpe
n
ter
db: make a file
k
erne
l
.
retu
r
n
_fixes for u
p
dating retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpe
n
ter
flow: merge
multiple
c
ase state
m
ents in
a row tog
e
ther
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
helper:
u
se
.
instead of -> for more variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
param_set:
remove
an un
n
needed
va
r
ia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
extra: p++
should clea
r
t
h
e
states
for *
p
or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
math
:
handle __builtin_type
s
_compatible_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carp
e
nter
f
low:
sp
l
it case statement handl
i
ng into its
o
wn functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpent
e
r
impl
i
ed: replac
e
__get_impl
i
e
d_valu
e
s()
wi
t
h get_absol
u
te_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpen
t
e
r
flow: fix b
u
g
i just introdu
c
ed with kno
w
n switch state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Car
p
enter
debug: pri
n
t the
max size for __sma
t
ch_bu
f
_
size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
r
pente
r
d
e
b
u
g: include ->possible
a
nd a
b
s
olute in
_
_s
m
atch_ab
o
ut
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: remove
u
n
n
ece
s
sary initiali
z
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
p
a
ram_clear
e
d: st
r
i
p
away ca
s
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
ranges: make
f
ilter_top
_
rl
(
) t
a
ke a rang
e
_
list f
i
lt
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
rpenter
fl
o
w: shuffle case
s
tatement ha
n
dling a
r
ound
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
implied:
split the __
i
m
p
lied_c
a
se
_
stree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
extra:
wh
i
te space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
i
maginary_absolut
e
:
i
t
's li
k
e smatch_e
x
tra
.
c
f
or imp
o
ssible
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpenter
implied:
rem
o
ve
some duplicate lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
e
xtra: remov
e
an obso
l
ete comm
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: split handle_comparison() i
n
to two f
u
nctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
enter
db: ig
n
ore unre
a
chable ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n
Carpe
n
ter
db: spl
i
t returns in t
o
NULL
and non
-
N
U
LL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: r
e
move pointless r
e
t
u
rn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carp
e
nter
db
:
smal
l
c
leanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
an Carpente
r
ho
o
ks: renam
e
CAL
L
_HOO
K
_AFTER to CA
L
L_HOOK_AFTER_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
untracked_p
a
r
a
m:
h
andle inline
c
alls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
f
l
o
w: do
e
n'
t
reset lo
o
p_
c
ount for inl
i
ne funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpe
n
ter
implied: u
s
e the co
r
rect typ
e
for
conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan
C
arpenter
scope: de
l
ete out of scope variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
ente
r
valida
t
ion/sm_chunk2
.
c: u
p
date va
l
idation
t
e
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
nter
db: revert a "speedup"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
r
e
al_absolut
e
:
turn this code on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_ptr_deref: complain
a
bout
dereference
s
inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpen
t
e
r
return_efau
l
t: co
m
pla
i
n
a
bout "return copy_from_user(
)
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
e
n
ter
b
uf_size
:
save size of
fixe
d
arrays t
h
at
ar
e
returned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
modifi
c
ation_hooks
:
remove
a
n unneeded
variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
slist: make
me
r
ge_
s
tates() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
states:
make debu
g
output more c
o
nsistent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpent
e
r
hoo
k
s
:
p
ut each type of hook into it's own array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
.
gitignor
e
: a
d
d
.
gdb_history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpen
t
er
store
d
_
c
onditions: white sp
a
ce changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
m
ath:
p
r
efer real_absolu
t
e_value to the d
b
v
a
l
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpente
r
i
mpl
i
ed: remo
v
e
a
b
lank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Ca
r
p
ente
r
conditions: bug in c
o
ndition ass
i
gnments like foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
imposs
i
ble: h
a
ndle
assignment
c
o
n
diti
o
n
s
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
str
i
ng_condition: don't complain about TRACE_E
V
ENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
functio
n
_
h
ook
s
: handle returs
t
h
at
d
o
n't set a state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
db: don't use split_succe
s
s_fail if i
t
doe
s
n't
r
etur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpent
e
r
db:
f
ix bug
i
n
p
rint_struct_members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
rpenter
db: for impossible returns just do the simplest th
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
nter
e
xt
r
a:
use real_abso
l
ute va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpenter
extra: improve a
r
ray
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
an Ca
r
penter
smat
c
h: add a
-
-time option to p
r
i
nt ho
w
lon
g
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpent
e
r
f
low: handle "*
p
+
+
=
foo" be
t
ter
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
flow
:
fix inside_loop() with inline functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
D
a
n Carpenter
param_
s
et: hand
l
e
a
rray assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Da
n
Carpenter
im
p
lie
d
: remove buggy code
f
or worki
n
g around the old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan
C
a
r
penter
db/fixup
_
kernel
.
sh: add kmalloc_order_
t
race()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Da
n
Carpenter
db/fixup_k
e
rnel
.
sh
:
ign
o
re
a
lo
t
of PCI e
r
rors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
D
an Carpenter
data/kernel
.
c
l
ears_argument
:
add copy_user_generic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
D
an
C
a
rpe
n
ter
db: split pos
i
tive
from neg
a
tive ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan
Carpenter
e
xpre
s
sions: intro
d
uc
e
c
o
mpare_ex
p
ression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
enter
implied: introduce
a
ssume(condition)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
d
b: hand
l
e
p
a
rameter function poi
n
t
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpenter
states: handle fake s
l
ist prope
r
ly when we merge true
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Car
p
en
t
er
val
i
dation: add a test for ranged c
a
se
s
t
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Ca
r
p
enter
condi
t
ions: big fak
e
s
tate re-work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
C
arpen
t
er
avl: remove sign
(
) fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carp
e
nter
slist:
i
ntroduce type
_
stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
conditions:
a
dd a NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Car
p
enter
implied: revert
n
ot already
set chang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan
C
arpen
t
er
ext
r
a: ha
n
dle post op
inc
r
e
ment loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
Dan Carp
e
nter
type: f
i
x "strange no
n
-v
a
l
u
e function or
a
rr
a
y" wa
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan Carpe
n
ter
leaks:
d
o
n
'
t res
e
t states to themselves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpenter
fl
o
w,
con
d
itions: handle
l
ab
e
l statem
e
nt
s
correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan
C
arpenter
db: fix a b
u
g i
n
spli
t
ting return
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
D
an Ca
r
penter
Revert "states: on
l
y s
e
t the fake
_
stree in set_
s
tate()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
r
p
enter
locking: don't wa
r
n
abou
t
imp
o
ssible path
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan C
a
rpenter
vali
d
ation/sm_implied8
.
c: upd
a
te tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nter
function_hooks: use __set_sm_cur_
s
tree() in db_retu
r
n_
s
tates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
Carpen
t
er
s
t
ates: on
l
y
s
e
t the f
a
ke_stree in set_
s
tate()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan
C
arp
e
nter
impli
c
a
t
i
ons:
u
s
e
stored_conditions
t
he default fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpen
t
er
implied: unb
r
eak assign
_
ranged_
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n Carp
e
n
t
er
s
t
a
tes:
delete a
n
u
nused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n
C
a
rpe
n
ter
implied: fix PAR
A
M_LIMIT i
m
plic
a
tions a
g
ain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
a
n Carpenter
i
m
plied: fall
o
ut from fa
k
e
_cu
r
_stre
e
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carp
e
n
t
er
real_absolute: +=
a
n
d
= are
n
ot t
h
e
same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
state
s
: __set
_
s
m
_
cur_stree() should
n
o
t chang
e
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
D
a
n Carpe
n
ter
sta
t
es
:
setting the true state
d
oesn't se
t
the cu
r
_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpen
t
er
implied: fix
a bug handlin
g
PARAM
_
LIM
I
T implicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Da
n
Carpe
n
ter
validation
:
add sm_i
m
possible
2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
struct_assignment: silence a GCC false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpenter
val
i
d
a
tion/sm_imp
l
ie
d
10
.
c: update the tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n Carpe
n
t
e
r
e
x
t
r
a:
fix
v
alu
e
s_f
i
t_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
Rever
t
"sli
s
t:
m
ake __merge_slist
(
) a
l
locate less memory
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arp
e
nt
e
r
f
l
ow: si
l
ence a GCC false positive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
valid
a
tio
n
/sm_compare3
.
c: update the
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
D
an Carpenter
valida
t
ion
:
up
d
ate sm_ma
t
h
1
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-10
Dan Carpe
n
ter
validation: upda
t
e s
m
_overflow3
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next