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
sval: add interim helpers ll_to_sval() and drange_to_drange_sval()
2012-10-30
D
a
n C
a
rpenter
s
v
al: add interim he
l
pe
r
s ll_
t
o_sval() and
d
r
a
nge_to_drange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
sval:
f
ix absolute --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan Carpenter
s
val: in
t
r
oduce estate
_
min/
m
ax_sv
a
l
(
) an
d
estate_get_singl
e
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
an Carp
e
nter
s
val: update smatc
h
_absolute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
D
a
n Ca
r
penter
sval: ranges: introdu
c
e struct data_range
_
sval a
s
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-30
Dan C
a
rpenter
sval: introduce sval_
i
s_min/max(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
an
C
ar
p
ente
r
s
v
a
l
: update a few get_value() to g
e
t
_value_sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val:
upd
a
te sm
a
tch_capped
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
r
penter
sv
a
l: upda
t
e s
m
atch_f
l
ow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
e
r
sval: up
d
a
t
e smatc
h
_hel
p
er
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val:
rem
o
ve
ty
p
e_mi
n
/
m
ax() w
h
ich are not used any
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
rpente
r
sva
l
:
change type_min/max
(
)
=> sval_
t
ype_min/m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
n
ter
sval: debug: fix reversed
i
f conditi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
v
al: update c
h
e
ck_signed
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan C
a
r
p
enter
sval: add sval_type
_
min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: fix
sval
_
to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sva
l
: update check_snpr
i
ntf
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
penter
sval: upd
a
te check_ove
r
flow
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpen
t
er
sval: u
p
d
ate
s
match_buf_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpe
n
ter
s
v
a
l
: implement p
a
rse_call_math_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n Carpe
n
ter
sval: cr
e
a
t
e a couple sva
l
a
lloca
t
ors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
D
a
n
Carpenter
s
val: u
p
d
ate chec
k
_unwind
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Ca
r
pe
n
ter
sval: upd
a
t
e check_t
e
mpla
t
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval:
up
d
ate check
_
s
izeo
f
_poin
t
er
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: upd
a
te
v
alidation/
s
m_propagate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
sval: update check
_
r
et
u
r
n
_enomem
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carp
e
nter
s
v
al: update check_
r
eturn_efault
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-29
Dan Carpenter
s
val: update c
h
eck_propagate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
val:
update check_proc_cr
e
ate
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval
:
update
c
h
e
ck_preced
e
n
c
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
al: u
p
date chec
k
_p
a
ram
_
r
ange
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
ar
p
e
n
ter
sval: up
d
ate check_
o
r_vs
_
and
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: up
d
a
te
c
h
eck_mod_timer
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
al: update check_memse
t
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
s
v
a
l
: updat
e
c
h
eck_
l
ogical_instead_of_bit
w
i
s
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: upda
t
e
c
heck_kmalloc_wrong_size
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
an Carpen
t
er
sv
a
l: update ch
e
ck_gfp_dma
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Da
n
Ca
r
penter
sval:
u
p
d
ate check_get_user_over
f
low
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpe
n
ter
sval:
u
p
date check_fr
e
e
i
n
g_null
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arpenter
sva
l
:
update check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sva
l
: u
p
date check_deref
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpen
t
er
sval: upd
a
te
che
c
k_debug
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
Carpent
e
r
sval: update
check_bool_implications
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan C
a
r
p
enter
s
v
al: update check_bogu
s
_loop
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pe
n
ter
sval:
u
p
d
ate check_bogus_
i
rqrestor
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
C
arp
e
nter
sval: update check_bit_shift
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: u
p
dat
e
c
hec
k
_assi
g
n
_
v
s
_compar
e
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Ca
r
p
enter
s
v
al: u
p
dat
e
check_allocat
i
on_fun
c
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: update
a
ccess
_
ok_m
a
t
h
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Ca
r
pente
r
sval: clean up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
sval: im
p
lement the
_
s
v
a
l versions of a
b
unch
o
f
funct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
sval:
d
elete get_absolute_
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n
Carpenter
sval
:
upda
t
e get
_
absolute
_
max()
calls to use svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carp
e
nter
math: mo
v
e smat
c
h_
m
ath
.
c to us
e
svals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpent
e
r
t
ype: su
p
port
s
om
e
more types in get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan Carpenter
type
:
introduce sval
_
ty
p
e_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
D
a
n Carpenter
sva
l
: cre
a
te a n
e
w basic storage for stor
i
n
g
the va
l
ue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-27
Dan
Carpent
e
r
unwi
n
d: only
e
nabl
e
with --spammy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
D
a
n Carpenter
db
:
don't turn Raise
E
r
r
or on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-25
Da
n
Carpe
n
ter
d
e
v
_q
u
eue_xm
i
t
:
t
u
r
n
o
n by defau
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Da
n
C
arpenter
db: add a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpente
r
sig
n
ed: tiny w
h
itespace fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
D
a
n Carpenter
absolute: fix param
e
ter in
f
o counting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan C
a
rpenter
absolute
:
fix how modifi
c
ations are handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-23
Dan Carpen
t
er
deb
u
g: fix cut and past
e
bug i
n
print
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carpe
n
ter
type: fix get_bi
n
op_type() fo
r
bit shif
t
operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
D
an C
a
r
p
enter
whitespac
e
:
add a newline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-12
Dan Carp
e
nter
absolut
e
:
track
t
he absolute limits t
h
at variab
l
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Carpe
n
ter
math: improve how get_absolut
e
_min/max() wo
r
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-11
Dan Car
p
en
t
er
math
:
im
p
rove how known
l
ogical
oper
a
ti
o
ns
a
re
h
a
nd
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-10
D
a
n Carpenter
type: sim
p
l
i
fy get_
b
inop_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-09
Dan
Carpen
t
er
t
y
pe: i
m
p
r
ove hand
l
ing of ty
p
e pr
o
motion
on bin
a
ry
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Car
p
ent
e
r
ext
r
a: delete s
o
me
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-04
Dan Carpenter
rang
e
s:
parse the ra
n
ges
l
ist correctl
y
if it only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
arpenter
math: known conditions a
r
e equal to one or zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
m
ath: handle
s
elect
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpenter
help
e
r: improve pr
i
nted messages a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan
C
a
rpenter
extra: handle asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-03
Dan Carpente
r
dereferences_param: handle strcm
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Ca
r
p
enter
r
a
nge
s
: kill the "Er
r
or invalid range
m
essage"
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-10-02
Dan Ca
r
penter
assigned
_
e
x
p
r: ign
o
re += as
s
ignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Ca
r
pent
e
r
function_hooks: white
space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
D
an Carpent
e
r
fun
c
tion_hooks:
u
se the stripp
e
d funct
i
o
n call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-24
Dan Ca
r
penter
db,
b
uf_size, par
s
e_call_
m
ath: track
t
he size of
retu
r
ne
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
get_implied_r
a
nge_list
:
use
t
he new funct
i
on hoo
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
Dan Carpenter
implied
_
valu
e
: don't
g
et confus
e
d
b
y
c
a
sts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-22
D
an Carpent
e
r
db/return_states:
fix
r
eturn v
a
lues for USER_DATA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carp
e
nter
f
u
n
ction_hooks: clean up some naming
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-20
Dan Carpenter
function_hooks: introd
u
c
e
g
e
t
_
impli
e
d_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
an
C
a
r
penter
misc: whitespac
e
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
Dan Ca
r
pent
e
r
db_caller_info: add so
m
e comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-19
D
a
n Carp
e
nt
e
r
d
b,
func
t
i
on_hooks: pass assignment
e
x
pres
s
ion to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-17
Dan C
a
rpenter
buf_size
:
introduce ge
t
_array_size_bytes_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpen
t
er
capped: fix how the m
i
n() macro is
h
andled
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n
C
arpenter
buf_size: db
:
Use
the --spammy option
t
o fill the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan
C
arpenter
buf_size: merging
t
w
o
sa
m
e siz
e
buffers
g
ive a same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
D
a
n Carpen
t
er
buf
_
size: re
c
ord st
a
tic variab
l
es
i
n th
e
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-14
Dan Carpe
n
t
er
proc_
c
r
e
ate: fix a whit
e
sp
a
ce issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-11
Dan Car
p
e
nter
buf_s
i
ze, db: if a struct member s
i
z
e
is
set in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-09-09
Dan
C
arpenter
ch
e
c
k
_kernel: fix ERR
_
PTR() false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next