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
math: handle offset calculation better
2017-03-15
Dan Ca
r
penter
parse
_
call_
m
ath: work
a
round
f
o
r loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
l
e
ak
s
: don
'
t compl
a
in if we ove
r
write NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
free:
ignore im
p
ossible
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
s
hift_t
o
_
z
ero: make the error
m
e
s
sage mo
r
e info
r
mative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
p
e
n
ter
t
est_bit: add test_and_cle
a
r_
b
it()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
s
mdb
.
py: print the retur
n
_implies v
a
lue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
db/fixup_kerne
l
.
sh:
i
gnore do_loop_
r
eadv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Car
p
enter
ex
t
ra:
set
hard
ma
x
if a function is calle
d
with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rpe
n
ter
extra
:
fix
h
andling
o
f known con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Ca
r
p
e
nter
param_
l
imit
:
don't
s
et some un
c
hanged limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
d
b
:
p
revent slow downs splitting returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nter
d
b: set par
s
e_e
r
ror if the SQL fa
i
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
D
an Carpenter
param_set: handle if the parent
was
s
et
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan C
a
r
p
enter
bu
f
_
siz
e
:
fix type_by
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpent
e
r
db: fi
l
ter pointer
c
al
l
s
b
y
f
u
n
cti
o
n signatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
impli
e
d: reve
r
t "tiny s
p
e
e
d
up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
a
ssign_vs
_
compare
:
warn abo
u
t "i
f
(foo = &bar)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
ty
p
e: fix ty
p
e_bi
t
s() fo
r
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
s
hift_to_zer
o
: do
a
small clea
n
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
er
s
m
atch
.
c
:
rem
o
v
e
a bl
a
nk l
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
db: sp
l
it r
e
tur
n
states
by null vs n
o
n-null parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Ca
r
pent
e
r
extra:
f
i
lter PARAM_VALU
E
s with both extra and real_absol
u
te
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpen
t
er
m
a
th: handle -foo
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
pent
e
r
helper
:
introd
u
c
e
g
e
t struct and member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
implied: tiny spe
e
d up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
implied: small cl
e
an
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Ca
r
penter
ra
n
ges:
handl
e
b
itwise
AND operations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
real_ab
s
o
lute:
i
n
t
rodu
c
e get_rea
l
_absolute_var_sym
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
avl: add a short
c
ut fo
r
when th
e
re
are no sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
type_
v
al
:
handle
|= ty
p
e
assign
m
e
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
db: rename "function_type_info"
t
able
t
o "
f
unction_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
user_data2: if
a user_data is e
q
ual to non-user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
C
arpenter
pr
e
-process: try find an
y
inc
l
ude that looks like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Ca
r
penter
c
o
mparison: re
m
ove so
m
e local_debug in
f
ormatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
db/fixup_kernel
.
s
h
: write
t
o th
e
t
em
p
orary DB instea
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
extra: fix t
y
pe is
s
ue handling ++= and --= o
p
eratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
m
ath
:
remo
v
e uncom
m
itted
f
unction call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
r
penter
math:
fi
x
handling of si
z
eo
f
() _
_
le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Car
p
e
n
ter
math: handle real
_
absolute va
r
i
a
bles
m
or
e
accura
t
ely
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Carpente
r
real_absolute:
i
g
nore
i
ter
a
tor
p
re
s
tatements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
helper: In expr_to_str() remov
e
extra parenthesis around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b
: introduc
e
sql
_
insert_d
a
ta_info_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
C
a
rp
e
nter
db: use "extern"
in
s
te
a
d of t
h
e f
i
le name fo
r
global
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
spa
r
s
e: in
t
roduce parse_er
r
or va
r
iab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
u
ser_data
2
: handle func
t
i
o
ns that merely re
t
ur
n
p
a
ssed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
an Car
p
enter
hooks: introduc
e
ASSI
G
NMENT
_
HOOK_AFTE
R
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpente
r
db: give up handling function pointers
i
f there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
use
r
_data2: re
m
ove some debug prin
t
f
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
D
an Carpenter
user_da
t
a
2
: don't set th
e
function itself to
u
ser
_
dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Ca
r
p
e
nter
user_data
2
:
improve handling when we return user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
Dan Car
p
enter
function_hooks: d
o
n't mark i
t
as i
m
poss
i
ble if a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpe
n
ter
comparison: mod
i
fy the links at at start of an assignment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Car
p
ent
e
r
db: cleanup get_
r
ow_cou
n
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
i
m
pli
e
d: ren
a
me a
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
C
a
rpenter
estate: add an est
a
te_is_empty()
f
un
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
n
ter
db/
k
ernel
.
no_inli
n
e
:
d
o
n't p
a
rse the bite
swap functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
ar
p
e
n
ter
k
ernel:
pa
r
se ATOMIC_
S
ET() manually
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
return_fixes: add some more fixe
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpe
n
ter
db/fixup_ker
n
el
.
sh: handle __
k
ern
e
l_wr
i
te
(
)
a
bit bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
vim_db:
handle older
versio
n
s
of
v
im
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n
Carpen
t
er
db/fixu
p
_k
e
rn
e
l
:
handle _
_
builtin_bs
w
ap64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carp
e
nter
f
u
nct
i
on_hooks: ch
a
nge ord
e
r of ho
w
db verse implie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpenter
pa
r
am_limit: don't
insert e
m
pty states
i
nto the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
ranges
:
use a hac
k
ar
o
und so when
m
erging ranges
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carp
e
nter
typ
e
_val: fix a memor
y
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Da
n
Carpenter
function_ho
o
k
s
, db:
h
a
n
dl
e
PARAM_LIMIT
f
or
struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
implied: fi
x
a
b
ug
h
a
ndling parameter implicat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
impl
i
ed: add more debug
i
nformatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Da
n
Carpente
r
db: sort return_states by fi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
fl
o
w: tiny cleanup
h
andlin
g
assignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow:
re
m
ove an unneede
d
co
n
dition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n
Carp
e
nter
flow: re
n
ame a variabl
e
"tmp"
-
> "right"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan
C
arpe
n
ter
kernel
.
ignored_
m
acros:
a
dd LASSERT() from lustre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
D
a
n Carpent
e
r
function_hooks, db:
use INTERNAL as the
marker for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db:
h
andle funct
i
o
n pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us Villem
o
es
c
he
c
k
_kernel_printf
.
c: %pj ended up
b
eing %pG
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
Villemoes
chec
k
_kernel_printf
.
c: handl
e
new defin
i
tion
o
f KERN_CO
N
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoes
check_kernel_prin
t
f: check that
%
pg ge
t
s a
bloc
k
_device
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Ca
r
penter
user_data2:
m
a
t
h: func
t
ion calls should
be handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Ca
r
p
e
nter
math: fix a
type issue w
i
th
MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpenter
un
t
rack
e
d
_para
m
: functi
o
ns that are too h
a
i
ry are unt
r
ackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n C
a
r
p
ente
r
addr
e
ss:
s
i
m
p
l
ify is_
n
on_null_
a
rr
a
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Ca
r
penter
type
_
val: use the
c
o
rrect type in get_d
b
_
t
yp
e
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carp
e
nter
implied:
f
ix a b
u
g wi
t
h borrowe
d
implicati
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan
Carp
e
nt
e
r
f
l
ow: ha
n
dled dec
l
a
red labels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ra
n
ges:
read u64
m
ax correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
smatch: remove tests t
o
see
i
f an array
i
s NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
arpenter
extra: ha
n
dle
"
if
(a + b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n C
a
rp
e
nter
slist: Si
l
e
nce a sm
a
tch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an Carpenter
d
e
bug:
add the __
s
mat
c
h_absolute() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Carpenter
buf_size: Using plain
i
nteger as NULL p
o
in
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Ca
r
penter
d
b
:
Us
i
ng plain integer as NU
L
L
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
as
t
-model: Using
p
lain i
n
teger
a
s NULL pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
debug: add a __smatch_ab
s
olute(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
user_d
a
ta: sh
o
rt circuit a bunch
o
f c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
dma_mappin
g
_er
r
or: a
d
d pc
i
_dma_mapping_e
r
ror()
to
this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
continue_vs_bre
a
k: add it checklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
smatc
h
_add
r
ess: don't
crash on invalid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpent
e
r
*new* co
n
tinue_vs_break: com
p
lain i
f
continue is u
s
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smatch
.
h: reserve
s
om
e
d
b
t
y
p
es for later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next