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
Makefile: use quiet link to link smatch
2017-04-11
Dan Ca
r
penter
Mak
e
file: use quiet link t
o
link smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
states: fix handling switch
e
s inside conditions (fake_cur_st
r
ee)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
s
tates: split u
p
date_
f
ake_
s
t
r
ee_with_m
e
r
ged()
a
nd add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpente
r
t
ype_val: sm
a
ll tweak for arrays and complica
t
ed lvalu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
e
x
tr
a
: handle indi
r
e
c
tio
n
like
"
p = &
f
oo; *p
=
42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan C
a
rpenter
extra
:
han
d
le MOD conditions like "if (
a
% 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modificatio
n
_ho
o
ks:
r
em
o
v
e unused indirect modif
i
cation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
vali
d
a
t
ion/skb
3
: delete som
e
accid
e
ntal debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
s
er_data2: don't set parameters t
o
user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
penter
user_d
a
t
a2: hand
l
e sk
b
-
>data
math a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
r
p
en
t
er
user_data2:
r
e
-
work
handl
i
ng of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Ca
r
penter
par
s
e
_call_m
a
th: work around
f
or loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
leaks: don't
c
o
m
pla
i
n if we overwrite NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
ar
p
ente
r
f
ree: ignore i
m
p
o
ss
i
ble code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
s
h
i
ft_to_zero: make the error m
e
ssage more informati
v
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpen
t
e
r
t
est_bit:
ad
d
test_and_clear_bit
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
smdb
.
py
:
print the return_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
db/fixu
p
_kernel
.
sh
:
i
gnore
do_loop_readv
_
writev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: s
e
t hard m
a
x
if a fun
c
ti
o
n
i
s called
w
ith a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpent
e
r
extra: fix handling of kn
o
w
n c
o
nditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Car
p
enter
p
aram_limit
:
d
o
n't set so
m
e unch
a
nged
limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
db:
p
revent
s
l
o
w d
o
wns spli
t
t
ing returns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
db: set parse_er
r
or
i
f the S
Q
L
f
ails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
p
a
ram_set
:
handle
if
the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan C
a
r
p
enter
buf_size
:
fix type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db: filter poin
t
er c
a
lls
b
y function
signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carp
e
nter
implied: rev
e
rt "t
i
n
y
speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
a
s
sign
_
vs_compa
r
e: warn about "if (foo
= &bar
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
t
y
pe: fix
type_bits()
f
or arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
shift_to_zero: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Car
p
e
n
t
e
r
smatc
h
.
c:
remove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rp
e
nter
db: split return s
t
ates by null vs non-n
u
ll parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra: filter PARAM_VA
L
U
Es wit
h
b
ot
h
extra and real_a
b
solute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
enter
mat
h
: handl
e
-foo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
helper: i
n
troduce get struct
and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
impli
e
d: tiny speed
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nt
e
r
i
m
p
l
ied: sm
a
ll cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nte
r
ranges:
h
andle bitwise AND
o
peration
s
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
r
eal_absolu
t
e: introduce get_real_ab
s
olute_
v
ar_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
a
v
l: add a s
h
ort cut for when there are n
o
stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
enter
ty
p
e_val: handle |= type assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
D
a
n Carpenter
db: r
e
name "function_
t
y
p
e_info"
t
able to
"f
u
nct
i
on_type"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user
_
da
t
a2:
if a us
e
r_d
a
ta
i
s equal to no
n
-us
e
r data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an
Carp
e
nter
pre-process: try find any
include that loo
k
s
li
k
e it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
compariso
n
: r
e
m
o
ve so
m
e
loca
l
_debug i
n
f
o
r
mat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n C
a
rpenter
db/fixup_ker
n
el
.
sh:
w
rite to
the
temporary
DB instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
extra:
fix type issue handling
+
+= and --= operat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carp
e
nter
math: remove
u
n
committed
function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpente
r
math: fix ha
n
d
lin
g
of size
o
f() __le16 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math:
h
andle real_absol
u
te variables
m
o
re accura
t
e
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpente
r
real_a
b
solute: ignore iterator pre stat
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Ca
r
p
e
nter
helper: In expr_t
o
_
s
tr() remove extra paren
t
hesis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
r
penter
db:
i
n
t
ro
d
u
c
e
sql_insert_dat
a
_info_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
db: use "exter
n
" instead of the file name for globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
s
parse: int
r
oduce
parse_error variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
use
r
_data2: han
d
le
func
t
i
o
ns that merel
y
return p
a
sse
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Ca
r
penter
hoo
k
s: int
r
oduce ASSIGNM
E
NT_HOOK_AFTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arp
e
nte
r
db: give u
p
handling function
pointers
i
f there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpenter
user_data2: re
m
ov
e
some debug printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Ca
r
penter
user_data2:
d
on't set the fun
c
t
i
on itself
t
o
user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan C
a
rpenter
user_dat
a
2
:
improv
e
handling when we return user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpe
n
ter
function_hooks: do
n
't
mark it
a
s impossible if a
functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carp
e
nte
r
c
o
m
p
arison: modify the
links at
at start of an ass
i
gn
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
db: clean
u
p g
e
t_row_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an Car
p
ente
r
impli
e
d: rename
a
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
estate: a
d
d an estate_is_empty() fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
d
b
/kernel
.
no_inline
:
don't parse the bite
s
wap
f
unctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
ente
r
kernel
:
parse ATOMIC_S
E
T()
m
anually
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
d
b
/
ker
n
el
.
r
etu
r
n_f
i
xes: add
some
m
ore fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
d
b/f
i
xup_kernel
.
sh:
handl
e
__kernel_w
r
i
te()
a b
i
t bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim_db: h
a
ndle
older versions of
vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/
f
ixup_kern
e
l
:
handle __bui
l
tin_bs
w
ap64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan
C
arpenter
f
u
nction_hooks:
c
hange
o
r
der o
f
how db verse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Carpenter
param_l
i
mit: don't
i
nsert
e
mpty
stat
e
s
i
n
to the d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
ter
rang
e
s: u
s
e
a
h
a
ck ar
o
und so
whe
n
mergi
n
g ranges of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
t
y
pe_
v
a
l: fix
a
memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
an C
a
r
penter
function_
h
oo
k
s, db: handle
PAR
A
M
_
LIMI
T
for str
u
ct
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
n
ter
implied: fix a bug handling parameter
implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
i
m
pli
e
d:
add more debug informa
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
D
an Carpent
e
r
db: sort return_states by
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
Carpenter
flow:
tiny cle
a
nup handling a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Carpenter
flow: remove an unneeded condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
an C
a
rpente
r
flow
:
r
ename a variable "
t
mp"
-
>
"right"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
D
a
n Carpenter
k
ern
e
l
.
i
gnored_macros
:
add LASSERT(
)
f
rom
l
ustre
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carp
e
nt
e
r
f
u
nctio
n
_
hooks
,
d
b: use INTERNAL
a
s
the marke
r
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: handle function pointers
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us Villemoes
check
_
kerne
l
_printf
.
c: %pj ended up being %pG
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus V
i
ll
e
moes
c
h
eck_
k
ernel_
p
rintf
.
c:
h
andle new
d
efin
i
t
i
on of KER
N
_CONT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-12
R
a
smus Villemoe
s
check_k
e
rnel_printf: check
t
hat %pg
gets a block_
d
e
vice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carp
e
nt
e
r
user_data2: math: function ca
l
ls
s
hould be handle
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan C
a
rpenter
mat
h
: fix a type issue with
M
OD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan C
a
rp
e
nter
untracked_par
a
m
:
fu
n
c
tions
t
hat
a
r
e too hai
r
y ar
e
untrackable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
Carpent
e
r
addr
e
s
s: s
i
m
pli
f
y is_non
_
null_arr
a
y
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
type_
v
al
:
u
s
e the cor
r
ect typ
e
in get_
d
b_type_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
an
C
arpenter
im
p
lied: fix a bug with borrowed impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carp
e
nter
f
l
ow: han
d
led decla
r
ed labels better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
D
a
n
Ca
r
penter
r
a
nge
s
: read u64ma
x
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpe
n
ter
smatch: remove
t
ests to see if a
n
a
rray is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Ca
r
penter
extra:
ha
n
d
l
e "if (a + b < a
)
{ "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
rpenter
s
l
ist: Sile
n
c
e
a
sm
a
tch warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next