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
parse: ignore _Pragma()
2016-06-30
Dan
C
arp
e
nter
p
a
r
s
e
: ignore _Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
s
m
atch_data/wine
.
ignored_
m
acros: ad
d
ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpenter
smatch_data
/
wine
.
no_
r
eturn_funcs: update the
l
is
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
s
p
arse: ad
d
/
u
sr/include/x86_64-linux-gnu/ includ
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
w
i
ne_WtoA: add single
d
quotes
in the output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-25
Dan C
a
rpen
t
er
d
b
:
r
emov
e
PRAGMA syn
c
hron
o
us = OFF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpenter
avl: make get_st
r
e
e
_id() ret
u
rn -1
i
f t
h
e stree pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
r
p
ente
r
implied: h
a
n
d
le -
>
implied s
t
a
tes differently
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
slist,
i
mplied: preserve t
h
e
entire c
u
r_st
r
e
e
in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
n
t
e
r
implied: fix a bu
g
where we imply the w
r
on
g
thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpente
r
imp
l
i
ed:
r
emov
e
an indent
level
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
implied: change debug
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpent
e
r
extra: i
g
nore trun
c
ated limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Carpenter
flow:
h
andle asm gotos
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
db: split on boole
a
n parame
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
s
truct_assignment: handle pointers bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
function_hooks: hack around invalid input f
r
o
m
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n Carp
e
nter
fun
c
tion_h
o
oks: fix the
p
revious ran
g
e ho
o
k
s
f
ix again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
l
ow: set ->parent for expression statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
an
C
arpenter
helper,
u
n
t
ra
c
ked_
p
aram: mo
v
e
t
he in
t
_stack t
o
smatch_h
e
l
p
er
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
ranges
:
fi
x
cas
t
ing to bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpent
e
r
fl
o
w: set
position
a
t the start of
t
he func
t
ion cor
r
ectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
en
t
er
functi
o
n_hooks
:
fi
x
a typo in debu
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: tweak
t
imeout
i
n separat
e
_and_filt
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
f
unct
i
on_hooks:
fix a type issue
(
affect
s
range
d
fu
n
ctio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpenter
function_hooks: fix db
and ranged
_
functio
n
s integratio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Car
p
enter
db/k
e
r
nel
.
return_fixes: ha
c
k
a
ro
u
nd down_interruptible()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Da
n
C
a
rpenter
db/
k
ernel
.
ret
u
rn_fix
e
s
: add scnprintf()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
functi
o
n_hooks: fix lo
c
king
fa
l
se po
s
i
t
i
v
es when you
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Carpe
n
te
r
e
xtra: fix mem
s
et() h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
implied
:
delete unus
e
d
f
u
nc
t
ion s
m
_state_in_sl
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrlist: use a
f
t
e
r fr
e
e i
n
las
t
_ptr_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
penter
flow: type issue
h
andl
i
ng switch statem
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
ranges: fix type issue in re
m
ove_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-11
Da
n
Carpenter
conditions: silence valgrind warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-06
Dan
C
arpen
t
er
flow: set final_pass if we h
a
ve to
bai
l
on a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
e
r
extra: export get_o
t
her_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
imp
o
ssible: ad
d
i
s_i
m
possib
l
e
_
p
ath() to
s
match
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db:
d
on't c
r
ash generat
i
ng SQL
f
or invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Ca
r
penter
extra: fix bug handling unt
r
acke
d
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
struct_
a
ss
i
g
nment
:
ignore ce
r
tain types of assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Car
p
enter
extra: def
e
r
ences in fake assignments don't count
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
e
xtra:
handle fake assi
g
nme
n
ts f
a
ster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpent
e
r
implied: improve overwrite_states_using_po
o
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
impl
i
ed: add
a
c
omment explaining how impli
c
ations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
Dan
C
arpenter
function_
h
oo
k
s: check PARAM_LIM
I
T imp
l
ica
t
ions all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Da
n
Carpenter
functi
o
n_hooks: integrate call_implies hooks with
t
he db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
sli
s
t: mangle the line n
u
mber of merged
s
ta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
sizeof_param:
remove
r
e
ad_
r
om() fro
m
checked functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
cre
a
te_d
b
: del
e
t
e some duplicate ent
r
e
e
s fr
o
m
f
u
n
ctio
n
_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
real_
a
b
s
olute
:
don't store whole ranges for no reaso
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
struct_a
s
sig
n
m
ent: pull
split_fake_expr(
)
into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
db: limit t
h
e amount of d
a
ta
i
n
ty
p
e_valu
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
extra
:
handle i
f
(IS
_
ERR(foo[ba
r
])) {
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
db: introdu
c
e
get
_
param_name_var
_
s
y
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implie
d
: handle chunks in
s
w
i
t
c
h s
t
atements like switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpent
e
r
extra: don't mark all arrays as dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
penter
helper: create an alloc_st
a
te_expr() helpe
r
f
unc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
w
hite
s
p
ac
e
: remo
v
e some blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan C
a
rpen
t
er
extra: remov
e
unused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpenter
l
ock
i
ng: a
d
d more impossible handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: remove some extra semi-col
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pe
n
te
r
ran
g
es: remove
a
n un
n
eed
e
d i
n
i
t
ializer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
ret
u
rn
s
: provide
a
s
plit out list of al
l
the retur
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
penter
returns: add
g
et_
a
l
l
_returns_st
a
tes() function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
n
t
er
move freeing to AFTER_F
U
N
C
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: constify some poin
t
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extra: add mi
s
sing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
extr
a
: don't ove
r
write non-null pointers because of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpe
n
ter
extra
:
fix han
d
lin
g
o
f "if (foo & 0x3210)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carp
e
nter
pa
r
am_set: in
t
roduce
p
aram
_
was_
s
et_var_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Car
p
e
nt
e
r
impossible:
h
an
d
le switch sta
t
em
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpent
e
r
i
mpossi
b
l
e
: do
n
't overwrite
the im
p
ossible stat
e
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
im
p
lied: h
a
nd
l
e impl
i
catio
n
s for if
(
({whatever
;
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpenter
slist: create is_leaf() funct
i
on whi
c
h is t
h
e opposi
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
D
a
n Carpen
t
er
ranges:
use s
i
gned ty
p
e for negative
i
nts less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Car
p
enter
db
/
kernel
.
return_f
i
xe
s
regmap_bulk_re
a
d
(
) returns
ne
g
atives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
D
a
n Carpe
n
ter
ranges: fix
a
b
ug in
r
l_invert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpent
e
r
sval, t
y
pe: make some funct
i
ons i
n
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpen
t
er
implie
d
: fix
an old
i
mplication bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpen
t
er
i
m
pl
i
ed: remove unused add_pool
(
) func
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpe
n
ter
impl
i
ed: pas
s
sm_
s
t
ates ins
t
ead o
f
p
ools
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rpen
t
er
implied: fix a
t
ype bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Da
n
Carpenter
implied: upda
t
e s
o
me debug
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
an C
a
r
pen
t
er
implied
:
create fa
k
e
i
mplication h
i
stor
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states: tweak debug outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
states:
p
r
i
nt debug output in _
_
set_true_false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpent
e
r
imp
l
ied: o
v
erwrite s
m
atch_extra using implied states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
r
an
g
es, e
x
tra: move a
n
d expor
t
split_comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
ente
r
slist: re
m
o
v
e unused __set_tr
u
e_false_if_n
o
t
_
alread
y
_
set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Ca
r
penter
db: ma
k
e a f
i
le kernel
.
return_fixe
s
for updati
n
g
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
flow: merge mul
t
iple
case statemen
t
s in a row
t
o
g
ether
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an
Carpenter
h
e
lper: us
e
.
i
nstead
o
f ->
f
or more vari
a
b
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
p
ar
a
m
_set: remove an
unnneeded vari
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpent
e
r
ex
t
ra:
p++ should clear the st
a
te
s
for *p
o
r p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
C
arpe
n
ter
math: handle __builtin_typ
e
s_compatible_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carp
e
n
t
er
flow: split case statement handling into its
o
w
n
fu
n
ctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
t
e
r
implied:
repl
a
ce _
_
get_impli
e
d_val
u
es() wit
h
get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: fix bu
g
i just
in
t
r
o
duced with known
s
w
i
tch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: p
r
in
t
the ma
x
si
z
e fo
r
__smatc
h
_buf
_
s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next