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
comparison: partially fix how links are updated
2013-05-21
D
a
n Carpent
e
r
math:
clea
n
up _get_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
stat
e
s:
f
ix some
leaks of the f
a
ke_
c
ur_sl
i
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
*new* sma
t
ch_star
t
_
states
.
c: record
t
he states at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: fix crashing bu
g
as a res
u
lt of mat
h
changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
smatc
h
.
h: re
m
ov
e
left o
v
er dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n C
a
rpen
t
er
check_held_dev: small spel
l
ing fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: don't q
u
ery return
_
values table
a
n
y
m
ore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math
:
clean
u
p t
h
e rest of h
a
nd
l
e_binop
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arp
e
n
t
er
math:
f
i
x
new handle_c
o
nditional_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math: introdu
c
e
handle_divi
d
e_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpe
n
t
e
r
math:
c
o
u
ple bu
g
s in handle
_
subtract
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
n
t
er
sval:
fix sv
a
l_binop_
o
ver
f
lows() han
d
l
ing of sub
t
rac
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpe
n
ter
ma
t
h: re
m
ove some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math
:
intro
d
uce
n
ew handle
_
subtract_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Car
p
ente
r
m
a
t
h
:
c
r
e
ate n
e
w
h
a
ndle_
r
ight_s
h
ift() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Ca
r
p
enter
math: make ne
w
handle
_
known_binop() functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
create new han
d
le_bitwise_
A
N
D
(
) f
u
n
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: in
t
r
o
d
uc
e
handl
e
_
mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpe
n
t
er
mat
h
: create hackish temporar
y
handle_binop
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math:
c
reate
n
ew handle_m
i
n
u
s_preo
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: create new handle_bitwise_negat
e
() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
oduce handle_expr
e
ssion_
s
tatem
e
nt_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
m
a
t
h
: use handl
e
_v
a
riable()
i
n
hand
l
e_preo
p
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
m
ath: introduce handle
_
neg
a
t
e
_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
arpenter
math: intro
d
uce handle_ampe
r
sand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: ha
c
k
up a tempo
r
a
r
y handle_
p
r
e
op_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th: handle EXPR_POSTOP with _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
ma
t
h
: introduce hand
l
e_conditional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math:
in
t
roduce handle_logical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: introd
u
ce
h
andle_comparison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: create handle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpent
e
r
m
ath: create han
d
le_variable()
i
nste
a
d of _
g
e
t_i
m
plied_v
a
lu
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math:
move get
_
const_value
(
) forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: handle casting in _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
ent
e
r
math
:
f
ix up some thinkos in the _get_rl() t
r
ansition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: i
n
tro
d
u
c
e t
e
mpora
r
y
R
L_IMPLI
E
D
enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math
:
du
p
lic
a
te _g
e
t_value() into _
g
et_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: move absolute min/max
c
ode fr
o
m
_get_v
a
lue()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: introduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
r
a
ng
e
s: introduce rl_to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: s
/
NOTIMPLIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
D
a
n Carp
e
nter
ma
t
h: impr
o
ve
a
bso
l
ute max/min
w
ith regar
d
s to casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
D
an Ca
r
penter
s
val: fix
s
val_
t
o
o_high()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan
C
a
rpente
r
db: intro
d
uce call_
r
esults_to
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
d
b
: mov
e
g
et_param_name
(
) to
c
entral location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpen
t
er
flo
w
: loo
k
at static
and not-static l
o
cal inli
n
e functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: a
d
d set_extra_nodmod() to sma
t
c
h
_
extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
D
an Carpente
r
de
r
ef: fix se
g
fault
parsing in
v
alid c c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Da
n
Carpent
e
r
impli
e
d: pr
e
serve equiva
l
enc
e
a
c
r
oss
swit
c
h statem
e
nt
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
math:
hand
l
e
si
z
eof for
z
er
o
size
bitfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
enter
ext
r
a: handle previo
u
sl
y
a
ssigned simp
l
e math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpenter
extra: handle "if (a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
ex
t
ra:
split
m
a
tch_comp
a
ri
s
on() into two f
u
n
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
capped: known values are always capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
ter
Revert "spar
s
e: introduce get_expression_val
u
e_nomod
(
)"
commit
|
commitdiff
|
tree
2013-04-20
D
an Carpenter
show_unreachable
.
sh:
add some more ignored kerne
l
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
D
an Ca
r
penter
flow: don't print duplicate "un
r
eachable cod
e
" warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpente
r
db: replace database i
n
fo
scripts with sm
d
b
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carp
e
nter
show_unr
e
acha
b
le
.
sh
:
change the l
i
n
e numb
e
r
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
D
a
n Carpent
e
r
show_unreachable
.
sh:
r
eplace
tabs with
s
pa
c
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Ca
r
pe
n
ter
db: ke
r
nel: fake up
->re
a
d/write() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
db:
store "
t
oo common" functio
n
s in t
h
e
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_cl
e
ar
e
d
:
clear_buffer
:
a
d
d
them to the check_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Ca
r
pen
t
er
extra: don't use the indirect_modif
i
ca
t
ion
_
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
extra
:
ma
k
e param_filter set_
e
xtra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ros
e
n
b
er
g
:
remo
v
e paho
l
e dependency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse: a
d
d a big hack to track
pac
k
e
d structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
*
ne
w
* smatch_clear_b
u
f
fer
.
c: handle
m
emset() type
f
unction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
e
r
par
a
m_limit/filte
r
: ignore who
l
e ran
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
en
t
e
r
rang
e
s: a
n
empty r
a
ng
e
i
s not a
w
h
ole r
a
n
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpe
n
ter
extra: remov
e
some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpenter
ext
r
a:
s
mall f
i
x for when the
d
at
a
base is
disable
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
db: always split the re
t
u
rn va
l
ues
if we're not
u
sing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carp
e
nter
conditio
n
s:
u
se set_extra_
e
xp
r
_mod() to chan
g
e extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpent
e
r
user_dat
a
:
c
ompat syscall param
e
ters are user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carp
e
n
ter
user_data: usi
n
g
a user s
u
p
p
lie
d
offset into an k
n
own
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
Carpen
t
er
l
ocking
:
add so
m
e
more bh lock func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge bran
c
h
'rfc-
a
tt
r
ibute-str
u
ct'
of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
check
_
dere
f
:
d
isable "potential N
U
LL dereference" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
locking: add local_bh
_
dis
a
ble/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpe
n
ter
locking:
handle
n
u
ll vs n
o
n-NULL r
e
t
u
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpenter
locking:
u
pdate validation/ t
e
sts
to
t
he new warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
te
r
function_ptr
s
: "(*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
Ca
r
pent
e
r
func
t
ion_ptrs: re
c
o
rd when function pointer is s
a
ved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
rose
n
berg: remove some structs
which don't hav
e
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg:
c
heck for nla_put info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpen
t
er
flow: fake
member and elemen
t
assig
n
me
n
t
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpente
r
expressio
n
s: in
t
roduce array_e
l
em
e
nt_
e
xpress
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
r
pen
t
er
locking: t
a
k
e
re
t
urns
valu
e
s int
o
consideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
p
enter
check_k
e
r
nel:
look harde
r
for the
cont
a
iner_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
arpenter
implied: db: fix how
returns are broken ap
a
rt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
n
ter
db: re
t
urn_
i
d wa
s
set
incorrectly when inline f
u
nction
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpente
r
db:
fix how
the return valu
e
s a
r
e casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Ca
r
penter
h
elpe
r
:
make is_ar
r
ay() accept
N
ULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fun
c
tion_ptrs: do bet
t
er at function ptr t
o
functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
flow: create fake
assignments for
a
rray declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Car
p
enter
f
l
o
w: express
i
ons: don't try updating to uniniti
a
lized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
d
b
:
fixu
p
_k
e
rnel
.
sh: (
s
truct mISDNchannel)->
s
end
i
nformation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
db: fi
x
u
p_
k
erne
l
.
sh: r
e
cord
w
he
r
e ->notifier_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Car
p
enter
f
low: handle i
n
lines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next