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, comparison, ranges: store ranges and comparison instead only one or other
2013-06-13
Da
n
Carpenter
d
b
, comparison, ranges:
s
tore range
s
a
nd comparison
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-13
Da
n
Carpe
n
ter
comparison: shift some code a
r
ound a bit more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-13
Dan Car
p
ente
r
db: shift
s
ome co
d
e arou
n
d in storing return
ran
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-13
Da
n
Carpenter
c
o
m
p
arison: create
exp
r
_equal/lte_to_param() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-13
Dan Carpenter
c
omparison:
split range_comparison_to_param()
into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpe
n
ter
com
p
arison: han
d
le mergi
n
g
comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpenter
helper: fixes
to th
e
l
ast
e
xp
r
_
to_var_
s
y
m() speedup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
e
nt
e
r
db:
f
i
x
a bug storing rang
e
lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
p
enter
ranges:
h
and
l
e
[
==p0]
retur
n
values corr
e
c
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
co
r
e
:
c
l
ea
r
allocated smatch_states at
t
he e
n
d of the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
pe
n
ter
sm
a
t
ch: add --time
optio
n
for deb
u
g
ging what ta
k
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpenter
slist: use a f
a
k
e
cur_s
l
ist for handling unmatc
h
ed_state
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
C
arpenter
states: intro
d
uce _
_
set_fake_cur_slist_
f
ast()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n
Carpente
r
hooks
:
introdu
c
e AFTE
R
_
F
U
NC_H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpe
n
ter
param_clea
r
ed: add some mo
r
e
functions t
h
at clear
p
ara
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Ca
r
penter
he
l
per: speed up expr_to_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
c
appe
d
: intro
d
uce is_cap
p
ed_var
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
db,
c
ompar
i
son:
store return ra
n
ge comparisons i
n
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
compa
r
ison: pull get_com
p
ar
i
son_strings() in
t
o
its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
Carpenter
db, c
o
mp
a
rison, r
a
nges: impr
o
ve how
co
m
p
ar
i
sons wil
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpenter
compari
s
on: hand
l
e -
-
/++ modifications bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpenter
m
odification_hooks: pa
s
s
the
modi
f
y
expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
extra:
r
ever
t
p
art of t
h
e re
c
urse patch which broke
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpente
r
recur
s
e:
o
ops
.
add EXPR_V
A
LUE and fix a validation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
states:
i
ntr
o
d
uc
e
_
_set_fake_cur_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan
Carpenter
us
e
r
_data: pull is_user_data_s
t
ate() into its own f
u
nct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan C
a
r
penter
recur
s
e, extra
:
introduce
has_variable() and fix f
o
reve
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Da
n
Ca
r
p
e
nter
start_s
t
ates:
a
d
d it
t
o c
h
eck_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
comparison,
d
b: use comparison informati
o
n stored in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpe
n
ter
db: remove an unused
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_da
t
a: add a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_data:
int
r
oduce is_cappe
d
_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
extr
a
: slist: white space cha
n
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n
Carpente
r
math: fail mo
r
e often with
F
UZZY
a
nd HARD limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n
C
arpen
t
er
sva
l
: make some
m
ore fixes to sv
a
l_
b
ino
p
_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carp
e
n
t
e
r
local_values: sto
r
e co
r
rect in
i
tial valu
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
e
xtra: hand
l
e
comparisons where the
f
u
nction only returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpe
n
ter
extra
:
move matc
h
_func_comp
a
rison() lower in the file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carp
e
nte
r
e
s
tate: preserve t
h
e
h
ard max in est
a
t
e_fil
t
er_r
a
n
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Car
p
e
n
t
er
math
:
for b
i
twise AND only use
i
t for
IMPLI
E
D
a
nd ABSOLUTE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
sv
a
l: ca
s
t preop '-'
operations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast
bitw
i
se
n
e
gates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
capp
e
d: ha
n
dle
postops be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
bu
f
_si
z
e:
h
and
l
e
b
ad d
a
ta from
t
he dat
a
base bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math: use correct v
a
riab
l
e
i
n handle_condit
i
ona
l
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
capped
:
use
get_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
pent
e
r
m
ath: move some RL_HARD a
n
d RL
_
E
XACT tests around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
ath
:
s32m
i
n
is not a fuzzy
min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: reverse
d
condition in h
a
ndle_divide(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math: remove dupli
c
ate
b
uggy code
i
n get
_
i
mplie
d
_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math: p
u
t an escape hatch
i
n
handle
_
conditional_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an
C
arpenter
ma
t
h: s
w
itch to using RL_ enums d
i
re
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
math:
d
elete old unused c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
p
enter
math:
c
le
a
nup _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
stat
e
s:
fix some leaks
o
f t
h
e
f
a
ke_cur_sli
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpe
n
te
r
*new* s
m
a
t
ch_
s
tart_
s
t
a
tes
.
c: record
t
he st
a
t
e
s at
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
db:
fix c
r
a
sh
i
n
g
bug
as
a
result of math chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
p
enter
smat
c
h
.
h: r
e
move left over
d
ead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
check_held_dev: small
s
p
ell
i
ng fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
d
b
:
d
o
n
't query return_values table
a
n
y more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
a
th: c
l
eanup
t
he rest of
h
andle_binop_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Car
p
ent
e
r
m
at
h
:
f
ix new handle_conditional_rl(
)
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
m
a
th: introduc
e
handle_divide_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: cou
p
le
bugs in handle_su
b
t
r
act_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
sval: fix
s
val_binop_over
f
lows() ha
n
dling of subtraction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: remove
s
o
m
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: introduce
n
ew handle_subtract_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an
C
arpenter
ma
t
h:
c
reate new
h
andle
_
right_s
h
ift(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new handle_known
_
binop
(
)
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpen
t
er
m
ath: create new ha
n
d
le_bi
t
wi
s
e_AND() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carp
e
nter
m
ath: intr
o
duce handl
e
_mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
te
r
math: creat
e
hackis
h
temporary han
d
le
_
binop
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: crea
t
e new handle_minus_preop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: create new
ha
n
dle
_
bitwise_
n
egate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
m
a
th: in
t
ro
d
uce handle_expre
s
sion_statement_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: use handle_variab
l
e(
)
in handle_p
r
e
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpen
t
er
mat
h
: i
n
t
ro
d
uce ha
n
d
le_negate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: introduce handle_amp
e
rsand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: hack
u
p a temporary ha
n
dle_p
r
eop_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math:
h
an
d
le
EX
P
R_POSTOP with _g
e
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: i
n
t
roduce
h
a
ndle_c
o
ndi
t
ional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
mat
h
: int
r
oduc
e
han
d
le_logical_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce
handle_compari
s
on_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
t
er
math: crea
t
e handle_ca
l
l_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
rpe
n
ter
math:
create handle_variabl
e
() instead of _
g
et
_
implied_v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpe
n
ter
m
a
th
:
move get_
c
onst_value() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpenter
m
a
t
h: handl
e
casting in
_
get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
t
h: fix up so
m
e
thinkos in t
h
e
_get_rl() tra
n
sition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
math
:
introduce tempor
a
r
y
RL_IMPLIED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
duplicate _get_
v
alu
e
() into _g
e
t_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
n
ter
math:
m
o
ve absolute min/max code from _g
e
t_valu
e
()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arp
e
nter
ma
t
h: introduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
r
a
nges: int
r
o
d
uce
r
l
_to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: s
/
N
O
T
IM
P
LIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpente
r
m
a
th
:
improve ab
s
olu
t
e ma
x
/min with
r
egards
t
o casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
D
a
n Carp
e
nter
sval: fix sval_too_h
i
gh()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db: introdu
c
e call_results_to_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Ca
r
pent
e
r
db: move g
e
t_pa
r
am_nam
e
()
to central location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpente
r
flow: look
a
t static a
n
d not-static local inline
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan
C
a
rpenter
extr
a
: ad
d
set_extra_nodmod() to smatch_e
x
tra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next