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
capped: stop marking everything as capped
2019-02-18
Dan
Carpent
e
r
nospec: use stat
e
men
t
count to mark things as nosp
e
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
arpenter
nospec: pr
e
empt_disab
l
e() st
o
ps
s
p
e
cu
l
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
a
r
p
e
nte
r
buf_size: improve cal
l
oc()
h
and
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Ca
r
pent
e
r
s
mdb
.
py: parse ptr_max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
Carpe
n
ter
o
f
f_by_one_rela
t
ive: re
m
ove
s
o
m
e
debug
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan C
a
rpenter
extra: in P
A
RAM_LIMIT/FILER
t
h
e
n
set both
the name
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
C
arpenter
zero_to_err_ptr: don't warn on impossible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan C
a
rpen
t
er
estate:
delete esta
t
e_filt
e
r_ra
n
g
e
/sv
a
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan
C
a
rpenter
kernel:
f
ix type
b
ug
h
and
l
e IS_ERR() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Car
p
enter
db: don't pretend to dereference in
t
e
g
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
testing_i
n
de
x
_after
_
u
se:
r
emove deb
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
enter
capped:
don't set cap
p
e
d
for
k
now
n
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
an Car
p
en
t
er
extra: tweak hard ma
x
in conditions an
d
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpe
n
ter
e
x
t
ra
:
pass hard
m
ax across function bound
a
ries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
an Carpen
t
er
db
:
split zero and n
o
n-zero returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Carpenter
im
p
l
i
ed: rem
o
ve
s
o
m
e
dea
d
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carpent
e
r
implied: remove a nonse
n
se
l
imitation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpe
n
ter
testing_index_af
t
er_use: silen
c
e som
e
false po
s
iti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
implied: remove the --debug-implied option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
s
t
ates:
fix a bug hand
l
i
n
g ne
g
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
equiv: update "other" names as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpent
e
r
b
uf_com
p
a
r
i
son: re
-
write t
o
be mor
e
flexibl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Carp
e
nter
d
b
/kernel
.
ret
u
rn_fixes:
a
dd some more return fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Carpenter
db/vim_db: don
'
t complain
w
hen the file is not found
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
p
ente
r
d
b/c
r
eat
e
_db
.
sh: don't complain
when -p=
<
pr
o
j
ect> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carp
e
n
t
er
db/fixup_ke
r
n
el
.
sh: fix up st
u
ff from
t
h
e
unsig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
ar
p
e
n
ter
validation
:
u
pdate a few te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n Carpenter
t
ype:
commit some missing pieces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
extra:
sm
a
ll spee
d
up in set_param_har
d
_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
helper:
f
ix expr_t
o
_chunk_he
l
per() for struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nter
comparison: print a "%s"
string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
C
a
rpenter
constraints: remove
d
ebugging and use t
h
e stripped
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
db: im
p
r
ove recording compariso
n
s t
o
parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
implied: remove some d
u
p
l
icate debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpente
r
rea
l
_absolute: d
o
n't sto
r
e d
a
ta for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
sval: remove an e
x
tra sp
a
ce
c
har
a
cte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
type:
make
p
o
i
nte
r
s unsigne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
extra: tight
e
n
cano
n
ical for loop handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Carpenter
extra
:
f
ix functio
n
c
ompari
s
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n Car
p
ent
e
r
r
anges: improve casting ne
g
atives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n
C
a
r
pen
t
er
i
m
p
l
ied:
d
o
n't use incomplete states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan C
a
rpenter
impli
c
at
i
ons:
rem
o
ve
a magic
n
umber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpe
n
ter
d
b: show c
o
mpar
i
son strings for conditional return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
a
rp
e
nter
db: do
n
't
s
tore recur
s
iv
e
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type: hand
l
e poi
n
ter type correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpent
e
r
ext
r
a/untrack
e
d
_
pa
r
am: mar
k
lost parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Car
p
e
n
ter
address: return unkn
o
wn i
f
we can't figure
o
ut the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan C
a
rpenter
i
m
plied: tw
e
a
k so
m
e
debug statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Carpe
n
ter
exp
r
ess
i
ons:
p
a
r
s
e
"$0->
f
oo
.
bar" correctly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carp
e
nte
r
retu
r
n
_to_param: use ident->len instead of strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpent
e
r
p
aram_set: handle mtag assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carp
e
nter
ass
i
g
n
ed_expr: m
a
ke
it work for parameter
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
D
a
n Carp
e
nter
equiv: use DB
i
nformation
to se
t
ext
r
a st
a
te i
n
equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Ca
r
penter
extra: improve get_oth
e
r
_name_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
e
x
t
ra:
f
u
t
z aro
u
nd with get_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
h
el
p
er: improve get_me
m
ber_name() for anon
y
mo
u
s structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpen
t
er
db: esca
p
e new line
s
in
save_cache_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpenter
ranges: co
n
stify
call_res
u
lts_to_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpe
n
ter
extra: f
i
lter really
l
ong unuse
d
param value information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n
C
arp
e
n
ter
extra: us
e
ident-
>
len
i
nstead o
f
calling strle
n
(id
e
nt
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Ca
r
p
enter
db:
do
n
't cr
e
ate new splits in split_positiv
e
_
f
rom_negative(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
C
arpenter
extra: fix retur
n
ed_struct_
m
embers()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
e
r
param_used: fi
x
handling of called functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
Carpen
t
er
extra: export in_warn_on_ma
c
ro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
e
nter
type: mi
s
c small
cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpe
n
ter
ty
p
e: fix g
e
t_m
e
mb
e
r_from
_
string
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
kp
a
tch
.
sh: fix
spelli
n
g
s/a
m
mend
/
amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
C
a
rpenter
type: add a short cut in get_
r
e
al_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Ca
r
p
e
nte
r
im
p
lied
:
Preserve ->hard_max
for fake
history states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
extra: preserve hard_
m
ax a
f
ter co
m
parisons to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
C
arpenter
sli
s
t
:
mak
e
s
m
->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
variables in __merge_s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
s
l
ist: handle the
fast p
a
th in
__merge_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
Carpenter
slist: sim
p
lif
y
__merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpen
t
er
n
ospec: don't
r
e
c
o
r
d nos
p
ec par
a
m
ete
r
info whic
h
h
a
sn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
D
a
n
C
a
rpenter
d
m
a_mappin
g
_e
r
ror: u
p
date t
o
only complain about legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-11
John
L
evo
n
Remove -Wemp
t
y-character-consta
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan Car
p
enter
smatch: add a
-
-succeed opti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn L
e
von
Add i
l
lum
o
s projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert som
e
s
m
_m
s
g
() i
n
to more specific report
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John
Levon
Conver
t
sm_msg(
)
wi
t
h
an er
r
or: prefix into
sm_err
o
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert all
s
m_msg
(
"
w
arn
:
.
.
"
into sm_
w
arning()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Levon
Regularise error
reporting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan Car
p
enter
db: make escape
_
newline
s
(
)
take a const pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
parse
.
h
:
c
r
e
ate s
t
m
t
_ge
t
_p
a
rent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
const
r
ain
t
s:
e
scape
SQL statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
stateme
n
t
_count: record
h
ow
m
an
y
statements there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
e
x
tra/db: sil
e
nce
an inva
l
i
d SQL war
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
D
an C
a
rpenter
buf
_
size:
f
ix handling
of 1 elemen
t
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpe
n
ter
db: sql debug mode was execut
i
n
g
the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Ca
r
pent
e
r
t
e
st_bi
t
: a
d
d test
_
and_set_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug:
i
n
t
r
oduce
__smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
e
nter
d
b
:
don't save struct members for integ
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carp
e
nter
implied: remove an un
n
ecessary NULL
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carp
e
nter
nul_term
i
nator: export the is_nu
l
_terminated(
)
funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpen
t
er
kpatch: use git in
s
tead of trying to create diffs b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
struct_as
s
ignment: handle unions as we
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
e
nter
missing_bre
a
k: tu
r
n it off by
d
e
f
ault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
free_s
t
rict: fix so
m
e false pos
i
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an
Carpenter
Revert
"Look
acros
s
the enti
r
e
c
ompile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next