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
mtag_map: use expr_to_mtag_offset()
2019-02-26
D
a
n
Carpenter
address
:
many array addre
s
ses can
be marke
d
as
vali
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpente
r
addre
s
s: get_
m
ember_offset_from_de
r
ef
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpent
e
r
ma
t
h: move
m
o
r
e
s
tuff to ge
t
_rl_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
s
tring_
l
ist:
make
insert_string() return
f
alse if it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
s
trin
g
_list: call strcmp() once instead of twic
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n C
a
rp
e
nter
math: d
o
n't allo
c
a
te the range_list if not neces
s
ary
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan C
a
rpenter
m
ath: rename _get_
r
l()
=>
get_rl_h
e
lper()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
implied: bail earli
e
r
o
n parsing
paramet
e
r limita
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Da
n
C
a
r
p
en
t
er
math: re-w
r
i
t
e _
g
et_sval() t
o
pass the results as a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: speed up add_po
s
sible_sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: a poi
n
t
e
r i
s
eq
u
al to itself i
n
cmp_possible_
s
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan C
a
rp
e
nter
lo
c
ki
n
g: spin_try
l
ock() r
e
turns
1 on success
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpe
n
ter
slist: speed up copy
_
possibl
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Ca
r
pent
e
r
s
l
ist: re
n
ame cmp_sm_st
a
tes() to cmp_
p
os
s
ib
l
e
_
sm
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpenter
address: im
p
rove ha
n
d
l
ing
of __smatch_impli
e
d(&foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpenter
nospec: use statemen
t
c
o
unt
to
m
ark things
a
s nospec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpe
n
ter
nospec: preempt_dis
a
ble()
s
tops sp
e
cu
l
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carp
e
n
t
e
r
buf_size: improve callo
c
() ha
n
dling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan C
a
r
p
enter
smdb
.
py: par
s
e
ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
off_
b
y_one_relative: remove some d
e
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
Carp
e
n
t
e
r
extra: in
P
A
R
AM_LIM
I
T/
F
ILER the
n
se
t
both t
h
e na
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
arpenter
ze
r
o_
t
o_err_ptr: don't
w
arn on
impossible pa
t
h
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
D
a
n Carpe
n
ter
estate: dele
t
e estate_filter_
r
ange/sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpenter
kernel
:
fi
x
type bug handle IS
_
ERR(
)
a
nd
f
riends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan C
a
rpenter
db: do
n
't pretend t
o
d
e
ref
e
rence integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan
C
a
r
pe
n
t
er
testi
n
g_i
n
dex_after_use:
remove
debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
en
t
e
r
capped: don't set cap
p
ed for known values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
extra: t
w
eak hard
max in conditi
o
ns
and
ma
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Ca
r
penter
extra: pass
h
ard m
a
x acros
s
fu
n
c
t
ion bo
u
n
d
aries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nter
db: split zero and
non-zero returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Ca
r
pen
t
er
implied:
r
emov
e
s
o
me dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpente
r
implie
d
: r
e
m
o
ve
a no
n
sense l
i
mit
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n
Carpen
t
er
test
i
ng_
i
ndex_after_use:
s
ilence some false
p
osit
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
i
m
plied: re
m
o
v
e
t
h
e --debug-impl
i
ed
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
stat
e
s: fix
a
bug handling negate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpe
n
ter
equiv
:
u
p
date "
o
ther" names as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpent
e
r
b
u
f_comp
a
r
i
s
on: re
-
w
r
ite
t
o
b
e
more flexible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
penter
db/ker
n
e
l
.
ret
u
rn
_
fixes: add some m
o
re return
fixe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/vim
_
db: don't complain when the file is not found
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/create_db
.
sh: don't complain
when
-p=
<
proje
c
t> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Ca
r
penter
db
/
fixup_ke
r
nel
.
sh: fix up stuff
f
r
om the unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpente
r
valid
a
t
i
on: update a few tes
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpenter
type: commit some
m
i
s
sing piece
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Carpenter
e
xtra:
small sp
e
edup in set_param_hard_m
a
x()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
helper: fix expr_to_
c
hunk_helper
(
) fo
r
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
comparison: print
a
"%s" string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
constr
a
ints:
r
emove debug
g
i
n
g and use the str
i
p
p
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
db: improve recor
d
i
ng comparisons to par
a
me
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
implied: remove some
duplic
a
te debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an
C
arpen
t
er
real_absolut
e
: don
'
t s
t
ore
d
ata for arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
s
v
al: remove an
e
x
t
ra
s
pa
c
e char
a
cter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
e
n
t
e
r
type: make poi
n
ters unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Ca
r
pen
t
er
extra:
t
ighten canonical for loo
p
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
ex
t
ra
:
fix function comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Da
n
Carpenter
rang
e
s:
i
mprove casting negative
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Da
n
C
a
r
pent
e
r
im
p
lied: don't use inc
o
mplete states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Ca
r
p
e
nter
imp
l
icat
i
ons: r
e
move a magic
number
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Ca
r
penter
db:
s
how comparison strings fo
r
cond
i
tional return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
C
a
r
pente
r
db: don't store recursive st
r
u
ct member
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
t
ype: ha
n
d
l
e p
o
inter type correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
a
rpenter
extra/u
n
tr
a
c
k
ed_param: mark lost pa
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
address:
r
e
tur
n
unknown if we can't
f
igure out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan Carpenter
impli
e
d: twea
k
so
m
e debug s
t
ate
m
ent
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Ca
r
penter
express
i
ons:
p
a
r
s
e "$0->foo
.
b
a
r
"
c
orrectly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an Carp
e
nter
r
eturn_
t
o_param: use
i
dent->len
i
n
stead of strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
C
a
rpenter
param_se
t
: handle mtag assig
n
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
a
s
signe
d
_expr
:
mak
e
it work for parameter
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
D
a
n Carpenter
equiv: u
s
e
DB informa
t
ion to set extra
state i
n
equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
e
x
t
r
a: imp
r
ov
e
get_
o
ther_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n
C
a
rpenter
extr
a
:
fut
z
aro
u
nd with get_o
t
her_n
a
me_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
he
l
per: imp
r
ove
g
e
t
_member_name(
)
fo
r
anonymo
u
s stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n
C
arpent
e
r
d
b: escape
n
ew li
n
es i
n
save_ca
c
h
e
_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
ranges:
co
n
s
t
i
fy ca
l
l_results_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
ext
r
a: f
i
lter really long
u
nused
para
m
value information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra: use ident->len instead of calling strlen(ident
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
db
:
d
on't create new splits in spl
i
t_positive_from_negati
v
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
extra: fix returned_str
u
ct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
rpenter
param_
u
sed: fix handling
o
f called functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carp
e
nter
e
xtra: ex
p
ort in_wa
r
n_on_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: mis
c
small cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpent
e
r
t
y
pe:
f
i
x
get_m
e
m
b
er_from_s
t
ring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
Carpenter
kp
a
tch
.
sh: f
i
x spelling s/
a
mmend
/
amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
C
a
rpenter
type: add a short
cut
in get_r
e
al_base_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
implie
d
: Preser
v
e ->
h
ard_max for
f
ake
h
i
s
tory
s
tat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
extra:
pr
e
serve
h
ard_max afte
r
comparisons to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpen
t
er
s
list:
make sm->children a s
m
a
ller type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
slist: rename variabl
e
s in
__m
e
r
ge_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
sli
s
t: hand
l
e the f
a
st path in __me
r
ge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpe
n
ter
sli
s
t: simplify _
_
m
e
rge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpent
e
r
nospec:
d
on
'
t
recor
d
nos
p
ec parameter
i
nfo which
has
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan C
a
rpen
t
er
dma
_
mapping
_
error: update t
o
only compl
a
i
n
about legac
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan Ca
r
p
ente
r
s
match: add a --succ
e
ed option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Da
n
Ca
r
p
enter
db
:
make escape_newlines() take a c
o
nst pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan C
a
rpenter
parse
.
h
:
cr
e
at
e
st
m
t_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpente
r
co
n
stra
i
n
ts: escape SQL
s
ta
t
e
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Da
n
C
a
rp
e
nter
statement_count: record how m
a
ny statements th
e
re ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/db:
s
ilence
a
n invalid SQL w
a
r
ning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan
C
arpen
t
er
buf_siz
e
:
fix ha
n
dling
o
f
1
element arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
D
a
n
C
arpe
n
ter
db:
s
ql debug mode was executing the
S
QL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test
_
bit: add test_and_s
e
t_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next