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: add --time option for debugging what takes so long
2013-06-12
Dan Carpenter
smatch: add
--
t
ime option f
o
r
d
ebugging what
t
a
k
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
C
arpenter
slist: use a fake cur_slis
t
for hand
l
ing unmatched_stat
e
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an
C
arpe
n
ter
sta
t
e
s
: introduce __set_fake_cur_slist_fast()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n
C
arpe
n
ter
hooks:
i
ntrod
u
c
e
A
F
TER_FUN
C
_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
Carpent
e
r
param
_
cleared: add s
o
me more func
t
ions
that c
l
ear param
e
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n
C
a
r
p
en
t
er
h
e
lper: speed up ex
p
r_to_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
enter
ca
p
ped: introduce is_
c
a
p
ped_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
d
b
, comparison: store
r
eturn range com
p
ar
i
sons in
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
comparison: pull get_com
p
aris
o
n_st
r
ings() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
Ca
r
pe
n
ter
db, comparison, ranges: improve
how comparisons will
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an
Carpenter
c
o
m
parison:
handle --/++ modification
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
p
enter
modification_hooks: pass the modify express
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
arp
e
nt
e
r
e
x
tra
:
re
v
ert part of the recur
s
e patch
w
hich broke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
arpente
r
recurs
e
:
oo
p
s
.
ad
d
EXPR_VALUE
and f
i
x a
v
alidat
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
states: int
r
oduce __
s
et_fake_cur_s
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Car
p
enter
user_data
:
pull
is_user_data_state() in
t
o
its own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n
Carpenter
recurse
,
extra: in
t
roduce h
a
s_variab
l
e
() and fix forever
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
arpe
n
ter
start_states: add it to check_lis
t
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Car
p
e
n
ter
comparison, db: use
c
omparison
i
nfor
m
ation st
o
r
ed in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
D
a
n Carpenter
db:
r
e
move an u
n
used var
i
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpenter
u
se
r
_
data:
a
dd a
commen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Car
p
enter
user_data:
i
ntroduce is_
c
apped_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpenter
ex
t
ra: s
l
i
st: white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
math: fail more often with FUZZY an
d
HARD limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
arpenter
sval:
m
a
k
e
some m
o
re fixes t
o
sval_binop_overf
l
ows(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpe
n
t
er
local_values: s
t
or
e
correct initial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpente
r
extra
:
ha
n
d
l
e
co
m
p
arisons where the fun
c
tion only returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
an C
a
r
p
e
nter
extra: mo
v
e
m
atch_func_compar
i
s
o
n
()
lower in
the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
C
arpenter
estate: pres
e
rve
t
he hard max
in
e
state_filter_ra
n
ge()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpen
t
er
math: for bitwise AND only use
i
t for IMPLIED and ABS
O
LU
T
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carp
e
n
t
e
r
sval: cast preop '-' ope
r
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
p
ente
r
sva
l
: c
a
s
t
bit
w
ise ne
g
ates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
n
ter
capped: handle p
o
s
tops b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an
Car
p
enter
b
uf_siz
e
: han
d
le bad data from the dat
a
base better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
ter
ma
t
h: u
s
e
correct variable in h
a
ndle_conditional_
r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
capped: use get_hard
_
max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math: m
o
ve some RL
_
HARD and RL_EXACT tests
a
roun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carp
e
n
t
er
math: s32min i
s
not a fuz
z
y min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpe
n
ter
mat
h
: rev
e
r
s
ed con
d
ition i
n
handle_divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
C
arpenter
math: r
e
move du
p
licate buggy
c
o
de in get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math: put an e
s
cape hatc
h
in handle_conditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: s
w
i
tch to usi
n
g RL_ enums directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpent
e
r
math: delete
o
ld unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpen
t
e
r
mat
h
: cleanup _g
e
t
_
rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
states: fix some leaks of the fake_
c
ur_slis
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
*
new
*
smatch_sta
r
t_stat
e
s
.
c: rec
o
rd the states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
pent
e
r
db: fix crashing bug as a result of math ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
s
m
a
tch
.
h: remove left
over dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
check_held_dev: small sp
e
lling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
d
b: d
o
n
't
quer
y
r
e
tur
n
_values t
a
ble
a
n
y
m
o
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
math: cle
a
nup
th
e
rest
of handle
_
bi
n
op_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pen
t
er
m
ath:
fix new hand
l
e_conditional_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Ca
r
pent
e
r
math: introduce
h
an
d
le_divi
d
e_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Car
p
enter
mat
h
: co
u
ple bugs in handle_subtract_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
sval: fix
s
val_binop
_
overflows() handling of su
b
trac
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: remove
some dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce new handle_subtr
a
c
t_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: cre
a
te new
handle_right_shift() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new handle_know
n
_binop() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
arpente
r
math: c
r
e
a
te new handle
_
bitwise_AND
(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
m
a
th: introduce h
a
ndle_mod_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: create hac
k
ish
te
m
porary handle_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: creat
e
ne
w
handle_minus_pr
e
op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
r
p
enter
ma
t
h: c
r
eate new han
d
le_bitwise_
n
e
g
ate()
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: in
t
r
o
du
c
e ha
n
dle_expression_
s
tateme
n
t_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
ma
t
h: use handle_va
r
iable() in handle_preop_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math:
i
ntroduce handle_ne
g
a
te_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
ma
t
h: intro
d
uce h
a
ndle_ampersand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math
:
hack up a temporar
y
handle_pre
o
p_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpent
e
r
ma
t
h
:
h
an
d
le EXPR_POSTOP with _get_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nte
r
math:
introd
u
ce han
d
l
e
_
cond
i
tional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introdu
c
e handle_logical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
mat
h
: introdu
c
e
h
andle_comparison
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
ma
t
h:
create hand
l
e_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
p
e
n
ter
math:
create han
d
le_var
i
able() inst
e
ad of _g
e
t
_im
p
lied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: move get_const_value() fo
r
ward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: handle cast
i
n
g in _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
mat
h
: fix
up some thinkos in t
h
e _get_rl(
)
transitio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h:
i
ntroduce temporary RL_IMPLIED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an
C
arpenter
math: duplicate _
g
et_value
(
)
i
n
to _get_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath:
m
ove absolute min
/
max code from _get_valu
e
(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
mat
h
:
int
r
o
duce
_
g
e
t
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
rpente
r
ranges:
introduce rl_t
o
_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Car
p
en
t
er
math: s/NOTIMPLIED/E
X
ACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
math: improv
e
absol
u
te m
a
x/min with r
e
gards
to c
a
st
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
sv
a
l: fix s
v
al_t
o
o_
h
igh()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
Carpenter
db: introduce c
a
ll_results_to_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
C
a
rpenter
db: move get_param_name() to central loc
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
Carpe
n
t
e
r
flow: look at static
a
n
d
n
ot-st
a
t
ic local inline fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan
C
arpenter
extra
:
add set_extra_nodmod() to smatch_ex
t
ra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpente
r
dere
f
: fi
x
segfault
parsing
i
nvalid c
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpen
t
e
r
impli
e
d:
preserve equivalence acros
s
sw
i
tch
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
math: handle s
i
zeof f
o
r
zero s
i
ze bitfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
rpent
e
r
extra: han
d
le previous
l
y assigned simpl
e
math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carp
e
nter
extra
:
h
a
ndle "if (a -
3 > 1
0
0) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
ext
r
a
: split matc
h
_compa
r
ison() into two
f
u
nctio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
capped: known value
s
are
a
l
w
ays capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Car
p
enter
Re
v
ert "sparse: intro
d
u
c
e
get_express
i
on_v
a
lue_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan
C
arpenter
show_unreachable
.
sh: add som
e
m
o
re ignored kernel
f
u
nct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow:
d
o
n't prin
t
duplicate "unreacha
b
le
co
d
e"
w
ar
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next