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
implied: handle ->implied states differently
2016-06-24
Dan C
a
rpenter
i
mplied: ha
n
dle ->
i
mplied
states d
i
fferen
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carp
e
nter
slist, implied
:
p
r
eserve
the ent
i
re cur_s
t
ree in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpe
n
ter
impli
e
d:
fi
x
a bug
wh
e
re
w
e imp
l
y the wrong
t
h
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpente
r
i
mplied: remove an indent
l
ev
e
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpent
e
r
implied:
c
h
ange
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
D
a
n
Carpen
t
e
r
ext
r
a
: ignore tr
u
ncat
e
d
l
imi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
fl
o
w: han
d
le asm
gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carp
e
nt
e
r
db: spl
i
t on boolean parame
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
struct_assig
n
ment
:
handl
e
pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Ca
r
penter
functi
o
n
_h
o
oks
:
hack around invalid input from the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
functi
o
n_hooks
:
fix the pr
e
v
ious range hooks fix again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carp
e
n
t
er
flow: set
-
>parent for expression s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
help
e
r, un
t
ra
c
ked_pa
r
am: mov
e
the i
n
t_stack
to s
m
a
t
c
h_helper
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges:
f
ix cast
i
ng to
bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
r
p
e
n
ter
flow: set pos
i
tion at
the
start of t
h
e
f
u
n
ction correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Ca
r
p
e
nter
function_hooks: fix a
t
ypo in de
b
ug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
implied:
tweak
timeout in
s
eparate_and_filter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
Carpenter
f
u
nctio
n
_hooks: fix a
t
ype issue (a
f
fects ranged fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fu
n
ction_hooks: fix db
and ranged_functio
n
s in
t
egrat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kernel
.
return_
f
ixe
s
: hack arou
n
d down
_
inte
r
ruptible
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpenter
db/
k
e
r
nel
.
retur
n
_fixes:
a
d
d
sc
n
printf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpent
e
r
fu
n
ction_hooks: fix locking fa
l
se posit
i
ve
s
when
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
C
arpenter
extra: fix mem
s
et() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
i
mpl
i
e
d
: delete unused functio
n
sm
_
state_in_
s
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
an
Carpenter
ptrlis
t
: use after fr
e
e
in last_ptr_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpente
r
flow: type is
s
ue handli
n
g
s
witch sta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
range
s
: fi
x
type i
s
sue in remove
_
r
a
n
ge
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Ca
r
pe
n
ter
conditions:
si
l
ence v
a
l
g
rind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan
C
a
rp
e
nt
e
r
flow: set
f
inal_pas
s
i
f we have
t
o
bail on a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra:
export ge
t
_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan C
a
rpen
t
er
impossible: a
d
d is_impossibl
e
_path()
t
o smat
c
h
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
D
an
Carp
e
nter
db: don't crash
generating SQL for invalid
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: fi
x
bug handling un
t
racke
d
poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
s
tr
u
ct_assi
g
n
ment: ignore
c
ertain type
s
of a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carpen
t
e
r
e
xtr
a
: deference
s
i
n fake assignments don't cou
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
ex
t
ra:
h
a
n
dle fake assignmen
t
s faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Carpenter
implied
:
imp
r
ove overwrite_stat
e
s_using
_
pool()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n
Carpenter
impl
i
ed
:
add a comment explainin
g
how implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carp
e
nter
func
t
ion_hooks: check PARAM_LIMI
T
im
p
lications all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
function_hook
s
: integrate call_i
m
plies h
o
ok
s
with the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpe
n
ter
slist: mangle the line number of merg
e
d
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
sizeof_param: remove
r
ead_rom() from checke
d
funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
Carpenter
create_db: delete some duplicate ent
r
ees from functio
n
_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
real_absolute: don'
t
store w
h
ole
rang
e
s for no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
struct_
a
ssignment:
p
ull split_fake
_
expr() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
db:
l
i
mit the amount of data in
t
y
p
e
_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
ex
t
ra
:
handle if (IS_
E
R
R(foo[bar])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
db: introduce get_param
_
name_var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpe
n
ter
implied: handle chunks in switch stateme
n
t
s l
i
ke sw
i
tch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
Carpe
n
ter
ex
t
ra: d
o
n't m
a
rk all array
s
a
s dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
er
hel
p
er:
create an all
o
c_state_expr(
)
helper function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpente
r
whitespace: remove s
o
me blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
e
x
tra
:
remove
unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
locking: add
more impossible h
a
ndli
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpen
t
er
d
b: rem
o
ve
som
e
ex
t
ra s
e
mi-co
l
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpe
n
ter
rang
e
s: rem
o
ve an un
n
eeded initialize
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
er
r
e
tur
n
s: p
r
ovide a
s
plit out list o
f
all t
h
e return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
te
r
re
t
ur
n
s: ad
d
get_all_returns_s
t
a
tes() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
mov
e
f
r
eeing to AFTER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pent
e
r
db: const
i
fy some
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carp
e
nter
extra: add missing includ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extra: don't
o
verwri
t
e no
n
-
n
ull pointers because of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rpenter
e
xt
r
a: fix
han
d
l
ing of "if (foo & 0x3210
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan
C
arpenter
pa
r
a
m_set: introduce param_was_set_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carpe
n
ter
impossible: handle s
w
itc
h
statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Ca
r
p
ente
r
impo
s
si
b
le: don't overwrite the imposs
i
b
l
e
state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan C
a
rpe
n
ter
impli
e
d: handl
e
i
m
pl
i
cat
i
ons for if
(({whatever; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpenter
s
l
ist: cre
a
te is_
l
eaf() functi
o
n
w
hich
is the oppo
s
ite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
Dan Car
p
ent
e
r
ranges: use si
g
n
ed
type for n
e
gative int
s
less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
Carpenter
db/kernel
.
r
etu
r
n_fixes regma
p
_bulk_read(
)
returns neg
a
tives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
a
rpen
t
er
ranges:
fix a
b
u
g in rl_inver
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n
Carp
e
nter
sval, type: make s
o
me functions inl
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
impl
i
ed: fix an old implicati
o
n bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
penter
implied
:
r
emo
v
e u
n
u
s
ed add_pool() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
D
a
n
Carpenter
imp
l
ied: pass sm_states
instead of
pools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan
Carpenter
im
p
lied: fix a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carp
e
nter
impl
i
ed: update
s
ome debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpen
t
er
implied: create fa
k
e implication h
i
story
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpen
t
er
stat
e
s: tw
e
ak debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
D
an Car
p
ente
r
s
t
at
e
s: print debu
g
output in __se
t
_t
r
ue
_
false_
s
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
implied: ov
e
rwrite smatch_ex
t
ra usi
n
g
implied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
ranges, extra:
m
ove and export spl
i
t_comp
a
rison_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nt
e
r
slist: remove unused __set
_
true_f
a
l
se_if_not_already_s
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
a
r
penter
db: make a file ker
n
e
l
.
r
e
turn_fixes f
o
r u
p
dating
r
et
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
arpent
e
r
flow: merg
e
multip
l
e
ca
s
e
stat
e
m
ents
i
n a
ro
w
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpen
t
er
helper: us
e
.
ins
t
e
a
d of -> for mor
e
variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
ar
p
en
t
er
param_s
e
t: re
m
o
v
e an
unnneeded
v
a
r
iable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Carpenter
e
x
t
ra: p++ should clear the states for
*
p o
r
p->f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpe
n
t
e
r
math: handle __
b
uil
t
in_types_compatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Car
p
enter
flow: spl
i
t case state
m
ent ha
n
dlin
g
into its ow
n
functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
implied: rep
l
a
ce __ge
t
_implie
d
_values() with get_a
b
so
l
ute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
flow
:
fix bug i just introduced wit
h
k
n
o
w
n switch statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
d
ebug: prin
t
the max
size fo
r
__smatch
_
buf
_
size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpente
r
debug
:
include ->
p
ossible and absolute in __sm
a
tch_
a
b
o
ut
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpent
e
r
implied:
r
e
m
ove unnecessar
y
i
nitialization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
param_cle
a
re
d
: strip aw
a
y casti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
ranges
:
m
a
ke filter
_
top
_
rl()
take a
range_
l
ist filter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
pen
t
e
r
flow: shuffl
e
case sta
t
ement handling around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpent
e
r
i
m
plied: s
p
l
i
t the __implied
_
cas
e
_stre
e
(
)
i
nto two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n C
a
rp
e
nter
e
xtra: whit
e
sp
a
c
e
cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next