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
precedence: warn about: if (!a & b) {...
2009-11-13
Dan
Carpenter
m
a
ke fun
c
tion declaration static
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-12
Dan Carpenter
D
o no
t
acciden
t
ally dele
t
e
.
h fi
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New mi
s
sing dev_put() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-11
Dan C
a
r
p
enter
Handl
e
if ((dev = foo
(
)
) =
=
NULL) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
D
an Carpenter
silly false p
o
sitive:
return
f
oo; <- foo po
s
sibly
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carp
e
nter
Update smatch_data t
o
2
.
6
.
32-rc6
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add
some co
m
me
n
ts and
c
opy
r
i
g
ht notices
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
small clean up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carp
e
nter
Fix segfault
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Car
p
en
t
er
Allo
w
peop
l
e
t
o use kc
h
ecker
f
ile
.
o
a
s well as
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpenter
Init
i
alize values proper
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-11-07
Dan
C
arpenter
Turn
t
he tw
o
p
ass system
o
ff by defaul
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-10-25
Dan
C
arpen
t
e
r
Opt
i
miz
a
tion
:
p
r
epend()
-> append()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-09-06
D
a
n Ca
r
penter
Print
an error for this: i
f
(a | b) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan C
a
r
penter
Dual pass system
[patch #2]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carpent
e
r
Dual
p
ass syst
e
m [
p
a
t
ch #1]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Carpenter
clean up: move
D
IMPLIED() to
s
m
atch_implied
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan
Carpe
n
ter
code c
h
urn: ren
a
me
S
M
_DEBU
G
() to sm_debug()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n Carpenter
code churn: renam
e
smatch_msg() to sm_msg
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
move
m
y_id paramet
e
r
[
part 2 of
2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-19
D
a
n
Carpenter
Move
my_id parame
t
er
.
[pa
r
t 1 of 2
]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Da
n
Car
p
enter
Impro
v
e check_err_ptr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
function was suppo
s
ed to be st
a
tic
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpent
e
r
disable smatch_c
o
ntainers
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpenter
Random u
g
ly
changes to check_o
v
er
f
low
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
r
p
e
n
ter
Stop printing
so much info all the time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
New opt
i
on: --spa
m
my
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
D
an Carp
e
nter
Remove optimization
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
pe
n
ter
Ad
d
c
hec
k
_as
s
igned_expr
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
fi
x
calculating
sizeof()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
ret
u
rn UNDEFINED
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
D
an Carpente
r
T
alk abou
t
smatc
h
_scripts/kc
h
ecker
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Impro
v
e
g
et_i
m
pl
i
ed_valu
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpent
e
r
cor
r
ect format
.
w
arning: => warn:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
Add
s
om
e
strip_expr
(
)
calls
t
o the function
h
o
o
ks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carp
e
n
t
er
Improve bu
f
fer overflow check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpenter
introduce s
m
at
c
h_cont
a
iners
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-31
Dan C
a
rpen
t
er
introdu
c
e
s
e
t
_state
_
expr() and friends
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
an
C
ar
p
enter
add check_dere
f
_check
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n Carpenter
added ch
e
c
k
_initializer_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
pente
r
new
h
o
ok: add_modificat
i
on_ho
o
k
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-23
Da
n
Carpenter
m
ove some d
e
clarat
i
ons ou
t
of smatch
.
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-07-21
Dan
C
arpent
e
r
Update sm
a
tch_data for 2
.
6
.
31-p
r
e
3
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
Dan Carp
e
nter
Improve
the
displayed variable
names
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-17
D
an Carp
e
nte
r
fix buffer ove
r
flow
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpenter
Ad
d
check_balanced
.
c
a
nd sm
a
tch_da
t
a
/
kernel
.
balanced_fu
n
cs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan
Carpen
t
er
PTR_ERR(ERR_PTR(-42)
)
is non zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
check_
m
emory
.
c: use the add_scope_hook()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpenter
Add scoped_s
t
ate() a
n
d
a
dd_sco
p
e
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
sma
t
ch_i
m
plied: on
l
y print t
h
e nr_c
h
i
l
dren
m
e
s
sag
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpent
e
r
smatc
h
_extra:
f
ix (foo != 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Da
n
Car
p
en
t
er
Fi
x
overlapping ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
check_memory
.
c:
f
i
x
reversed if sta
t
ement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan
C
a
rpenter
Fix an
o
ther
bug caused by fu
n
ny t
m
p_range_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
D
an
C
a
r
p
enter
Merge
b
ranch 'new_i
m
plications'
into devel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Fix crashing bug caused by the switch
c
hange
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debugging: pr
i
nt
t
he line nu
m
bers in merge_
s
m
_
sta
t
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Make switch st
a
t
e
ments work
a
ga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpenter
clean up
.
use t
r
ue
/
fa
l
se_comparison_range_
l
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
c
ode churn:
r
enam
e
->pre
_
left =
>
->left, ->pre_right
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Da
n
Carp
e
nter
Put a
cap o
n
implications
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Car
p
e
n
ter
Impro
v
e debugging
.
Do
n
't
o
ver
w
rite sm->
l
ine
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carpen
t
e
r
Micro opt
i
mization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpente
r
clea
n
u
p
i
n mer
g
e
_slist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpen
t
e
r
check for out_of_memory
(
)
less often and only
after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
D
an Carpenter
B
e
tter deb
u
ggin
g
for check_memory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Add switch testin
g
t
est
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Da
n
Carpente
r
Doh
.
T
oo many implied
s
tate
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
arpen
t
er
Remove
c
l
o
ne
_
slis
t
_and_sta
t
es() a
n
d
merge_slis
t
_clone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpenter
Remove switch cloning comple
x
i
t
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpenter
t
wo
is always non-
n
ull these
da
y
s
.
don't che
c
k it
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
remove u
n
used merge_
p
ools() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carp
e
nter
d
o
n't prin
t
"list" vari
a
ble
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carp
e
nter
Make my_pool
s
=> my_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
i
n
trodu
c
e clone_poo
l
_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone_
s
tate() does
n
'
t
copy my_p
o
ols
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
Rework im
p
lications to us
e
->pre_left and ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpent
e
r
two is always non-nu
l
l these d
a
ys
.
don't check
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carp
e
nt
e
r
Intr
o
d
u
ce
->pre_lef
t
a
n
d ->pre_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan Carpenter
M
a
ke the RAM limi
t
m
o
r
e ac
c
urate a
n
d flexible
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan
Carpenter
Only clone the
states if it is
a switch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't c
l
one the
false states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpente
r
D
on't clone
all
t
he stat
e
s
f
or
every case s
t
ate
m
e
n
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carp
e
nter
Make the validation tes
t
harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Prevent some
en
d
l
e
ss
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpe
n
ter
Putting parens around something
doe
s
n't
make it undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
F
ix memory le
a
k
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan
C
arpenter
M
ake
struc
t
sm_state mor
e
compac
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
s
match_slist
.
c no longer nee
d
s
a
n
y functions
f
rom smat
c
h_ex
t
ra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
arpenter
Del
e
te all th
e
anding co
m
p
ound conditions
c
od
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
pent
e
r
check debug is useful for debugging
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an
C
arpenter
p
o
tentia
l
bug fix for gotos
with implic
a
t
i
on
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Make valid
a
tion test ha
r
de
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Car
p
ente
r
Rework smatch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_v
a
l
u
e(): handle a coup
l
e
m
ore bi
t
ope
r
ators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpent
e
r
S
e
t thin
g
s i
n
s
ma
t
ch e
x
tra instead of smatch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Ca
r
p
e
n
ter
Handle switch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Car
p
ent
e
r
Rever
t
"Don't t
h
e implications for the state
determ
i
ning
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan
C
arpenter
Revert "Her
e
is a bug
i
n handling
compound c
o
n
diti
o
ns
.
"
commit
|
commitdiff
|
tree
2009-04-21
D
a
n Ca
r
penter
handle if((foo = down_trylock()
)
< 0)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next