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: cast bitwise negates
2013-05-22
Dan Carpe
n
ter
sva
l
: cast bi
t
wise negate
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
capped: han
d
le postops
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
buf_size:
ha
n
dle bad data from
th
e
datab
a
se better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
ath:
use correct variable in handl
e
_c
o
nditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
capped: u
s
e get_
h
ard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
m
ath: move som
e
RL_HARD
and RL_
E
X
ACT tes
t
s around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: s32min is no
t
a fuzzy
min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math:
r
e
versed c
o
nd
i
t
i
on in handle
_
divide(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
math: remov
e
d
u
p
l
icate buggy code
i
n get_implied_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math:
put an esc
a
pe
h
atch i
n
h
an
d
le_
c
onditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
math: switch to usi
n
g
RL_ enums
directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
m
ath: delete
o
ld unus
e
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math:
cleanup _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
n
t
er
s
tates: fix some l
e
aks o
f
the fa
k
e
_cur_slist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
rpente
r
*new* sma
t
ch_start_states
.
c: re
c
o
r
d
the states at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
d
b: fi
x
crashing bug as a res
u
lt of ma
t
h changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
sma
t
ch
.
h: remove left over dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
penter
check_held_dev: small spellin
g
fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
db: don'
t
qu
e
r
y return_value
s
t
a
ble any 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 the r
e
st of
h
andle_binop
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
math:
f
ix new
handle_con
d
itional_
r
l()
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
: introd
u
c
e
hand
l
e_divid
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: couple bugs in
handle_subtract_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
sval
:
fix
sva
l
_binop
_
overflows
(
)
h
a
ndling of subtr
a
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: remove some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: introduce
new handle_su
b
tract_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
math:
create n
e
w
handle_
r
ight_
s
hift() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: make new handle_k
n
own_binop() f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: create
n
e
w
hand
l
e
_bi
t
wise_AND() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: introduce hand
l
e_mod_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: create
hack
i
sh temporary hand
l
e_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
arpenter
math: create new handle_minus_preop
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: create
n
e
w handl
e
_bitwise_n
e
gate() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpente
r
math: intro
d
uc
e
h
a
ndle_express
i
on_state
m
ent_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
use handle_var
i
able(
)
in handle_pr
e
op_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpen
t
er
math:
i
ntro
d
uce handle_neg
a
te_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math:
i
ntr
o
d
uce h
a
ndle_a
m
persand_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: hack
up
a
temporary handle_pr
e
op
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
penter
math: handle
E
X
PR_POS
T
O
P with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: intr
o
duce
handle_
c
onditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
rpenter
m
a
th:
i
ntroduce handle_
l
ogic
a
l_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Ca
r
penter
math
:
i
n
t
r
oduce
h
andle_comp
a
ris
o
n_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: creat
e
h
a
n
d
le_call_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
m
a
th: create handle_v
a
ri
a
b
le
(
) instead of _get_i
m
p
lied_v
a
lue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: move get_const_v
a
lue()
fo
r
war
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
mat
h
: handle castin
g
in _ge
t
_
r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpe
n
ter
math: fix up some t
h
i
n
k
os
i
n the
_get_rl
(
)
transition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpenter
math: introduce temporary RL_IM
P
L
I
E
D e
n
um
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
ar
p
e
n
t
er
ma
t
h: dupli
c
ate
_
ge
t
_val
u
e() in
t
o _get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math
:
move absolute min/max co
d
e fro
m
_get_v
a
lue()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpe
n
ter
math: i
n
troduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ranges: in
t
ro
d
uce rl_to_sval(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: s/NOTIMPLIED/EXA
C
T/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
ma
t
h: improve absolut
e
max/min
w
ith regards
t
o casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan
C
a
rpenter
sval: fi
x
sval
_
to
o
_high
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db:
i
ntroduce call_results_
t
o_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n
C
arp
e
nter
d
b: mo
v
e
get_param_name() to ce
n
tra
l
location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan
C
arpenter
flow: look
a
t
static and not-
s
tati
c
loc
a
l
i
n
l
ine funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Ca
r
pente
r
extra: a
d
d set_
e
xtr
a
_nodmod
(
) to
sm
a
tch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Ca
r
p
ente
r
deref: fix segfault parsing invalid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carp
e
nter
im
p
lied: pr
e
serve equivalence acro
s
s sw
i
tch stat
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
D
a
n
Carpenter
m
a
th: handle si
z
eof for zero size
bitfi
e
l
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: handle
p
r
eviously assigned simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
extra: hand
l
e
"
if
(a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
e
xtra: spli
t
match_comparison() in
t
o
t
w
o function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
cap
p
ed: k
n
own values
a
re always capp
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
Re
v
ert "sparse: introduce get_expre
s
sion_value_nomo
d
()"
commit
|
commitdiff
|
tree
2013-04-20
Dan
Car
p
en
t
er
show_unreacha
b
l
e
.
sh: add some more ignored kern
e
l functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow: don
'
t print duplica
t
e
"unreachable
c
o
de"
w
ar
n
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: replac
e
da
t
abase
info scripts
w
i
th s
m
db
.
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan
Carpente
r
s
h
o
w
_unreachable
.
sh: cha
n
g
e the line number format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
arp
e
n
ter
show_unreachable
.
sh: repl
a
ce tabs wi
t
h spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Da
n
Carp
e
nter
db: k
e
rnel: fake
up
-
>read/w
r
i
te(
)
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
pen
t
er
db: st
o
re "t
o
o
c
o
m
m
o
n
"
f
unct
i
ons in the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
param_
c
lear
e
d: clear_buffer: add
t
hem to
the c
h
eck_
l
is
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
t
ra: don't use t
h
e indirect_modif
i
cation_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: ma
k
e param
_
filter set_extra_mod
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenberg: remove pahole d
e
pendency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
parse: add a big hac
k
to track p
a
cked structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
*new*
smatch_clear_buffe
r
.
c: h
a
ndle memset() type functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
er
param_li
m
it/fi
l
ter:
i
gnore who
l
e ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
a
rpen
t
er
r
anges: an
e
m
pty
range is n
o
t a whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extr
a
: remove some
dead
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
enter
extra: small fix for when the dat
a
b
a
s
e
is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
C
a
r
p
e
nt
e
r
db:
always split t
h
e r
e
turn v
a
lues if we're not us
i
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
conditio
n
s: use set_
e
xtra_ex
p
r_mod(
)
to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
user_dat
a
: compat
syscall par
a
meters
are user da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carp
e
nter
user_data:
u
s
i
ng a
u
ser supplied off
s
et into an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
locking: add
so
m
e
more bh lock funct
i
on
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
a
rp
e
nt
e
r
Merge b
r
anch '
r
f
c
-
a
t
t
ribu
t
e
-
s
truct' of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
Car
p
ente
r
check
_
der
e
f
:
disable "potential NULL der
e
ference"
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
locking: a
d
d loc
a
l_bh_disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan C
a
rpente
r
locking: hand
l
e null vs non-NU
L
L returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
en
t
er
locking: update
validation/ tes
t
s to
the new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
f
u
nc
t
ion_ptrs: "(*ptrs[0])(a
,
b)" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
r
p
enter
function_ptrs
:
reco
r
d when function pointer is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Ca
r
penter
rosen
b
erg: remove some s
t
r
u
ct
s
which d
o
n
'
t have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosen
b
erg: chec
k
fo
r
nla
_
put info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flow: f
a
ke member and element
a
ssignments b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Car
p
enter
expressions: introduce array_
e
le
m
ent_expr
e
ssion
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next