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
chunk: change the API a bit
2015-07-11
Dan
Carpent
e
r
chunk: change the
A
PI a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
D
an Carpenter
e
x
tra: start trac
k
ing "chunks
"
instead of just variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan
Carpente
r
math: give u
p
i
f
c
alculating a value is too
c
om
p
licat
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Ca
r
pent
e
r
implied:
t
urn o
f
f deb
u
g messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
a
n C
a
r
p
enter
c
h
eck_list
.
h:
mo
v
e
stored
_
c
ondition_links nex
t
to
s
to
r
ed_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpenter
flo
w
: ig
n
o
r
e
a
r
rays
with
o
ver a 1000 element
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Car
p
enter
db/f
i
xup_kernel
.
sh: hack around slow rtlwifi tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
capped: use FOR_EACH_
M
Y_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
user_data2: add skb_netw
o
rk
_
he
a
der()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n C
a
r
p
enter
us
e
r_
d
ata2: han
d
le poin
t
er
s
to use
r
data better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
us
e
r_
d
at
a
:
a
dd kmap_atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Car
p
enter
user_d
a
t
a
:
s/kmemdup_user/memdu
p
_
u
s
er/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
test_b
i
t:
add set
_
bit() and
c
lea
r
_b
i
t() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
check_deref: remove call
t
o
getting_a
d
dress()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
a
n Carpen
t
er
estate: make clone
_
estate() take a NUL
L
p
ointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Car
p
e
nte
r
w
h
i
tespace: cha
n
ge some sp
a
ces
to ta
b
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
D
an Carpenter
debug: add s
o
me
tools f
o
r
d
evel
o
p
i
ng the db parser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
b
uf_size: improve resizable struct han
d
lin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: f
i
x a bug in
s
plit returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
extr
a
: int
r
oduce g
e
t_extra_state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arpente
r
smatch:
c
h
a
n
g
e
all
remaining re
f
erences from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
a
n
Ca
r
penter
kernel
.
i
g
nored
_
macros:
a
dd
S
N
I
C_BUG_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carp
e
nter
unreacha
b
le: ign
o
r
e
li
s
t_for_each_entry_continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpente
r
e
x
tra
:
handle x = (
u
8)y; correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an C
a
rpenter
implied: fix
a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
typ
e
: handle
t
ypeof(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
mat
h
:
handle __sm
a
tch_implied
(
&
f
oo->bar
)
a
l
ittle better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan C
a
rpe
n
ter
assigned_exp
r
:
s
tore it
l
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
functio
n
_ho
o
ks: fi
x
va
l
id
a
tion/
s
m_
c
om
p
are15
.
c h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
lock
i
ng:
add new dow
n
_timeout()
func
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n Carpente
r
s
matc
h
_addre
s
s: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
C
arpe
n
ter
fixup_ke
r
nel
.
sh: i
g
n
o
re some __vfs_wr
i
te() calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nte
r
fixup_ke
r
nel
:
upd
a
te t
y
pes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
an Carpenter
d
e
bug: improv
e
__smatch_s
t
at
e
s()
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpente
r
flow:
i
gnore pa
r
enthesis in prev_
e
xpression_is_
g
etting_address
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan
C
a
r
penter
unreachable: ignore netdev_for_each_lower_dev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
D
a
n Carpenter
flow:
c
lean
u
p
pre
v
_expression
_
is_gettin
g
_
a
ddress()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
an
Carp
e
nter
flow: "
&
foo->bar"
is no
t
a dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_
a
ddre
s
s: se
p
arate th
i
ngs out
into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_test_bit:
c
h
e
ck for test_bit(BI
T
(0), &fo
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
D
an Carpen
t
er
type: speed
u
p
get_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
t
ype: improve
g
et_
b
ino
p
_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
Da
n
Carpent
e
r
fl
o
w: add a new expr-
>
paren
t
struc
t
memb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
f
i
x
u
p_k
e
r
nel: hard code __spi_sync() returns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpenter
fix
u
p
_
kern
e
l: kmalloc() can allo
c
ate more
d
ata
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatch
_
ad
d
r
es
s
: sort pointe
r
s
int
o
dif
f
erent
r
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n Ca
r
penter
extra: re
m
ove
s
ome unused funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
sm
a
tch
.
h:
a
dd the comparis
o
n
hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan C
a
rpenter
t
y
pe_to_s
t
r: fix a cr
a
shing
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carp
e
nte
r
ignore_side_effect
s
: get_child_rc
u
()
d
ouble evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan
C
arpente
r
i
m
plied: use comparison inform
a
tion for implic
a
tio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan
Carpenter
smatch
.
h:
move stree_
s
tack dec
l
ar
a
t
i
on from s
m
atch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpent
e
r
rosenbe
r
g: add __b
u
iltin_mem
s
et/memc
p
y()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
user_data2:
h
an
d
le returned stru
c
t
m
embers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpenter
c
o
mparison
:
update a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
p
y
: update to
r
e
fle
c
t
LIMIT/FILTE
R
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpente
r
unwind:
add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
type: include smatch_slist
.
h to prevent a se
g
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pe
n
t
er
extra: don't
s
et states to u
n
know
n
at t
h
e beg
i
nn
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an
Carpenter
extra: don't se
t
t
rue false
s
tates if
t
he
y
are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_ho
o
ks: ad
d
a hack ar
o
und in compare_db_r
e
tur
n
_stat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
list: add a c
o
mme
n
t
ab
o
u
t
register_implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Ca
r
penter
param_
l
i
mit: handle struct me
m
ber
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Da
n
Carpe
n
ter
state
s
:
white space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
co
n
diti
o
ns: ignore known/implied con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
p
enter
s
t
rings: reco
r
d str
i
ng assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
s
truct_assignmen
t
: save a lot more
i
nf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
par
a
m_limit/filter:
fix a ty
p
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Da
n
Carpenter
com
p
arison
:
handle ca
n
onical for loop
s
with varia
b
le
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Ca
r
penter
comparis
o
n: unsigned can
not be les
s
t
h
an zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
flow: set __cur_stmt and __prev_stmt
i
nsid
e
for l
o
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: merging equivalent st
a
te
s
is n
o
t und
e
fined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
a
rpen
t
er
comparison: fix an in
d
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
ar
p
ente
r
function_ho
o
ks:
f
ix up
db_co
m
pare_callback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
C
a
r
penter
function_
h
oo
k
s
,
debug: pr
i
nt im
p
os
s
ible returns
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
helper: don't strip casti
n
g in
g
et_
a
rray_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Ca
r
p
enter
links: export merge_link_states(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carp
e
nter
helpe
r
: make expr_to_str() p
r
int
f
o
rced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
t
y
pe: make type_to_
s
tr() return a sname() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modi
f
ication_hooks:
s
e
t a varia
b
le as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
user
_
d
a
ta2: tag it if a function
sets
p
aramete
r
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpent
e
r
s
t
ack: c
l
e
an
u
p a
function p
r
ototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_check: igno
r
e arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
e
r
type: make
s
val_type_
m
ax() def
a
ult to
"
long long
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
Car
p
enter
type: don
'
t return SYM_N
O
D
E
t
ypes fr
o
m get_
r
eal_base_ty
p
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
D
an Carpenter
side_e
f
fects
:
t
h
e iterate_all_k
i
n
ds()
macr
o
has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
Carpenter
u
n
reachable
:
don't complain a
b
out
i
terate_
a
ll_kind
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan Car
p
enter
flow: fix "fo
o
+= !
b
ar;"
a
ssig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
an
C
ar
p
ent
e
r
lib: h
a
ndle -funsigned-ch
a
r opti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
arpenter
kernel
.
ignore_
s
ide_ef
f
ects: add
some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenting: al
l
ow "break; case
X
XX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpenter
u
ser_data2: mar
k
s
s
ca
n
f() output
a
s u
s
er data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
math, rl
:
fi
x
h
a
n
ding
division inv
o
l
vin
g
negat
i
ve numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
s
val: fix sval_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpen
t
e
r
p
recedence: complain a
b
out
"foo << bar
- baz
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpe
n
ter
flo
w
: handl
e
struct initializati
o
n bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpente
r
estate
:
add a NULL c
h
e
ck
i
n estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
pa
r
a
m
_
used: store when
a
p
a
ra
m
eter is used so we
don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carpenter
extra
:
ignore more __in_fak
e
_as
s
ign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
comparison: fix a c
r
ashing b
u
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next