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/fixup_kernel.sh: write to the temporary DB instead of the current one
2016-07-01
Da
n
Car
p
enter
im
p
lied: handle impossible paths from
c
omplicated switc
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid of the ->implied member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
imp
l
ie
d
:
ge
t
r
id of a temporary variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Carp
e
nter
smat
c
h
_data/wine
.
no_
r
eturn_f
u
ncs: add more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
s
matc
h
_scripts/ge
n
_no_r
e
turn_funcs:
f
ix th
i
s for oth
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpent
e
r
pre
-
process
:
m
a
ke -nostdin
c
wor
k
ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpenter
ch
e
ck_wine: make report(R_F
A
TA
L
,
.
.
.
) a nullify the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
validation/sm_WtoA: add si
n
gle quotes
i
n
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
rpenter
smatch_scripts: update t
h
e
gen_* scripts to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
C
a
rpen
t
er
parse: i
g
nore _
P
ra
g
ma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sma
t
ch_data/w
i
ne
.
ignor
e
d_macros: add
o
k(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
sma
t
c
h
_data/wine
.
no_ret
u
rn_funcs: update the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
te
r
sparse:
a
dd /usr/inclu
d
e
/x86_64-lin
u
x-gnu/
i
nclude
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
wine_WtoA: add s
i
ngled q
u
ote
s
in the ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpenter
db:
remove PRAGM
A
synchronous
=
OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpe
n
t
er
avl: mak
e
get_st
r
e
e
_id() return -1
if the stree point
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: handle -
>
i
mplie
d
states differe
n
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
slist, implied:
pre
s
erve
t
he entire cur
_
stre
e
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Car
p
e
nter
impli
e
d
: fix
a bug where
w
e imply the wrong th
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpenter
impl
i
ed: remove an indent
le
v
el
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
im
p
lied: ch
a
nge debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan
C
arpen
t
e
r
extra: ignore truncated l
i
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
an C
a
r
p
en
t
e
r
flow: handl
e
asm got
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
d
b
:
s
p
lit on bool
e
an p
a
rameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpen
t
er
struct_assign
m
ent: handle
pointers
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carp
e
nter
func
t
io
n
_h
o
oks: hack aro
u
nd
inval
i
d in
p
ut from the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
a
rp
e
nter
fu
n
cti
o
n
_
h
ooks: fi
x
the prev
i
ous
range
hooks
fix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set ->p
a
rent
f
o
r expression sta
t
ement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper,
u
ntracked_param:
move the int_stack to
s
mat
c
h_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carpenter
ranges: fix
casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set po
s
i
t
ion at the start o
f
t
he function cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
enter
functi
o
n
_hooks:
f
ix
a
ty
p
o
in
d
ebug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
i
mplied: tweak ti
m
eout i
n
separate
_
and_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan C
a
rpe
n
ter
fun
c
ti
o
n_ho
o
ks: fix a typ
e
i
ss
u
e (affects
r
anged function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpente
r
function_
h
o
o
ks:
fix db and ranged_funct
i
ons
integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpe
n
t
er
db/kern
e
l
.
return_fi
x
es: hac
k
around
down_i
n
terruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kernel
.
re
t
urn_fixes: add scnprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Car
p
enter
functio
n
_hooks: f
i
x locking false positive
s
when
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpente
r
e
xtra
:
f
i
x memset() h
a
ndli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
implied: delete unused function sm_state_in
_
slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n
C
ar
p
e
nt
e
r
p
trlist
:
u
s
e
after free in last_p
t
r_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan C
a
rpen
t
er
fl
o
w:
type issue handli
n
g
switch
state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
ran
g
es: fix
typ
e
issue in remov
e
_range
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
conditions: silence valgrind warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carpente
r
f
low: se
t
fi
n
al_pa
s
s if we
h
ave to bail on
a fu
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpente
r
extra: expo
r
t
g
et_
o
the
r
_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
i
m
p
o
ssible: a
d
d i
s
_i
m
poss
i
b
le_path() to
s
m
atch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpen
t
er
db: don
'
t cr
a
sh generating SQL for inval
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpent
e
r
extra:
fix
b
u
g handling untracked p
o
inters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n
C
a
rpenter
struc
t
_assignment: ignore certain types
of assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arp
e
nter
extra:
deferences
in fake assignments don't count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Car
p
enter
extra
:
handle f
a
ke a
s
si
g
nments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
i
m
plied: improve overwrit
e
_states
_
using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
i
m
pli
e
d: ad
d
a c
o
mment explainin
g
h
o
w implicat
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
functi
o
n_ho
o
ks: check P
A
R
AM_LIMIT impl
i
cati
o
ns all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Ca
r
penter
f
u
nct
i
on
_
hooks: integrate call_implie
s
h
ook
s
w
i
th the
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpente
r
slist: man
g
le
t
he line numbe
r
o
f
m
e
rged
state
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpe
n
t
e
r
siz
e
of_param: remove read_rom()
from che
c
ked f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carpente
r
create_db:
de
l
e
te
som
e
duplic
a
t
e entrees from
functio
n
_pt
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_absol
u
te: do
n
't sto
r
e whol
e
ranges for no reason
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
struct_assignment: pull sp
l
it_fake_expr() into it
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
d
b: limit the a
m
ount
o
f
d
ata
i
n type_
v
alue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
extra: handle i
f
(IS_ERR
(
foo
[
bar]))
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
arpenter
db: intr
o
duce
g
et_param_name_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implied:
han
d
le chunks in
switch
s
t
a
tem
e
n
ts like swi
t
ch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: don't ma
r
k all arrays a
s
d
erefe
r
enced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
helper:
c
reate
a
n
al
l
o
c
_st
a
t
e
_expr()
h
elper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpente
r
whitespace: re
m
o
ve
some blank lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpen
t
er
extra
:
r
emo
v
e un
u
se
d
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n C
a
rpenter
lo
c
k
i
ng
:
a
d
d more imposs
i
bl
e
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
db: remove some extra semi-
c
olons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Car
p
en
t
er
r
anges: r
e
move an unneeded initial
i
zer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
ret
u
rns: provide a split out list of all t
h
e r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: add
get_all_returns_
s
t
a
tes() functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
mo
v
e freein
g
to A
F
T
E
R_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
d
b
: con
s
tify s
o
m
e
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
rp
e
nter
extra: a
d
d
missing incl
u
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
e
xtra: don
'
t ove
r
wr
i
te non-nu
l
l pointers bec
a
use o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpent
e
r
extra: fix handl
i
ng of "if (fo
o
& 0x3210)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
Dan Car
p
ente
r
param
_
set
:
i
n
t
roduce param_was_set_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
an Carpenter
imposs
i
bl
e
:
h
a
n
d
le
s
wit
c
h
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
impo
s
s
i
b
le: don't ove
r
write the impos
s
ible state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
impl
i
ed: ha
n
dle
i
m
plicatio
n
s
for if (({
w
hatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpenter
slist: create is_l
e
af() fu
n
ction which is
t
he opp
o
si
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carpenter
rang
e
s: use
s
igned type for
n
eg
a
t
ive ints less than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpe
n
ter
db/ke
r
nel
.
return_f
i
xes regmap_bulk
_
r
ead()
r
e
t
u
r
ns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
arpente
r
ranges: fix a bug in
r
l_invert()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
a
r
pente
r
s
val, type: make some
f
unc
t
ions
i
nl
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: fix an old implication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Car
p
enter
implied: remove unused a
d
d_pool() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
C
a
r
p
enter
im
p
lied: pass sm_states instead of pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
implied: f
i
x a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
penter
imp
l
ied
:
upda
t
e some debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpent
e
r
impl
i
ed: create fake impl
i
cation history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
a
n Car
p
ente
r
states: tweak debug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
D
an C
a
rpenter
states: pr
i
nt
d
ebu
g
output in __s
e
t_true_false_sm()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carp
e
nter
implied
:
ove
r
w
r
ite s
m
atch_
e
xtra using im
p
li
e
d
sta
t
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpen
t
er
rang
e
s,
ext
r
a
:
move and
e
xp
o
rt s
p
lit_comparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
slis
t
: remove unu
s
ed __set_tru
e
_fa
l
se_
i
f_
n
ot_already_s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
db: make a file
kernel
.
return_fixes for updating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next