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: merge multiple case statements in a row together
2016-04-14
D
a
n
Carpen
t
er
fl
o
w: merge
m
ultiple case statements in a r
o
w to
g
ether
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
t
e
r
helper: use
.
instead
o
f -> for mo
r
e variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
p
aram
_
set: remove an
u
n
n
needed variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
e
xtra:
p++ should c
l
ear
t
he
s
t
a
tes for *p
o
r
p
-
>foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
math:
h
a
ndle __builtin_types_compatibl
e
_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpente
r
flow: split
c
a
se statem
e
nt handling into it
s
own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpen
t
e
r
implie
d
:
replace __
g
et_i
m
p
l
ied_values() wit
h
get_absol
u
te_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
flow
:
fi
x
b
ug
i
j
ust introduced wi
t
h kno
w
n switch sta
t
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: print the max
s
ize for __smatch_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
C
arpenter
debug: include
->possi
b
le and absolute in
_
_sm
a
tch_about
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
Carpenter
i
mplied: r
e
move unn
e
cessary initialization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
rpen
t
e
r
p
aram_cleared: str
i
p
a
wa
y
casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
ranges: make filter_top_rl(
)
take a
r
an
g
e_list filte
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shuffle c
a
se s
t
a
t
eme
n
t han
d
ling around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
Carpenter
implied: spli
t
the __implied_case_stree() i
n
to two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
extr
a
: white space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
imaginary_absolute: it's like smatch_ext
r
a
.
c
f
or
i
mpossible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
impl
i
e
d: r
e
move some duplicate lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpen
t
er
ext
r
a: remove
a
n obsolet
e
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra:
s
plit h
a
ndle_compar
i
son() i
n
to two
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: igno
r
e unreachable r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
db: split
returns
in to
NULL and n
o
n-
N
ULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpent
e
r
db: r
e
move pointless ret
u
rn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
db:
small cl
e
an
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Ca
r
pen
t
e
r
hooks: rename CALL_HOOK_
A
FTER to CALL_HOOK_AF
T
ER
_
D
B
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpent
e
r
unt
r
acked
_
para
m
: handle inline
call
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan
Carpente
r
flow: doen'
t
reset loop_
c
o
u
nt for inline
f
unctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
implied: use the
c
o
r
rect type for conditi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
scope: delete out
o
f scope va
r
iables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
n
t
er
valid
a
tion/sm_chunk2
.
c: update
validation tes
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arpenter
db: revert a "speedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
C
a
rpent
e
r
real_
a
bsolute: turn this code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpente
r
e
rr_ptr_deref: complain about derefe
r
ences insi
d
e a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
r
penter
return
_
e
f
ault: complain about "
r
et
u
r
n
copy_from_user();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
nter
b
u
f
_si
z
e
: save size of fi
x
ed arra
y
s
t
hat are re
t
urned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an Car
p
enter
modi
f
ic
a
tion_hooks: remove an unneeded var
i
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
slist:
make
m
erge_
s
tates
(
) static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carp
e
nter
states: make debu
g
output more consistent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hooks: put each t
y
pe of hook
i
nto i
t
'
s own array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Ca
r
pe
n
t
e
r
.
gi
t
ig
n
ore:
add
.
gdb_h
i
story
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
stored_condi
t
ion
s
: whi
t
e space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
math
:
p
r
e
fer r
e
al_a
b
solute_v
a
lue t
o
the db value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
t
e
r
implied: remove a
blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
conditions: bug in con
d
ition assign
m
ents like foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
im
p
ossible: han
d
le ass
i
gnm
e
n
t
conditions b
e
tte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
string_
c
ondition: don't c
o
m
p
l
a
in about TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpent
e
r
functio
n
_h
o
oks:
h
andle returs
that do
n
't
s
e
t
a sta
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Car
p
e
n
ter
d
b
: do
n
't use split
_
succes
s
_fai
l
if it
doesn't r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Carpenter
d
b:
f
i
x bug in pr
i
nt_
s
truct_mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
db: fo
r
impos
s
ib
l
e re
t
u
r
ns j
u
st do the si
m
ples
t
thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
r
p
enter
extra: u
s
e
r
eal_absolute values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
nter
extra
:
improve array handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
penter
smatch: add a --t
i
m
e option to p
r
int how
long smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
flow:
h
andl
e
"*p++ = fo
o
" better
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
flow: fix
inside_loo
p
() with inline functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
Dan Carpenter
param_set:
han
d
le array ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpent
e
r
implied: remove buggy code for working around the
old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
D
an Carpen
t
er
d
b/fix
u
p_
k
ernel
.
sh: add kmalloc_o
r
der_t
r
ace()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carp
e
nter
d
b/fixu
p
_
k
ernel
.
s
h: ignore a lot of PCI erro
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Ca
r
pe
n
t
e
r
data/ke
r
nel
.
clears_argument:
a
dd
copy_user_generic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Da
n
Carpenter
db: split posit
i
ve
from negat
i
ve
r
etur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
ex
p
ressions: introduce com
p
a
re_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Ca
r
pe
n
ter
implied: introduce assume(c
o
ndition)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpenter
db:
h
andle parameter fu
n
ction pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-07
D
an Carpenter
states:
handle fake
sli
s
t properly whe
n
we me
r
ge true
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
validatio
n
: add a t
e
st for
r
a
n
ged case statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
Car
p
enter
cond
i
tions: big
fake state re-wor
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
a
v
l: r
e
move sign() fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
D
an Carpenter
s
li
s
t:
introd
u
ce type
_
st
r
e
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan C
a
r
p
en
t
e
r
c
onditio
n
s: ad
d
a
N
ULL
c
h
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-04
Dan
Ca
r
penter
i
mp
l
ied: rev
e
rt not already se
t
c
h
ange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-29
Dan
Ca
r
penter
e
x
tra:
handl
e
po
s
t op incr
e
ment l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-26
D
an C
a
rpenter
type: fix "str
a
nge non
-
value function o
r
array" w
a
r
nings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-25
D
a
n Carpenter
leaks: don't res
e
t states to themselves
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carpente
r
flow, con
d
it
i
ons: han
d
le label statements correctl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-23
D
an Carpenter
db: fi
x
a bug in splitting return states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-19
Dan Carp
e
nter
R
evert "states: o
n
ly set the fa
k
e_stree in set_
s
tate()"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan
Carpenter
locking: don't warn about i
m
p
o
s
sible path
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
validation
/
s
m_implied8
.
c: updat
e
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
D
a
n Carpenter
function_hooks: use __set
_
sm_cur_stree()
in db_ret
u
rn_states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
s
tates: only set the fake_stree in se
t
_st
a
te()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Ca
r
p
e
nte
r
imp
l
ica
t
io
n
s
: u
s
e stored_cond
i
tions the default
f
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
impl
i
ed
:
unbreak assig
n
_
rang
e
d_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan
C
a
rpenter
states: delete an unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpe
n
ter
i
m
plied:
f
ix PARAM_LIM
I
T impl
i
cations again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-16
Dan C
a
rpe
n
ter
i
m
plied: fall out from
f
a
k
e_cu
r
_stree
c
h
a
n
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpe
n
t
e
r
real
_
a
bsol
u
te: += an
d
= are not the sam
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
states: __set_sm_
c
ur_stree() should n
o
t cha
n
ge
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
states: setting the true state doesn
'
t
set the cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
implied
:
fix
a
bug handlin
g
PARAM_
L
I
M
IT im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Ca
r
pen
t
er
v
a
lidati
o
n: add sm_impossible2
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
C
arpenter
struc
t
_assignment: silenc
e
a
GCC false positiv
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
val
i
dation/
s
m_implied10
.
c: update the test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
rpenter
extra: fix values
_
fit_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan C
a
r
penter
Revert "
s
list: ma
k
e __merge_sl
i
st() allocate l
e
ss memory"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carpenter
f
l
ow: silence a GCC false positive
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
validation
/
s
m
_
com
p
are3
.
c: update t
h
e check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
D
a
n Carpent
e
r
vali
d
ati
o
n
:
update sm_math1
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
arpenter
valid
a
tion: update
s
m_overflow3
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-02-10
Dan
C
a
r
penter
validation/sm_inline3
.
c:
remove acc
i
dental
i
nclude
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next