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
small cleanup and a comment change
2010-05-18
Dan
C
a
rpenter
small cleanup an
d
a comment change
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-18
Da
n
Carpenter
*new
*
check_s
n
prin
t
f
:
using the return va
l
ue o
f
snprintf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-15
Dan Carp
e
nter
unused_return: pri
n
t function name that was ignored
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpen
t
er
math: don't p
a
ss negati
v
e
numb
e
rs
a
s
a
bsolute max for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpente
r
implied: all
o
w the known pa
r
t
t
o
b
e
a range list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
a
rpenter
math: fix
g
et_absolute_min/max() f
o
r sizeof()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
extra: make do_c
o
mparison() handle two
v
ariables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
C
a
rpenter
ra
n
g
es: in
t
roduce free
_
range_l
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Da
n
Carpenter
ran
g
es: intro
d
u
c
e possibl
y
_true/f
a
lse_range_lists(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpenter
precedence: don't complain abou
t
if foo is 0-1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carp
e
n
t
e
r
e
x
t
r
a: cleanup:
r
ename do_comparison_range()
=>
do_comparison(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Carpe
n
t
er
known_condition_tru
e
/false(): handl
e
exp
r
e
s
sion st
a
tements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Carpenter
*new
*
chec
k
_kunmap()
:
c
o
n
fusion bet
w
e
e
n
k
m
ap()
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Carpenter
*new
*
smatch_scripts/unlocked_paths
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
D
a
n
Carpenter
flow: clea
n
u
p
: make split_func
t
ion
(
)
i
t's o
w
n funct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Ca
r
penter
deref_c
h
eck: use in_macr
o
() to sil
e
nce
most of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpenter
math: i
n
t
r
oduce get_abs
o
lute_mi
n
/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an
C
arpenter
mat
h
: cleanup
:
r
e
name
get_implied_single
_
fuzzy_max(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup: shuffl
e
some functions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
math: cleanup: get rid of the *discard thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
n
ter
math: cleanup: get rid
of IMPLIED_SI
N
GLE
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan C
a
rpe
n
ter
delet
e
c
h
e
c
k_null_
d
eref
.
c and clean up
v
a
lida
t
i
o
n
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Car
p
en
t
er
flow
:
t
h
e next st
a
tement should
n
e
v
er be the current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
an Carpe
n
ter
*n
e
w*
c
heck_check_deref
.
c:
checking for nul
l
in
c
onsiste
n
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_no
_
effe
c
t: pr
i
nt warnings statements th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setup default modi
f
i
cation h
o
o
k
s
in set_t
r
u
e
_false_state
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan
Carpen
t
er
i
n
trod
u
ce in_macro() which
retur
n
s true if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
D
an
Carpen
t
er
introdu
c
e: i
n
_e
x
pression_s
t
atement() and
rename get
_
blo
c
k_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
D
a
n Carp
e
nter
churn:
rename __sp
l
i
t
_
sta
t
emen
t
s()
=
> __
s
plit_s
t
mt()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan C
a
rpenter
ex
t
ra: h
a
ndle i++ and i += 2 bette
r
outside loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan
C
arpenter
fil
t
er
_
kernel_deref_check
.
sh: pr
i
nt the func
t
ion
name
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an Carp
e
nter
Add ST
R
ING_HOOK
f
o
r
examining st
r
i
n
gs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n Carpen
t
er
*new*
c
heck_kernel
.
c: handle
t
om
o
yo_memory_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
core: fix
handling of switch statements
with unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
bail out earl
i
er
i
f function
s
get too di
f
ficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpent
e
r
include static functions
in list of func
t
ions
which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n C
a
r
penter
*new* freeing_null: calling free for a varia
b
l
e that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan
C
arp
e
nte
r
e
q
uiv: call
r
emove_
f
rom_equiv() on
a
ssignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
math: prevent d
i
vide by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Ca
r
p
e
nter
check_lock: ad
d
more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan
C
a
r
pent
e
r
ne
w
:
check_
p
ro
c
_create() check
f
or
world w
r
itable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
mat
h
:
teach smatch to und
e
rst
a
n
d
con
s
t values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
p
e
nter
check_overf
l
ow: fix th
e
oretical memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Car
p
e
n
ter
co
r
e: fix p
r
oblem in handlin
g
selec
t
sta
t
em
e
nt / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
cleanup: re
n
ame sm_states to "sm" instead of
"
st
a
te"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Ca
r
penter
g
e
t_v
a
riable
_
from_expr(): if it in
v
olves a
number
i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
Carpent
e
r
debug:
p
r
i
n
t more useful in
f
o
r
ma
t
ion about conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n Carpenter
lockin
g
:
handle
spin_trylo
c
k
_irq(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: han
d
le spi
n
_lock_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Ca
r
p
enter
locking: handl
e
raw_spin
_
unlock_irq
r
e
store()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking:
make "s
o
metimes l
o
cked" messages
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carp
e
nter
M
e
rge
branch 'devel' into devel_eq
u
iv
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
e
n
t
er
equiv: if
a variable is onl
y
equivalent
t
o itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpe
n
ter
extra
:
use th
e
f
ak
e
a
ssignments i
n
stead of the initia
l
i
zer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
equiv: never s
e
t
S
M
ATC
H
_EXTRA values
d
irectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
an Car
p
enter
equiv: eli
m
inat
e
bogus call
t
o
s
e
t_st
a
t
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
introduce
__sm
a
tch
_
deb
u
g_on() and __smatch_d
e
bu
g
_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
C
a
r
penter
locking: make spinloc
k
_
i
rq
s
a
ve() wo
r
k for my con
f
i
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpenter
l
ocking: w
h
ite space fi
x
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpente
r
locki
n
g:
add more s
t
andard lock
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpent
e
r
check_loc
k
in
g
:
c
le
a
n up list of k
e
rnel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
an
C
arpen
t
er
h
a
nd
l
e sel
e
ct assign
s
:
foo = a ? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Carpenter
core:
f
ake cur_slist more compl
e
t
e
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n Carp
e
nter
core
:
rewrite sel
e
ct st
a
tem
e
nt handlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpente
r
states: ve
r
ify th
a
t the
stacks are empty at t
h
e end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
Rename functio
n
s
:
_
_
p
op_foo() => __
d
iscard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch
_
st
a
tes: rename some func
t
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
release_resource:
D
oh
.
I
t's lookin
g
for
the w
r
ong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
fix se
l
ect st
a
te
m
e
n
t h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Car
p
enter
core: c
l
eanup
.
delete fake conditi
o
n stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpenter
core
:
make fa
k
e cur_slists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpent
e
r
slist:
m
ake set_state_stack() return the new
s
m_stat
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpent
e
r
*
n
ew* check
_
release_resource
.
c: check that we r
e
lease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpe
n
t
e
r
flow: split a
s
m clobbers, inputs an
d
out
p
uts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpe
n
ter
whi
t
e_spaceonly:
allow header fi
l
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpenter
*new* s
t
rip_whitespace
.
pl: rem
o
ves
a
ll the whitesp
a
ce
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
nter
*new*
c
heck_r
e
source_s
i
ze(): prod people to use reso
u
rce_siz
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assum
e
i
m
po
s
s
ible things
are i
m
p
o
s
s
i
ble
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpen
t
er
err_ptr: fix b
t
r
f
s f
a
lse posit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpenter
err_ptr
:
handle when an err_ptr
is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* check_db_info
.
c print
s
out stuff
t
h
a
t will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpe
n
ter
cleanup: move stu
f
f from smatch_extra
.
c
to sm
a
tch_
m
ath
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
whitespace
c
hanges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
equ
i
v: fix
c
rashi
n
g bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
check_over
f
low: malloc() => __alloc_sm
a
t
c
h_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
sma
t
ch
.
c: do
n
't l
e
ak those 10
by
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpen
t
er
assi
g
ned_ex
p
r
: fi
x
memor
y
l
eak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kernel: f
r
ee_area()
d
oe
s
n
't
c
a
ll
k
free
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
arp
e
nter
*ne
w
* check_return
.
c: compl
a
in if you d
o
n'
t
che
c
k t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math: make g
e
t_implied_value
(
) w
o
rk fo
r
poi
n
ter
s
b
e
tter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Ca
r
penter
ma
t
h: cl
e
a
nup: create
s
e
p
arate _get_implied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
math
:
handle modulus '%'
o
per
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle EXP
R
_
P
O
S
TO
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpenter
math: c
l
eanup: make
handling
binops a switch()
statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: clean
u
p c
r
e
a
te separate h
a
ndle_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
math: cleanup
.
use cast_to_t
y
pe() instead o
f
re-imp
l
imen
t
ing it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
t
h
: cleanup
.
separat
e
handle_preop() into
it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
ent
e
r
e
quiv: fix cras
h
i
n
g b
u
g intr
o
du
c
ed in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Car
p
ente
r
Create separate sm
a
tch
_
math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
upd
a
t
e smatch_
d
ata/ f
o
r 2
.
6
.
3
4-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next