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
states: fix a bug handling negate
2019-02-12
Dan Carpenter
states
:
fix a bug handling negate
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpenter
e
q
uiv: update "o
t
h
e
r" names as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
C
ar
p
enter
buf_comparison
:
re-write to be more fl
e
xible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/ker
n
el
.
return_fix
e
s: add some more retur
n
f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
arpenter
d
b
/
vim_db: don
'
t complai
n
when th
e
fi
l
e is not fou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
db/create_db
.
s
h
: don't
c
omplain wh
e
n -p=<
p
roject> i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Carp
e
n
ter
db/fixup_ker
n
e
l
.
sh: fix up stuff f
r
o
m the
u
nsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
va
l
idation: update a fe
w
te
s
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Car
p
en
t
er
type: commit
som
e
missing p
i
e
c
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
an C
a
rpenter
extra: s
m
al
l
spe
e
dup
i
n set_
p
aram_h
a
rd_max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
hel
p
er:
f
i
x expr_to_chu
n
k
_helper() for st
r
uct member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
co
m
parison:
print a "%s" string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carp
e
nt
e
r
c
onstr
a
i
nts: remo
v
e d
e
bugging
and use the
s
tripped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Car
p
e
n
ter
db: improve recording
com
p
ar
i
sons to
p
a
r
a
m
eter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
en
t
er
i
m
p
li
e
d:
r
emove
s
ome duplicate d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
p
e
n
ter
real_ab
s
ol
u
te: do
n
't sto
r
e data for a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
a
r
p
e
n
t
er
sval: remove an extr
a
spac
e
c
haracter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
t
e
r
type: make pointers unsi
g
ned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
an Carpente
r
e
xtra
:
tight
e
n cano
n
i
cal for
l
oop
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
extra: f
i
x function co
m
parison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Car
p
ent
e
r
ranges:
impro
v
e cas
t
ing negatives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Da
n
Carpenter
i
mplied: don't
use incom
p
lete
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implications: re
m
ove a
magic number
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carp
e
nte
r
db: show
co
m
parison st
r
ings
fo
r
conditio
n
al returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: do
n
't store
recursive
s
tru
c
t member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
an C
a
rpe
n
te
r
type: handle pointer
t
ype correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
extra/u
n
t
racked_param
:
m
a
r
k
lost pa
r
a
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
a
ddress: return unknown if we can't fig
u
re
out t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
Dan C
a
rpenter
implie
d
: tweak s
o
me debug statem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carp
e
nter
expr
e
ssions:
p
a
rs
e
"$0->foo
.
bar" co
r
rectly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
rpe
n
ter
re
t
urn_to_param: use iden
t
->len
i
n
stead of strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
pa
r
am_set: h
a
ndle m
t
ag assi
g
nm
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
rpenter
assigned_expr:
make
it work for parameter a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
D
an Carpenter
e
quiv: use DB informat
i
o
n t
o
set
e
xtra state in equiv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n
Car
p
en
t
er
extra: impro
v
e get
_
other_name_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Da
n
Carpe
n
t
e
r
e
x
tra: futz arou
n
d wit
h
get_
o
ther_name_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpen
t
er
helper: improve get_mem
b
e
r_name() for an
o
n
y
mous struc
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Ca
r
penter
db:
e
s
cape ne
w
l
i
n
e
s
in sav
e
_cache_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Ca
r
p
enter
r
anges: constify call_results_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra: filter really long unused param value
i
nformation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carpenter
extra
:
use ident->le
n
instea
d
of call
i
ng
s
trlen(ident
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
db:
d
o
n
't create new spli
t
s in
s
plit_positive
_
from_negat
i
ve()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arpenter
extra: fix returned_struct_me
m
bers(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
param_used
:
fix handling of calle
d
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
extra: export i
n
_
warn_
o
n_macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
p
en
t
er
typ
e
:
misc s
m
all clea
n
ups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
enter
type: fix get_me
m
ber
_
from_s
t
ring()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
Carpente
r
kpatch
.
sh: fix sp
e
lling s/ammend/amend/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: add a short cut
i
n
ge
t
_real_base_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n Carpe
n
t
e
r
implied: Preserve ->ha
r
d_
m
ax for fake history st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpe
n
ter
extra:
pres
e
rv
e
h
a
rd_max after c
o
mpar
i
son
s
to zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
penter
slist:
m
ake s
m
->childr
e
n a smaller type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
rpen
t
er
slist: r
e
n
a
me va
r
ia
b
les in __me
r
g
e_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
s
l
i
s
t
:
handl
e
t
h
e
fas
t
pat
h
in __merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
s
l
ist
:
simplify __merge_st
r
ee()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpenter
n
ospec: don't record no
s
pec
p
a
r
ameter in
f
o
w
hich hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
dma_
m
ap
p
ing_error
:
update to only
c
omplain
a
bout legacy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-11
John Levon
Remove
-
Wempty-character-constant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
Dan Carpenter
smatch: add a
-
-succeed option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Ad
d
i
l
l
umos p
r
ojects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
o
h
n
Levon
C
onve
r
t
some sm_msg() into
mor
e
specif
i
c reporting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Co
n
vert
s
m_msg
(
) with an error: prefix in
t
o
sm_error()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
C
onvert all sm_
m
sg("warn:
.
.
" into sm_wa
r
ning()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Regularis
e
error re
p
orting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carpe
n
ter
db: make escape_newlines(
)
take a const pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an
Carpenter
parse
.
h
: cr
e
ate s
t
mt_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpen
t
er
constraints: escape SQ
L
sta
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Carpent
e
r
sta
t
ement_count: r
e
cord
h
o
w many sta
t
ements there ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Da
n
Carpenter
e
x
tra/db: silen
c
e an invalid SQL wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan
C
a
rpenter
buf_size: fix handling of 1
element arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpent
e
r
d
b
:
s
ql d
e
bug mode was executing the SQ
L
twic
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
test_bit: add te
s
t_an
d
_se
t
_
bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug: introduce __sm
a
tch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpe
n
ter
db: don't
s
ave s
t
r
u
ct members for i
n
t
e
gers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
implied: remove an
unnecessar
y
N
ULL c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
n
u
l_terminator: e
x
po
r
t the is_nul_terminated() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
e
nter
kpatc
h
: use git instead of t
r
ying
t
o create
d
i
ffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
s
truct_assignment:
h
andle
unions as
w
ell
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
missin
g
_b
r
e
a
k: turn it
off by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
fre
e
_strict: fix some fa
l
se
p
o
si
t
ives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
Revert "Look across the
entire
c
ompil
e
line for
smat
c
h
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Look acr
o
ss the entire co
m
pile line f
o
r smatch arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
s
pa
r
se: add -Wempty-
c
haracter-constant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
sparse: add -Wbig-
c
o
nstants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
spars
e
: add -W
n
o-non-ansi-func
t
ion-decl
a
ration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
p
arse: correctly handle "-D foo" an
d
"-
U
foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oostenryck
fi
x
: spaces
i
n macro
d
efinition on the
comma
n
d line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn
Levon
I
ntroduce sk
i
pped_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix escape_ne
w
lin
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
sparse:
lib
.
c
s
hould handle being built 32-b
i
t, compilin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
sparse:
d
e
fine __x86_64; som
e
s
o
f
tware c
h
eck
s
for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn
L
e
v
on
Allow
addit
i
onal CFLAGS
t
o be speci
f
i
e
d, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpente
r
t
rinity:
P
roof
o
f co
n
cept to au
t
o-generate trini
t
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carp
e
nter
us
e
r_d
a
ta: rename
to smatch_ker
n
el_user_
d
ata
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
C
a
r
penter
assigned_e
x
pr: rename to smatch_assign
e
d
_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smat
c
h: m
a
ke the --enabl
e
/di
s
a
ble options take str
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
clock()
i
s al
r
e
a
dy defined
on i
l
lumo
s
, so ren
a
me
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Ignore "#ident" a
s
fo
u
n
d in some old so
u
rces
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Use $(CFLAGS) when compiling
s
match
.
c itself
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch_nul_terminate
d
: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next