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
extra: handle "if (a + b < a) { "
2016-06-01
Dan
C
arpenter
implied: add a comment
e
x
p
l
aini
n
g
h
ow
i
mplica
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n
Carpenter
function_hooks: che
c
k PARA
M
_
L
IMIT im
p
lication
s
a
l
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-31
Da
n
Carp
e
nter
function_hooks: integra
t
e
cal
l
_implies h
o
oks
w
ith t
h
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpente
r
sli
s
t
:
m
angle t
h
e lin
e
nu
m
ber of merged states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
siz
e
of_param
:
remove r
e
ad_rom() from check
e
d functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
create_db:
d
elete s
o
me dupl
i
cate e
n
t
r
e
e
s
f
rom function_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan C
a
rpenter
re
a
l_abso
l
ute:
d
on'
t
store w
h
ole ranges for no rea
s
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
struct_assignment: pull split
_
fake_
e
xpr() in
t
o its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db
:
l
imit t
h
e a
m
ount of data in t
y
p
e
_value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Ca
r
p
enter
extra
:
handle i
f
(I
S
_
E
RR(foo[bar])
)
{
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpente
r
db: introduce get_
p
ara
m
_
na
m
e
_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
implied: handle ch
u
n
k
s
i
n switch state
m
e
nts l
i
ke switc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: don
'
t
m
a
r
k all
arrays a
s
dere
f
erenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an
Carpen
t
er
hel
p
er: cre
a
te an al
l
oc_sta
t
e_expr() h
e
l
per fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpenter
whitespace: remove some blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpen
t
e
r
e
xtra:
r
emove
unus
e
d
f
uncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Ca
r
penter
l
ocki
n
g: add m
o
re impossible handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
t
er
d
b: remove some extra semi-colons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Ca
r
penter
r
an
g
e
s
: remove an unneede
d
initial
i
z
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns: provide
a
spl
i
t ou
t
list of all the return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
return
s
: add ge
t
_all_returns_states()
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
m
o
v
e freei
n
g to AFTER_FUNC
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an
Carpenter
db: constify some
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
extra
:
add missing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
extra:
do
n
't ov
e
rwrite n
o
n-null po
i
nters because
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pen
t
er
extra: fix handli
n
g of "if (foo & 0x
3
2
1
0) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan Carpenter
param_set: i
n
troduce
p
a
r
a
m_was_set_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n
Car
p
enter
impossible:
h
a
ndle s
w
i
tch s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan
C
arp
e
nter
im
p
ossible: don't overwr
i
te
t
he impossible
s
tate by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
implied: h
a
n
d
le impli
c
ation
s
f
o
r if ((
{
what
e
ve
r
; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpenter
sli
s
t: create is_le
a
f() f
u
nc
t
ion
w
h
ich is the opposite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
D
an Carpent
e
r
ranges:
u
se signed type
f
or negative ints less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
db/kernel
.
r
e
turn_fixes regma
p
_bulk_read() returns
n
egatives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpente
r
ranges: f
i
x a bug in r
l
_invert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
sval, type: make some
f
unctio
n
s inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
D
an Carpenter
implied: fi
x
a
n
old impl
i
cation
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
pen
t
er
implied:
r
e
mov
e
unused a
d
d_
p
o
o
l() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Car
p
ente
r
im
p
l
ie
d
: pas
s
sm_st
a
tes ins
t
e
a
d
of poo
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
penter
imp
l
ied: fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan C
a
rpent
e
r
impl
i
ed: upda
t
e
s
ome
debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Ca
r
p
e
n
t
er
implied: create fak
e
i
m
plic
a
tion
h
istory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
stat
e
s: tweak debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
st
a
t
e
s
: print debug ou
t
put in
__set_true_false_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
imp
l
ie
d
:
o
ve
r
write smat
c
h_e
x
tr
a
using implied sta
t
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
ranges, extra: move
a
nd export split_c
o
mpari
s
o
n
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
an Carpenter
slis
t
: remove unus
e
d __
s
et_true_fa
l
s
e_if_not_alread
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 kernel
.
return_fixes for up
d
a
tin
g
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
flow: merge mul
t
i
p
le
c
a
se statements in a row togethe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan C
a
rpent
e
r
helper: use
.
instead of -> for more variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
param
_
set: remove an u
n
n
neede
d
v
ariable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
ente
r
extr
a
: p++ sho
u
ld clear t
h
e stat
e
s for *p or p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
math: handle __
b
uiltin_types_co
m
pat
i
ble_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: split
case sta
t
ement handling into its
o
wn function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
a
r
penter
implied: replace _
_
g
e
t
_implied_v
a
l
u
es(
)
w
i
th
g
e
t_ab
s
olute_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
Carpenter
flow
:
fix b
u
g i
j
u
s
t introd
u
ced wi
t
h known sw
i
t
c
h statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
debug: print the
max size for __
s
match_buf
_
size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpenter
debug: include ->possible and absol
u
te in __smatch_abo
u
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
implied: remove unnecessary initialization
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpe
n
ter
param_cleared: strip away casting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arpenter
ra
n
ges: m
a
k
e filter_to
p
_rl() ta
k
e a range
_
list
f
il
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
flow: shuf
f
le case sta
t
e
m
ent handli
n
g around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
p
enter
impl
i
ed
:
split the __
i
mplied_case_stre
e
() into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
enter
extra: white spac
e
cl
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Car
p
e
nt
e
r
imaginary_a
b
solute: it's like
s
m
a
tch_extra
.
c f
o
r
i
mpossib
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
a
rpent
e
r
i
m
plied: re
m
ove s
o
me duplicate lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Da
n
Car
p
ent
e
r
extra: remove
a
n ob
s
o
lete comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
e
x
tr
a
: split handle_comparison() into two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
d
b: igno
r
e unreac
h
able
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
arpenter
db
:
spli
t
ret
u
rns in to N
U
L
L
and non
-
NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Ca
r
p
ent
e
r
d
b: remo
v
e pointless return
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpe
n
ter
db: small clea
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpenter
hooks: ren
a
me CALL_HOO
K
_AFTER
to CALL_
H
OOK_AFTER_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Da
n
Carpenter
u
n
tracked_param
:
han
d
le inline
c
alls
b
ett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
flow: doen't reset loo
p
_count for
in
l
ine
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
an
Ca
r
pent
e
r
implied: u
s
e th
e
correct type f
o
r condit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
a
n Carpent
e
r
scope: delete o
u
t of scope va
r
iables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpen
t
e
r
validation/sm_
c
hunk2
.
c: update
validatio
n
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
db: revert
a "speedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arpenter
re
a
l_ab
s
olute
:
t
urn
thi
s
code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
a
rpenter
e
rr_ptr_d
e
ref: complain abou
t
d
ereferences insid
e
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
n
ter
retu
r
n
_
efault: complain ab
o
ut "
r
eturn copy_from_us
e
r();"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpent
e
r
bu
f
_size: save s
i
ze of
fixed arr
a
ys th
a
t are retu
r
n
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
r
p
ente
r
m
odification_hooks: re
m
ove an unneeded variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carp
e
nter
slist: mak
e
merge_states() static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpe
n
ter
states: make
d
ebug
o
u
t
put more consist
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n
Carpen
t
e
r
hooks: put each type of hook into it's own array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
.
gitignore: add
.
gd
b
_
h
istory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
s
t
or
e
d_c
o
ndit
i
ons: whi
t
e s
p
a
c
e ch
a
n
g
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
m
a
th
:
prefer
real_absolute_value to
the db
value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
implied: remov
e
a bl
a
nk line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
ar
p
enter
c
onditio
n
s
: bug in co
n
di
t
ion assign
m
ents like
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
imposs
i
ble: h
a
ndle
a
ssignment co
n
ditions better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
string_conditi
o
n:
d
on't com
p
lain a
b
out TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Carpenter
function_hook
s
: han
d
l
e returs that don't set
a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
db:
don't
use split_success_fail i
f
it doesn'
t
r
e
turn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
D
an Carpenter
db:
f
i
x bug in pr
i
nt_str
u
c
t
_members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpe
n
t
er
db: for im
p
ossible re
t
urns
j
ust
do the simplest thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: use r
e
al_ab
s
olut
e
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carp
e
nte
r
extra: impr
o
ve array hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
penter
sm
a
tch: ad
d
a --
t
i
me
o
p
t
ion to p
r
int how lo
n
g smatc
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next