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
math: put an escape hatch in handle_conditional_rl()
2013-05-21
Dan
Ca
r
penter
math
:
put an
escape
h
a
tch
i
n handle_conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carp
e
n
t
e
r
mat
h
: swit
c
h to using
RL_ enums
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
m
a
th: delete old unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
math:
c
leanup
_ge
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carp
e
nter
states:
f
i
x
so
m
e leaks
o
f th
e
fake_cur_slist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
*new* smatch_start_st
a
tes
.
c: record the st
a
tes at t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carp
e
nte
r
db: f
i
x crashing bug as a result of math changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
e
r
smatc
h
.
h: remove
left
o
ver dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpent
e
r
check_held_dev:
small spelling fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
d
b
: don't query r
e
tu
r
n_values table any
m
o
re
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math: cleanup the rest
of handl
e
_binop_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rp
e
nter
math: fix ne
w
handle
_
cond
i
t
io
n
a
l_r
l
()
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Car
p
enter
mat
h
: introduce handle_divide_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math: couple
b
ug
s
in handle
_
s
ubtract_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
C
arpent
e
r
sval: fix
sval_
b
i
n
op_overfl
o
ws()
h
andling
o
f subtract
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carp
e
n
ter
math: remove some dead cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
e
nt
e
r
m
a
t
h: introduce new han
d
le_subt
r
act_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: create new handl
e
_ri
g
ht_shift()
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make
n
ew handle_kn
o
wn_binop() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
m
a
t
h:
create new ha
n
dle_b
i
twise_AND() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Car
p
enter
m
a
t
h: introduce
h
andle_mo
d
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an
C
arpenter
math:
c
re
a
te hack
i
sh temporary handle_
b
ino
p
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create new
handle_minus_
p
reop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
pente
r
math
:
creat
e
new handl
e
_bitwise_negate(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: introduce handl
e
_e
x
p
r
es
s
io
n
_s
t
atement_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Car
p
e
n
ter
math: use handle_v
a
riab
l
e() in
h
andle_preop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath:
i
ntrod
u
ce handle_negate_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: introduce handle_ampersand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
m
a
th: hack up
a
t
emporary handle_p
r
e
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
h
andle EXPR_POSTOP with _get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: introduce
handle_conditio
n
al_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math: introd
u
ce handle_logical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Car
p
enter
m
a
t
h
: in
t
roduce handle_comp
a
rison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
cr
e
a
te han
d
le_ca
l
l_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math
:
crea
t
e handle_variable() instead of _g
e
t_implied_valu
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: move get_
c
onst_value() forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h
: handle castin
g
in
_
g
e
t_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpent
e
r
math: fi
x
up some thinkos in t
h
e _get_rl
(
)
transition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: introduce tempo
r
ary RL_IMPLIED
e
n
um
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: duplicate _get_value() i
n
t
o _g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: move absolute min/max code from _get_value
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
ma
t
h: intro
d
uce
_
ge
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
ranges:
i
ntroduce rl
_
to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
te
r
m
a
th: s/NOTIMPLI
E
D/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
math: i
m
p
r
o
ve
absolute max/min
with regard
s
to
casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan
C
arp
e
nt
e
r
s
va
l
: fix sval_too_high()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpent
e
r
db: introduce call_re
s
ult
s
_to_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
d
b
: move get_param_n
a
me() to central location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan
C
ar
p
enter
flow: l
o
ok at s
t
atic and not-st
a
tic local inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra:
a
dd s
e
t_extra_nodmod()
t
o
s
m
atch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan C
a
rpe
n
ter
der
e
f
: fix seg
f
ault par
s
ing invalid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan
Ca
r
pen
t
er
implied: preserve equiv
a
lenc
e
a
c
ross s
w
itc
h
stat
e
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carp
e
nter
math: ha
n
d
l
e sizeof for zero
s
ize bit
f
iel
d
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
r
p
enter
e
xtr
a
:
h
andle previously ass
i
gned s
i
mple m
a
th
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
rpe
n
ter
e
x
tra: handle "if (a -
3
>
100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
Car
p
e
n
ter
e
xtra:
s
pl
i
t m
a
tch_comp
a
rison
(
) into two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
Ca
r
pent
e
r
c
apped: known values are
always c
a
pped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
er
Revert "s
p
ar
s
e: i
n
trod
u
ce get_e
x
pression
_
value_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
D
an Ca
r
penter
show_
u
nreachable
.
s
h
:
a
dd some
m
ore igno
r
ed ke
r
nel functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpenter
flow: do
n
't pri
n
t duplicate "un
r
eachable code" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: r
e
place database info scripts
with
smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan
Car
p
e
nter
sh
o
w_u
n
reach
a
ble
.
s
h
:
chan
g
e the line numbe
r
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_un
r
eachable
.
sh: replace tabs with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Da
n
Carpenter
db:
k
ernel: fake up ->read/write() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Ca
r
pent
e
r
db: store "too co
m
mon" functions
i
n the
d
atab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
param_cleared: c
l
ear_buffer: a
d
d t
h
em
t
o th
e
check_li
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
Carpe
n
ter
extra: don't
u
se th
e
indirect_mod
i
ficati
o
n_
h
ook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carp
e
nter
extra:
make pa
r
am_filter
set_
e
xtra_mo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
ros
e
nb
e
rg: re
m
o
ve pahol
e
d
e
p
e
nden
c
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
p
arse:
a
d
d
a
b
i
g hack to track
pack
e
d structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
pen
t
er
*new* smatch_cl
e
ar_buffe
r
.
c: handle mem
s
et() ty
p
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpent
e
r
param_l
i
m
i
t
/filter:
i
gnore
who
l
e ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
t
e
r
ranges:
a
n
empty range is
n
ot a whol
e
r
a
n
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
ext
r
a
:
remove some
dea
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
ext
r
a: small
fix fo
r
w
hen the database is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an
C
a
r
pe
n
t
e
r
db: always spl
i
t the r
e
turn values i
f
we're not using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
con
d
itions: use set
_
ext
r
a_
e
xpr_mod(
)
to ch
a
n
g
e extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carp
e
nter
use
r
_data: c
o
mp
a
t
syscall p
a
rameters are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
C
arpenter
user_data:
using a user supplied offset
i
nto an k
n
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carp
e
n
ter
locking: ad
d
some more bh lock function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpen
t
er
M
e
rge branch 'rfc-at
t
ri
b
ute
-
s
t
ruct' of git://git
.
k
ernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Ca
r
p
ent
e
r
check_
d
eref: disable
"potential NULL dere
f
erenc
e
"
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
D
an Carp
e
n
ter
l
ockin
g
: add local_bh_di
s
able/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Car
p
enter
locking:
handle
n
ul
l
v
s
non-NULL r
e
t
u
rn
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
l
o
cking: update validatio
n
/
test
s
to the
new wa
r
n
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
function_p
t
r
s
:
"(*ptr
s
[0])(a,
b
)" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
function_ptrs: record whe
n
fu
n
ction pointer is
sa
v
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
nt
e
r
ro
s
enberg: remove some
s
t
ructs which don't have ho
l
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carp
e
n
ter
rosenbe
r
g: chec
k
for
n
la_put
info leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
Carp
e
nter
flow
:
fake member
and
e
lement assignment
s
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
e
x
pression
s
: int
r
odu
c
e
a
rray
_
elem
e
n
t_expre
s
sion(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
a
r
penter
locking: take returns
val
u
e
s
into considerati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
check
_
kern
e
l: look hard
e
r
for the container_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carp
e
nter
i
mplied: db: fix how
ret
u
rn
s
are broken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
db: return_
i
d was set
incorr
e
ctly when inline functio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: fix how the ret
u
rn
v
a
lu
e
s are c
a
s
t
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
helper:
m
a
ke is_array(
)
ac
c
e
pt NULL
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
nter
db: functi
o
n_ptrs:
d
o be
t
ter at
f
unction ptr to function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: cre
a
te fake
assign
m
e
nts for array declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: e
x
press
i
ons: don't
t
r
y updating to uniniti
a
li
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next