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
Dan C
a
rpenter
a
ddress: m
a
ny array
a
d
dresses can be mark
e
d as valid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Car
p
enter
ad
d
ress: ge
t
_mem
b
er_o
f
fset_from_d
e
ref()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
a
n
C
a
rpe
n
ter
math:
move more stuf
f
t
o
get_rl_sva
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpenter
string_list: make inser
t
_string
(
) retu
r
n
false if it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
Dan Carpen
t
er
string_list
:
call strcmp
(
) o
n
ce
i
n
stead of twi
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
an Carpenter
math:
d
on
'
t
a
llocate the range_list
if not necessary
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Ca
r
penter
ma
t
h: r
e
n
a
me _get_rl() => g
e
t
_
rl_hel
p
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
implied: ba
i
l e
a
r
l
ie
r
on pars
i
ng parameter lim
i
tat
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carpenter
math
:
r
e
-write _
g
et
_
sv
a
l() to pass the r
e
sults
a
s a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
C
arpenter
slist: spe
e
d up add_poss
i
ble
_
sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carpenter
slist: a pointer is equal to i
t
self
in cmp_p
o
ssible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
C
arpenter
lo
c
ki
n
g: spin
_
trylock() returns 1 on
su
c
cess
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n Carpenter
sl
i
st
:
sp
e
ed up c
o
py_poss
i
bl
e
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n Carp
e
nter
s
list:
rename cmp_sm_state
s
() to
c
mp_possible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpente
r
address: improv
e
han
d
li
n
g of
_
_smatch_
i
mplie
d
(
&
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Da
n
Carpenter
n
o
spec: use st
a
te
m
ent count to mark things as nospec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
a
r
penter
nospec: preempt_d
i
sabl
e
() s
t
ops specul
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
buf_size:
i
mprove ca
l
l
oc() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
D
an Carpenter
smdb
.
py: parse ptr_m
a
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpen
t
e
r
off_by_one_relative:
r
emove some d
e
b
ug
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Car
p
e
nt
e
r
extra: in P
A
RA
M
_LIMI
T
/FILER th
e
n
s
et both t
h
e name
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
D
an Carpenter
zero_to_err_
p
tr:
don'
t
warn on i
m
possible paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpente
r
estate: del
e
te estate
_
filter_range/sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carpent
e
r
kernel: fix
t
yp
e
bug handle IS_ERR() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
D
a
n Carpenter
db: don
'
t pretend
to deref
e
rence integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
t
esting_index_after_
u
se: remove debug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
capped: don't set cappe
d
for known val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
ex
t
ra
:
tweak ha
r
d max in cond
i
tions and
m
a
c
ros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
Carpenter
extra:
pass
ha
r
d max acr
o
s
s
fun
c
tio
n
bo
u
n
daries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
n
te
r
db: split ze
r
o and non-z
e
ro ret
u
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpen
t
e
r
impl
i
ed: remove some
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
implied: re
m
ove a nonsense limitat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
te
s
t
ing_index_after_use: silence
s
o
me false po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
n
t
er
i
mplied:
remove the --debug-implied
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpent
e
r
states
:
fix a bug handling negate
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
buf_com
p
a
r
ison: re-write to be more f
l
exible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Carpente
r
db/
k
ernel
.
return_fix
e
s: add som
e
more return fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpente
r
db/
v
i
m_d
b
: 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 C
a
rpente
r
db/create_db
.
s
h
: don't complai
n
when -p=<project> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Carpenter
db/f
i
xup
_
ke
r
nel
.
sh
:
fix
up stuff from the unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
validatio
n
: update
a few te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
arpenter
t
y
p
e
: commit some missing p
i
eces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
extra:
small
speed
u
p in set_param_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpente
r
helper: fix expr
_
to_ch
u
nk_help
e
r() for str
u
ct me
m
be
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
comparison: print a "%s" str
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
co
n
s
tra
i
nt
s
: remove de
b
ug
g
i
n
g and
use
the stripp
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpenter
d
b
: improve recordin
g
comparisons to par
a
me
t
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Ca
r
penter
implied: re
m
ove
s
ome duplica
t
e debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
r
eal
_
a
b
s
o
lute: don't store da
t
a f
o
r ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
sva
l
: remove an extra space characte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
ty
p
e: make poin
t
ers un
s
igne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carp
e
nter
e
x
tra: tighten canonical f
o
r loop handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
extr
a
: fi
x
function compar
i
sons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carp
e
nter
ranges
:
improve c
a
sting neg
a
ti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
Carpenter
implied: don't use incom
p
le
t
e states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
an Carpenter
implications: r
e
move a
m
agic n
u
m
b
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n C
a
r
p
enter
db:
s
ho
w
comparison
s
trings for condi
t
i
o
nal returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
penter
db:
don't
store rec
u
rs
i
ve struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type:
h
a
ndle pointer type
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Carp
e
nter
extra
/
u
ntracked_
p
aram: m
a
rk lost pa
r
ameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpe
n
ter
address: return unknown
if we can't
f
igure ou
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan C
a
rpenter
implied: tweak so
m
e debug statem
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Carpenter
expressions
:
parse
"
$
0->foo
.
bar" corr
e
ctly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
retur
n
_to
_
param:
use iden
t
->len instead of strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpenter
param_set: ha
n
dle mtag assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
rpenter
ass
i
gned
_
expr:
m
ake
i
t
work fo
r
parameter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpente
r
equ
i
v: use DB information to set extr
a
state in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan
C
a
r
pente
r
extra: improve get
_
other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan C
a
rpe
n
t
e
r
ex
t
ra: futz around wi
t
h
g
et_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Carpent
e
r
helper: imp
r
ove get_me
m
ber_name(
)
for anonymou
s
structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n
C
a
rpenter
db: es
c
ape new lines
in save_ca
c
he_data
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n
C
arpenter
r
ange
s
: constify cal
l
_resul
t
s_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra:
f
ilter
re
a
l
l
y long unu
s
ed param value in
f
ormation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
ex
t
r
a: use i
d
ent->len in
s
tead
o
f calling strl
e
n
(
ident
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
db: do
n
't
create new
s
p
lits in split_
p
ositi
v
e_
f
rom_negat
i
ve()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
Carpenter
extra: f
i
x returned_str
u
ct_mem
b
e
r
s(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpe
n
t
e
r
para
m
_used
:
fi
x
ha
n
dlin
g
of called f
u
n
c
ti
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
ex
t
ra: export in_warn_on_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: misc small cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arpenter
type: fix get
_
membe
r
_from
_
string
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n C
a
rpente
r
kpatch
.
sh: fix spelling s/ammend/a
m
end/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
Carpenter
ty
p
e
:
add a shor
t
c
u
t in
get_real
_
b
a
se_type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpe
n
ter
imp
l
ied: Preserve ->hard_max for
f
a
k
e history states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Ca
r
penter
extra: p
r
eserve hard_max
after
comparisons
to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
rpenter
slist: ma
k
e sm->ch
i
ldren a sm
a
ller type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Ca
r
penter
slist: r
e
n
ame var
i
ables in
_
_merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slis
t
:
h
andle the fa
s
t path in __merg
e
_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
s
list:
s
implify __merge
_
str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
D
an Carp
e
nter
nospec: don't record nospec pa
r
ameter inf
o
w
h
ich hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan Car
p
enter
dma_mapp
i
ng_error:
u
pda
t
e to on
l
y
c
o
mp
l
ain a
b
out
leg
a
cy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-11
John Levon
Remove -Wempty-chara
c
ter-constant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan Carp
e
nter
smatch: add a --
s
uccee
d
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Add i
l
lumos projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert s
o
me sm_msg() into mor
e
specific report
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levo
n
Convert
sm_msg() with an error: prefix into sm_erro
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
o
h
n
Levon
Con
v
ert all sm_msg("warn:
.
.
"
i
nt
o
sm_
w
arni
n
g
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Regu
l
arise error repo
r
t
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carpenter
db: make
e
scape_newlines() take
a
const p
o
int
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
t
er
parse
.
h: cre
a
t
e stmt_
g
et_
p
a
re
n
t_stm
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next