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: clear hard max if we are falling back to the type max on loops
2012-11-02
Dan Car
p
e
n
ter
s
val: extra:
u
pdat
e
merge_fu
n
c()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Car
p
e
nter
sva
l
:
u
pdat
e
filter_range_list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan
Carpenter
s
v
al: up
d
a
t
e
a
dd_filte
r
() to take svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carp
e
nter
sva
l
: update filter_range() to
t
ake svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
ra
n
ges: remove
u
nused
rl_con
t
iguous()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Dan Carpenter
sval: make sval v
e
rsions of smatch_estate
.
c
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-02
Da
n
Carpent
e
r
sval:
fix sval_c
m
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
D
a
n
Carpen
t
e
r
sval: make
rl
_
min/
m
ax_sva
l
() take a ra
n
ge_list_sval
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Car
p
ent
e
r
sva
l
: update smatch_db
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
er
sval
:
update s
m
atch_par
s
e_call_m
a
th
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpenter
s
v
a
l
: upd
a
te s
m
at
c
h_parse_call_math
.
c
to us
e
r
a
n
ge
_
list_s
v
als
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carpen
t
er
sval: update smatch_states
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan Carp
e
nter
sval: fix some bugs i
n
add_range_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
Dan
Carpe
n
ter
sval: update s
m
atch_implied
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-11-01
D
an Carpenter
ch
e
ck_precede
n
ce: fix a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
arpen
t
e
r
sval
:
update smatch_ma
t
h
.
c t
o
use range_list_sva
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
an Carpenter
sval: upd
a
te smatch
_
p
r
oject
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpent
e
r
sv
a
l:
u
pdate validation/ to matc
h
new output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpent
e
r
sval: update
c
heck_u
s
er
_
data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n Carpenter
sva
l
: update check_param_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan
C
a
rpen
t
er
s
v
al: update
che
c
k_debu
g
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
Dan Carpente
r
s
v
al:
update che
c
k_db_
i
n
fo
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-31
D
a
n
C
arp
e
nter
sv
a
l
:
st
a
r
t chang
e
ra
n
g
e
_lists to use data_
r
ange_sval
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
r
a
nges: f
u
n
c
tion_hooks:
m
ove in
_
list_exact() to function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Carp
e
nter
sval: update smat
c
h_math
.
c to use
t
he new s
v
al ra
n
ge
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpenter
sval:
create
t
rue/false_com
p
ariso
n
_range_sval
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carpenter
sval: c
u
t-and-paste bug
:
using min
instead o
f
max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: c
r
eate tempo
r
ary dr
a
nge_sva
l
_to_drange()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan
Carpenter
sval: r
a
nges: introduce ranges_equiv_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval
:
create allo
c
_
ra
n
ge_p
e
rm_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Carpenter
sval: add interim helpers l
l
_to
_
s
v
a
l
() a
n
d drange_t
o
_drange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Da
n
Car
p
enter
sval: fix absolute
--inf
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
enter
sval: intro
d
uce
e
state_min/m
a
x_sv
a
l() and estat
e
_g
e
t
_
si
n
g
l
e_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval: update smatch_absolut
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpe
n
ter
s
val: ranges:
i
ntroduce struct d
a
ta_range_sva
l
a
s
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Car
p
enter
sval: intro
d
uce sval_
i
s_min/
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rp
e
n
t
er
sva
l
: update a few get_value() to get
_
va
l
ue_
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
C
a
r
penter
sval:
u
p
d
a
t
e sma
t
ch_capped
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpent
e
r
sval: update smat
c
h_flow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: up
d
ate
s
mat
c
h_he
l
p
er
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: remove typ
e
_
m
in/max() which are not used an
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carp
e
n
t
e
r
sval:
c
hange t
y
p
e_min/max() => sval_type_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
sval: d
e
b
ug: fix rev
e
rsed if condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nte
r
sva
l
:
u
pdate check_s
i
gned
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Ca
r
p
enter
sv
a
l:
add s
v
al_typ
e
_min
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
Carpenter
sv
a
l
:
fi
x
sval_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
s
val
:
update check_snprintf
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
u
pd
a
te check_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpente
r
sval
:
update sm
a
t
c
h_buf_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
imp
l
eme
n
t parse_cal
l
_math_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: create a
couple
sva
l
al
l
o
c
ators
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al: up
d
a
t
e chec
k
_unwind
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
r
pe
n
ter
sval: update check_templ
a
te
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Da
n
Carp
e
nt
e
r
sval: update check_sizeof_po
i
nter
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arpenter
s
v
a
l: up
d
ate validation/sm
_
propagate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n C
a
rpenter
sva
l
: upd
a
t
e check_retur
n
_en
o
mem
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: up
d
ate chec
k
_
return_efault
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan
C
arp
e
nter
sval: update chec
k
_propag
a
te
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
s
val
:
update check_proc_create
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carp
e
nter
sv
a
l: upda
t
e
check
_
precedence
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
Ca
r
penter
sval: update chec
k
_
param_range
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
C
arpe
n
t
er
s
val: up
d
ate check_or_vs
_
a
n
d
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval: update check_mod_
t
imer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval:
update check_mems
e
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval: update ch
e
ck_logical_instead_of_bitwise
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check
_
kmallo
c
_wr
o
ng
_
s
i
z
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check_gfp_d
m
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
al: update check_get
_
user_overflow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
rpenter
sval: u
p
date check_fr
e
eing_null
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sval:
u
pdat
e
check
_
err
_
pt
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpenter
sval: update check_dere
f
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
n
t
er
s
val: update
ch
e
ck_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sva
l
: up
d
ate
check_b
o
ol
_
implicatio
n
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Carpente
r
s
v
al:
u
pda
t
e check_b
o
g
us_loop
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval:
u
p
d
ate check_bogus_irqrestore
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sval: up
d
ate check_
b
it_
s
hift
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sval: up
d
at
e
check
_
assign_vs_co
m
pare
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update check
_
allocation_funcs
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
sval: update access_
o
k_math
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: clean
u
p som
e
nami
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
sval: implement the _
s
val versions of a
b
u
nch o
f
funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
penter
sval: d
e
lete get
_
abso
l
u
te_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpenter
sval: update get
_
a
bsolute_max() calls
to use svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
math: move smatch_mat
h
.
c t
o
u
se
s
vals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Car
p
e
nter
type: suppor
t
some more type
s
in get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
type
:
i
n
t
r
oduce sval_typ
e
_
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n C
a
rpenter
s
v
a
l:
c
reate a new basic stor
a
ge
f
or storing the val
u
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
u
n
w
ind: only enab
l
e w
i
th
-
-spam
m
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
D
an Carpenter
d
b
:
don't
turn RaiseError on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Dan
C
a
rpenter
dev_queue_xmit: turn o
n
b
y defau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
d
b
: ad
d
a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpenter
sig
n
ed: tiny w
h
itespace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan
C
ar
p
enter
a
b
s
olute
:
fix
p
arameter info counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carp
e
nter
absolute: fix
h
o
w
m
odific
a
tio
n
s
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
Carpenter
debug: fix
cu
t
and p
a
ste bug in
p
r
i
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpenter
t
ype: fix ge
t
_
bi
n
o
p_t
y
p
e
() for bit shift
operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan
C
arpenter
w
hitespac
e
: add a ne
w
l
ine
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
a
n Carp
e
nter
absolute: track th
e
absolute limits
t
hat variables
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpente
r
math
:
improve how get
_
a
b
s
ol
u
te_min/max() work
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
D
a
n
Car
p
ent
e
r
math: improve how
known l
o
gica
l
operations ar
e
hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next