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
ranges, db: if we can't filter by comparison then use the whole range
2016-04-14
Dan Carpenter
ranges, extra:
m
o
ve
and ex
p
ort s
p
lit_comparison_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpenter
sli
s
t: remove u
n
used
__se
t
_
t
rue_false_if_n
o
t_al
r
ead
y
_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
p
e
nter
db: make
a
file ker
n
el
.
return_fixes for updating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Car
p
e
n
ter
flow: merge
mult
i
ple
c
a
se statements in a row toge
t
her
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
helper: use
.
i
n
s
t
e
a
d o
f
-> for more
variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an
C
arpenter
param_set: remove an unnneeded va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
e
n
ter
extra: p+
+
s
h
ould clear
the states for
*p or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
math:
h
andle
__bui
l
tin_ty
p
e
s_compatible_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
arpenter
flow
:
sp
l
i
t
ca
s
e statement handl
i
ng into its own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Car
p
enter
implied: replace __get_impl
i
e
d
_v
a
l
ues() wit
h
get_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
flow: fix bug i just intro
d
u
ced with kn
o
wn
s
wi
t
ch state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
debug: prin
t
the m
a
x
s
ize for __smatch
_
buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
d
ebu
g
: in
c
lude ->
p
ossible and absolut
e
in __smatch_
a
bo
u
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
i
mp
l
i
e
d: remove u
n
necess
a
ry i
n
itializa
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
param
_
cle
a
red:
s
tr
i
p
a
way casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
r
p
enter
r
a
nges: make filter_top_rl() take a range_list f
i
lt
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpent
e
r
flow
:
shuffle c
a
se s
t
atement han
d
li
n
g
aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an C
a
rp
e
nter
implied: split the __
i
mpl
i
ed_case_stre
e
() in
t
o
two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
extra: wh
i
te space cl
e
anup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
an C
a
rpenter
imag
i
nary_abs
o
lute:
it's l
i
ke
smatch_extra
.
c
for i
m
poss
i
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
implied:
rem
o
ve some du
p
l
i
cate
l
i
n
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
e
nter
e
x
tra: re
m
o
v
e
an obsolet
e
co
m
me
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carp
e
n
ter
extra: s
p
lit handle_comparison() int
o
two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpent
e
r
db
:
ignore unreac
h
able returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpenter
db: split returns i
n
to NULL and non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
C
a
rpenter
db: remove 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: s
m
all cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan C
a
r
p
ent
e
r
hooks:
ren
a
me CALL_HO
O
K_AFTER to CALL_HOOK_AFTE
R
_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan
C
arpenter
untracked_para
m
: handle inli
n
e calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
fl
o
w: doe
n
't res
e
t lo
o
p_count
f
or in
l
ine
func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
D
an Car
p
enter
im
p
lie
d
: use
the corre
c
t type for
condi
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
scop
e
: delete out
o
f
scope variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
validation/sm
_
ch
u
nk2
.
c: u
p
da
t
e validati
o
n
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpent
e
r
db: revert a "speedup
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
rpen
t
er
r
e
al_
a
bsolute: t
u
rn
t
h
i
s cod
e
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_ptr_d
e
ref: complain ab
o
ut dereferences inside a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan C
a
r
p
enter
return_e
f
a
u
lt: comp
l
ain a
b
o
ut "r
e
turn copy_fr
o
m
_use
r
(
)
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpe
n
t
e
r
buf_s
i
ze:
s
ave si
z
e of f
i
xed arrays that are
returned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
modification
_
hook
s
: remove an unneeded
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nt
e
r
slist: make merge_stat
e
s() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
states: make
debug output more consist
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
h
ooks: put each
type of hoo
k
into it's own array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
pen
t
er
.
g
itignore: add
.
gdb_history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpente
r
stored_condit
i
ons:
w
hite s
p
ace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpen
t
er
math: pr
e
fer real_absolu
t
e_value to the db v
a
l
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
rpenter
implied: remove a blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpenter
cond
i
tions:
b
ug in
con
d
ition assi
g
nments l
i
ke foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
C
ar
p
enter
imposs
i
ble: handle as
s
i
g
n
ment condition
s
b
et
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpent
e
r
string_cond
i
tio
n
: don't c
o
m
p
l
ain abou
t
TRACE_EVENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
func
t
ion_
h
ooks: hand
l
e r
e
t
urs that don't set a
stat
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Car
p
enter
db: don
'
t use
split_success_fail
i
f it doesn'
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
p
e
nt
e
r
db: fix bug in print_
s
truct_members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
e
nter
db: for
i
mpossi
b
le r
e
turns just do the simplest thin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
D
an
C
arpen
t
er
e
xtra: us
e
r
eal_a
b
solute
v
alue
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
nter
ext
r
a:
i
mprove array
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpen
t
e
r
sm
a
tc
h
: add
a
-
-
t
ime o
p
tion to print how long
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
flow: handle
"*p
+
+ = foo" be
t
ter
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpe
n
ter
flow: fix inside_
l
o
op() with inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
Dan
C
arp
e
nter
pa
r
a
m
_set: ha
n
dle array a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpe
n
ter
i
m
plied: remove buggy
code for
w
o
r
k
ing around
t
he old
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
Dan Ca
r
p
enter
db/fixup_kerne
l
.
sh: ad
d
kmalloc_order_trace
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-15
D
a
n Carpenter
d
b
/
f
ixu
p
_kerne
l
.
sh: ign
o
r
e a lot
of PCI errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carpente
r
data
/
kernel
.
clea
r
s
_
argument: add
cop
y
_user_gener
i
c()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Carp
e
nter
db: s
p
lit positive
f
rom nega
t
ive
r
e
tur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Da
n
Ca
r
penter
express
i
ons: i
n
trodu
c
e
c
ompare_expression(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan Car
p
e
nter
implied: introduc
e
assume(co
n
di
t
ion)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-10
Dan C
a
rpenter
db: h
a
ndle pa
r
ameter
f
u
nc
t
ion point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-07
Dan Carpen
t
e
r
states: handle fake
slist
p
r
o
perl
y
w
h
en w
e
m
er
g
e
t
rue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
vali
d
atio
n
:
add
a
t
est
f
or ranged case statemen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
D
a
n Carpenter
conditio
n
s: big f
a
ke
s
tate re-work
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
avl: remove si
g
n()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpenter
s
l
ist: introduce type
_
stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan
Carpen
t
er
c
o
nditions: ad
d
a
NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-04
Dan Carpe
n
t
er
implied: revert
n
ot already set c
h
a
n
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-29
Dan Carpen
t
er
extra: handle pos
t
op incr
e
ment lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-26
D
a
n Carpenter
type: fix "strang
e
n
o
n
-
va
l
ue fun
c
t
ion
o
r a
r
r
a
y
" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-25
Dan
C
a
rpenter
leaks: do
n
'
t
reset states to t
h
emselves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
Dan Carp
e
nt
e
r
f
low, condit
i
ons: handle labe
l
s
tatements
corr
e
ct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-23
D
a
n Carpenter
db: fix a bug in split
t
ing
r
eturn stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-19
Dan Ca
r
pent
e
r
Revert "s
t
ates: only set the fake
_
stree
i
n
set_
s
tate()"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpent
e
r
locki
n
g: d
o
n't
warn about impossible paths
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
val
i
dation/sm_implie
d
8
.
c:
u
p
date
t
e
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carp
e
nte
r
function_h
o
oks
:
u
s
e __set_sm_cur_s
t
ree()
i
n db_retur
n
_
s
t
ates
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
sta
t
es: only
s
et the fake_stree in set_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpenter
implicat
i
ons: u
s
e
s
tored_
c
ondi
t
ions the default
fall
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-17
Dan Carpe
n
te
r
impli
e
d: un
b
reak assign
_
ranged_fun
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan Carpent
e
r
states: delete an
unuse
d
fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
D
an Carpenter
implied:
fi
x
PARAM_LIMIT
i
mpl
i
cations again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-16
Dan C
a
rpenter
implied: fall ou
t
from
f
ake_cur_
s
tree ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
real_absolut
e
: += a
n
d = are
n
o
t the same
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
Dan Carpenter
s
t
ates: __set_sm_cu
r
_stree() should n
o
t change the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-15
D
a
n Carpenter
states: settin
g
the true
s
tate doesn't set the cur_stre
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Car
p
enter
imp
l
ied: fix a bug h
a
nd
l
ing PARAM
_
LIMIT
implica
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan
Carpent
e
r
valida
t
ion: add sm
_
i
mpo
s
sible2
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpen
t
er
struct
_
assignme
n
t: silence a GCC
false po
s
itive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpenter
va
l
idation/sm
_
implied
1
0
.
c: update the test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
ext
r
a
:
fi
x
values_fit_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Ca
r
pe
n
ter
Revert "slist: make __m
e
r
g
e
_
s
l
i
s
t() allocate
less memo
r
y"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
D
a
n
Carpenter
flow
:
silence a GC
C
false
p
ositive
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-02-11
Dan Carpe
n
ter
validation/sm_c
o
mpare3
.
c
:
update the check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next