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
smatch_data/wine.ignored_macros: add ok()
2016-06-30
Dan Carpenter
sma
t
c
h
_data/wine
.
ig
n
ored_m
a
cros:
add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smat
c
h_d
a
ta/win
e
.
no_r
e
t
urn_func
s
: u
p
d
a
te th
e
lis
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an Car
p
enter
sparse: add
/usr/include/x86_64-l
i
nux-gnu/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
r
p
enter
wine_WtoA: add singled quotes in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpent
e
r
db
:
remo
v
e P
R
AG
M
A synchronous
= OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
a
rp
e
nt
e
r
av
l
: m
a
ke get_stree_i
d
()
r
e
turn
-
1
i
f the stree poi
n
te
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpente
r
implied: handl
e
-
>
i
mplied states differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
pen
t
e
r
slist
,
implied: pre
s
erve
t
he
e
ntire
cur_s
t
ree
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpenter
implied: fix a bug where w
e
imply the wr
o
n
g thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
i
mplied: remove an indent lev
e
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpe
n
t
er
implied: change de
b
ug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan C
a
r
penter
extra
:
ign
o
re t
r
uncate
d
li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpen
t
er
flow: h
a
nd
l
e a
s
m g
o
tos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
db: split on
b
oolean p
a
ramete
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carp
e
nter
struct_assignment: h
a
ndle point
e
rs better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n C
a
rpenter
function_hooks: h
a
c
k around in
v
alid input f
r
om
the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
enter
fu
n
ction_hooks: fix the previous
r
ange
h
o
oks fix ag
a
i
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set ->parent f
o
r exp
r
es
s
ion st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
he
l
pe
r
, untracked_param: mo
v
e the
i
nt_stack to s
m
atch_helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
r
a
nges: f
i
x
c
asting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set position at the star
t
of the
function correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
function_hooks: fix a typo
i
n deb
u
g output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n Carpenter
imp
l
ied: tweak time
o
ut in separate_an
d
_f
i
lter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n C
a
r
pe
n
ter
function_hooks:
f
ix a type issue (affects ranged function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
u
n
c
ti
o
n
_hooks:
f
i
x
db a
n
d
r
a
n
g
e
d_functions integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpen
t
e
r
db/ke
r
nel
.
retur
n
_fixes: hack around down_interruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpent
e
r
db/kernel
.
return_fixes: add
sc
n
prin
t
f
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
functi
o
n_hooks: fix locking
f
a
l
se
pos
i
tives when
y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan C
a
rpenter
e
xtra: fi
x
memset() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
an
Carpenter
im
p
lied
:
d
e
l
e
t
e unused
f
u
nction sm_sta
t
e_in_s
l
ist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
an Carpenter
ptrlist: use after fre
e
in
l
ast_
p
tr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
f
low: type issue hand
l
ing switch st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpe
n
ter
r
anges: fix type issue
in remove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
c
onditions: silence valg
r
i
nd wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
D
a
n Carp
e
nter
f
low: set final_p
a
s
s
if
w
e hav
e
to
bail on a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Car
p
enter
extra:
e
xport get
_
othe
r
_name_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
impo
s
sible: add is_impo
s
s
i
b
l
e_p
a
th() t
o
sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: do
n
't
c
rash generating SQL for
i
nvalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carp
e
nter
extra: fix b
u
g
handling
u
n
tra
c
ked p
o
i
n
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carp
e
nter
struct_
a
ssign
m
ent: ignor
e
ce
r
tain typ
e
s
o
f assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
Carpenter
extra: deferences in fak
e
assignments don
'
t
cou
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
arpenter
extra: han
d
l
e
fa
k
e assignments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpe
n
te
r
i
m
plied: imp
r
ov
e
ove
r
write_sta
t
es_using_pool(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n Carpen
t
er
implied:
a
d
d a comm
e
nt explaining how implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
arpenter
func
t
ion_
h
ooks: check PAR
A
M_LIMIT implications all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan Carpenter
fu
n
cti
o
n_hooks: int
e
grate call
_
implie
s
hooks wi
t
h the
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
s
list: mangle
th
e
line
n
um
b
er of merged
s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
sizeof_p
a
ram: remo
v
e re
a
d_rom() f
r
om check
e
d functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Car
p
ente
r
create
_
db: delete some
d
uplicate ent
r
e
es from
func
t
ion
_
ptr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpe
n
t
er
real_abso
l
ute: don't st
o
r
e wh
o
le ran
g
es for no reas
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
en
t
er
struct_as
s
ign
m
e
n
t: pull
split_fake_exp
r
()
into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db: limit
the
a
m
ount of da
t
a in type_valu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
extra: handle if (IS_ERR(foo
[
bar]))
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
db:
i
ntrodu
c
e g
e
t_param_n
a
me_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
i
m
plie
d
: h
a
ndle chun
k
s in switch statements like
sw
i
t
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
e
xtra:
d
on't mark
a
l
l
a
rr
a
ys as
d
ereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
he
l
per:
create an a
l
loc
_
state_expr() hel
p
er func
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
whi
t
e
s
pace: r
e
mov
e
so
m
e blank l
i
nes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
extra:
remove unused functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpent
e
r
locki
n
g: add more impossible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db
:
r
e
m
ov
e
some extr
a
s
e
mi-
c
o
l
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
r
a
nges: remove an unn
e
eded
i
nitializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
a
r
p
e
nter
returns: prov
i
de a split out l
i
s
t
of al
l
the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpenter
re
t
ur
n
s: ad
d
g
e
t_all_returns_states()
funct
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
move freeing to AFTER_FUNC_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Car
p
enter
d
b: constify som
e
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Car
p
ent
e
r
extra
:
add missing include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
e
nter
extra: do
n
't o
v
e
r
write non-null p
o
inters because of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
extra:
f
ix handling
of "if (foo & 0x3
2
10) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
D
an Carpenter
param_set: introduce
p
aram_
w
as_
s
et_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpente
r
impossible: handle
s
witch st
a
temen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
arpen
t
er
impossible: don't overwrite the i
m
possible state by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan
Carpenter
implied
:
h
a
ndle implica
t
i
o
n
s for if (({whatever;
f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
an Carpenter
slist: cre
a
te
i
s_leaf() funct
i
on which is the opposi
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Dan Carp
e
nter
ra
n
ges: use signed type for negative ints l
e
ss than
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpent
e
r
db/
k
e
r
nel
.
return_fixes
r
e
g
map_b
u
lk_
r
ead() r
e
turns negatives
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Ca
r
p
en
t
er
ranges: fix a
b
ug in rl_inver
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan
C
arpenter
sval, ty
p
e:
make some func
t
ions in
l
ine
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Ca
r
pen
t
e
r
implied: fi
x
an old impli
c
atio
n
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carp
e
nte
r
imp
l
ied:
r
emove unused
ad
d
_poo
l
() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
ent
e
r
impli
e
d: pas
s
sm_states instead of
p
ool
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpente
r
implied: fix
a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpenter
i
m
plied: update some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpenter
i
mplied: create fake
i
mplica
t
ion history
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan
C
a
rpenter
states: tweak debu
g
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: print d
e
b
ug output in __set_tru
e
_
false_sm(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpent
e
r
imp
l
i
ed: ov
e
rwrite smatch_extr
a
using impli
e
d states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpenter
ranges, extra: move
and e
x
po
r
t
s
plit_compar
i
son
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
arpent
e
r
slis
t
: remove unused __set_true_fals
e
_
i
f
_
n
ot_already_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Car
p
ent
e
r
db: make
a
f
ile kernel
.
re
t
u
r
n_f
i
xes for updating ret
u
rn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpenter
flow: me
r
g
e multiple case s
t
atements in a row
t
ogether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
helper: use
.
instead o
f
-
> f
o
r more variab
l
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
param_set: remove an un
n
ne
e
ded va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
extra
:
p++
s
hould
cle
a
r the states
f
or *p or p-
>
f
oo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
math: handle __bui
l
tin_typ
e
s_compatible_
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow
:
split case state
m
ent handling into
i
ts
own fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
imp
l
i
e
d:
re
p
lace __
g
et_im
p
lied_values()
w
ith get_absolut
e
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carp
e
nter
flo
w
: fix bu
g
i just intr
o
duced
with known sw
i
t
c
h
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpent
e
r
debu
g
: print the max size f
o
r __sma
t
ch_buf_size(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rp
e
nter
debug
:
includ
e
->possible a
n
d
a
bso
l
ute in __smatc
h
_abou
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next