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
buf_size: fix type_bytes()
2017-02-10
Dan Carpenter
buf_
s
ize: fi
x
type_byte
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db:
f
ilter pointer calls
b
y
function
s
ignatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
im
p
lied: r
e
v
e
rt "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
assign_vs_compare: w
a
rn abo
u
t
"
if (fo
o
= &
b
ar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type:
fix type_bits() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
shift_to
_
zero: do
a small clean u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carp
e
nter
smatch
.
c: remove a bla
n
k line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an C
a
rpenter
d
b
: split return states by
null vs non-null para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
e
xtra: filter PARAM_VALUEs
w
i
th bo
t
h extra and real_
a
bs
o
l
u
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
math: handle -fo
o
bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpen
t
er
h
elper
:
in
t
roduce get stru
c
t an
d
membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: tin
y
speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
implied: s
m
a
ll cle
a
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
enter
ranges: handle bitwise A
N
D oper
a
t
i
ons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
r
eal_absolute: intr
o
duce get
_
real_
a
bsolu
t
e_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
avl:
a
dd a shor
t
cut for when
there are no stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
t
y
pe_val:
handle
|
=
t
ype
a
ssignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
d
b
: rena
m
e "function_typ
e
_info" table to "function_t
y
pe"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_dat
a
2
: if a user_dat
a
is equa
l
to non-us
e
r
d
ata
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
p
r
e-pro
c
es
s
: try fin
d
any include th
a
t
look
s
li
k
e it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpente
r
comparison: remove
s
ome local_
d
ebu
g
in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db/fix
u
p
_
kernel
.
sh:
write to the temporary D
B
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
extra: f
i
x type is
s
ue handl
i
ng ++= and
-
-
= opera
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: remove
uncommitted funct
i
on call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
math: fix handling of
siz
e
of() __le
1
6 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math:
handle real_absolu
t
e v
a
riables more accurate
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
r
eal_absolute: ignore iterator pre
s
ta
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
helper:
In expr_to_str() remo
v
e extra pa
r
enthesis around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpen
t
er
db
:
introduce sql_inse
r
t_da
t
a_inf
o
_v
a
r_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
d
b
: u
s
e "e
x
t
ern" inste
a
d of
t
h
e
file n
a
me
fo
r
globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse: introduce parse_error
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
u
ser_
d
ata2: handle
functions t
h
a
t
merely ret
u
rn p
a
sse
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
h
o
oks: in
t
roduce ASS
I
GNMENT
_
HOOK_A
F
TER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpenter
db: give
u
p ha
n
dl
i
n
g
fu
n
ct
i
o
n
pointers
i
f t
h
ere are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2
:
remove some debug printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Ca
r
penter
u
ser_data2: don't set
the fu
n
ction itself to user_
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan C
a
rpen
t
er
user_d
a
t
a
2
:
improve handling when we return use
r
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpenter
f
un
c
tio
n
_hooks:
don't mark
it a
s
impossible if a function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Da
n
Carpent
e
r
compari
s
on: modify the links
at at start of a
n
ass
i
gnment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carp
e
nter
db: cleanup get_row_
c
ount(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpe
n
ter
implied: rename a
f
unc
t
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an Carpenter
esta
t
e: add an es
t
a
t
e_is
_
emp
t
y() funct
i
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
db/kernel
.
no_inline:
d
on't parse t
h
e bi
t
e swap funct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
ker
n
e
l: parse ATOMIC_
S
ET() manual
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpenter
db/kernel
.
return_fixes:
a
dd
some m
o
re fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
db/fixup_kernel
.
sh
:
h
a
ndle
_
_
kerne
l
_wri
t
e() a bit better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
er
vim_db: handle old
e
r vers
i
ons of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/fixup_kernel: handle
__builti
n
_bs
w
ap6
4
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
rpe
n
ter
func
t
ion_hooks: change
o
r
d
er of how db verse im
p
l
ied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
C
arpen
t
er
p
aram_limit: don't insert empty
states into
the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n C
a
rpenter
range
s
: use a ha
c
k arou
n
d so when me
r
ging ranges of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
ty
p
e_val:
fix a memor
y
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
C
a
rpenter
func
t
ion
_
hooks
,
db: h
a
ndle
P
A
RAM_
L
IMIT
f
or struct
memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nte
r
implie
d
: fix a bug ha
n
dling parameter im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Car
p
enter
impli
e
d: add more debug inform
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpen
t
er
db: sor
t
re
t
ur
n
_states by f
i
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flo
w
:
t
i
n
y cleanup h
a
ndl
i
ng assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Car
p
enter
f
l
ow:
remove an unneeded condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n
Car
p
enter
flow
:
ren
a
me a variable "tm
p
"
-> "right"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carp
e
nter
kernel
.
ignored_m
a
cr
o
s: add LASSERT() f
r
om lus
t
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpen
t
er
f
u
n
ction_hooks,
d
b: u
s
e
IN
T
ERNAL as the
m
a
rk
e
r for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpent
e
r
db: handle function poin
t
ers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
u
s
er_d
a
ta2: ma
t
h: function c
a
lls sho
u
l
d b
e
h
andled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
math:
f
ix a ty
p
e issue
with
MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan
C
a
rpenter
untra
c
k
e
d_par
a
m
: functions that are too
h
airy are untracka
b
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Da
n
C
a
rpenter
ad
d
ress: simpl
i
fy is_non_
n
ull_a
r
ray()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpe
n
ter
t
y
pe
_
val
:
u
s
e the correct type in
g
et_
d
b_type_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arp
e
nter
impli
e
d: fix
a
bug with borrowed im
p
lication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpent
e
r
flow: ha
n
dled
d
eclared l
a
be
l
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
rang
e
s: r
e
ad u
6
4ma
x
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpen
t
e
r
sma
t
ch: re
m
o
v
e
t
e
s
ts
t
o
see if a
n
array is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
arpe
n
ter
extra
:
hand
l
e "if (a + b < a) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
s
lis
t
: S
i
lenc
e
a smatch
w
arnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
d
e
bug:
add the __smatch_absolut
e
() ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carp
e
nter
b
uf_size: Usi
n
g plai
n
inte
g
er as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
db
:
Using pl
a
in
intege
r
a
s
NULL pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Car
p
enter
ast-
m
ode
l
: Using plain in
t
eger as
NUL
L
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
debu
g
:
add
a
__s
m
atch_absolute
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
use
r
_dat
a
: short
c
ircuit a
b
unch of code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
t
e
r
d
m
a
_mapping_error: add p
c
i
_dma_mapping_err
o
r() to t
h
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
continue_v
s
_break: add
it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
smatch_address: do
n
't crash on invalid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpent
e
r
*new* continue_
v
s_brea
k
: compla
i
n if
c
o
ntinue is used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
r
pen
t
er
smatch
.
h: reserv
e
some db types for
l
a
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
smatch
.
h
: shuffle some decl
a
ra
t
ions around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
sm
a
t
c
h
.
h: silence a compile warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
pent
e
r
capped: set it t
o
uncappe
d
if it's
modified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
b
/
f
ixup_kernel
.
sh: work around
for __to_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/
f
ixup_kernel
.
sh: work around f
o
r gfs2_ea_find
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
db/kernel
.
return
_
fixes: spec
i
f
y
some functi
o
ns tha
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
implied
:
add
m
ore in
f
orm
a
tion to the
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug: print
i
f
you give a bad check name to __smat
c
h_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch_data/win
e
: u
p
d
ate
wine
d
at
a
files
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpent
e
r
extra: add more
p
a
r
a
meter dere
f
eren
c
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
math:
don't crash on
i
n
valid
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
user_d
a
ta2:
skb-
>
data is
n
ot user
d
ata,
s
kb->data[0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
t
ype
_
value: it doesn't make se
n
s
e
to talk about t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Ca
r
pent
e
r
extra: im
p
rove ho
w
"if
(foo
& ~0x
F
)" is
h
a
n
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math
:
igno
r
e byte swaps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
penter
flo
w
: handle whi
l
e (42) {
.
.
.
} loops better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next