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: move more stuff to get_rl_sval()
2019-02-26
Dan Carp
e
nt
e
r
math
:
move more stuff to
g
et_rl_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpe
n
te
r
s
tring_list: make insert_string
(
) ret
u
rn false if
i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-26
D
an Carpe
n
ter
string
_
list: call strcmp(
)
once instead of twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Ca
r
p
e
nter
math: don't a
l
locate the range_list
i
f
n
o
t
necessary
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Carp
e
nter
math: rename _get_rl() => get_rl_helper(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
D
a
n Carpent
e
r
impli
e
d: bail earlier o
n
parsin
g
p
arameter limitation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-25
Dan Car
p
enter
m
at
h
: r
e
-write _get_s
v
al() to pass the
r
e
s
ult
s
as
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan
C
arpente
r
slis
t
: speed u
p
add_possible_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
an Carpenter
slist: a pointer is
equ
a
l
t
o itself i
n
c
mp_pos
s
ible_sm(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
a
n C
a
rpente
r
locking: spin
_
trylock() returns 1 on success
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
D
an Carpenter
slist: speed up copy_possib
l
e
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-20
Dan Carp
e
nt
e
r
slist:
rename
c
mp_sm_states() to cmp
_
possible_s
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-19
Dan Carpenter
address
:
improve handling
of
__smatc
h
_implied(
&
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
nospec
:
u
se
statement count to mark t
h
i
n
gs as nospec
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpen
t
e
r
n
o
spec: preempt_disable() stops speculati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
Carpenter
bu
f
_size: im
p
r
o
ve call
o
c() handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan
C
ar
p
enter
smdb
.
py
:
pars
e
ptr_ma
x
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
D
a
n Carp
e
n
t
e
r
off
_
b
y
_
o
ne_rela
t
ive: re
m
ove some
d
ebu
g
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
D
an
Car
p
e
n
ter
extr
a
: in PAR
A
M
_
LIMIT/FI
L
ER then
s
e
t both the name
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpenter
z
e
ro_to_err_ptr: d
o
n't
w
a
r
n on
i
m
p
o
ssible
p
aths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan Carp
e
nter
estate:
d
e
l
ete est
a
te
_
f
i
lter_range/sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan
Carpenter
kernel: fix type bug h
a
ndle IS_ERR() and fri
e
n
d
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
D
an Carp
e
nter
db
:
do
n
't pretend to dereference
i
n
tegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
testing_index_a
f
ter_u
s
e: rem
o
ve debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpenter
cap
p
e
d: d
o
n't set capped for known values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
extra
:
tweak
hard m
a
x in condit
i
ons and macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpen
t
er
extra: pass hard max across
f
uncti
o
n boundaries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
db
:
split zero
a
n
d non-z
e
ro return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpe
n
t
er
implied: re
m
ove
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nt
e
r
i
m
p
lied:
rem
o
ve a n
o
nsense limit
a
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
ar
p
enter
tes
t
i
n
g
_index_after_
u
s
e
: s
i
lence some false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
ent
e
r
implied: remove the --deb
u
g
-
implie
d
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan C
a
r
p
e
n
ter
states: fix a bug
h
a
ndling ne
g
ate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carpente
r
equiv: upd
a
te
"
oth
e
r" names
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan C
a
r
p
enter
b
uf_compa
r
ison:
r
e-wri
t
e to be more flexible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Ca
r
penter
db/kernel
.
return_f
i
xes: add som
e
mo
r
e re
t
u
rn
f
ixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carp
e
nter
db/vim
_
db: don'
t
complain
when th
e
file
i
s not f
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
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
Dan Carp
e
nter
db/fixup_kernel
.
sh: fix up stuff from the un
s
ig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpent
e
r
valida
t
ion: update a few tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpent
e
r
type: commit some missing pieces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpente
r
extra
:
sm
a
ll speedup in set_param_hard_
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
helper: fix expr_to_chunk_
h
e
l
per
(
)
f
o
r
struct
m
e
mb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
C
arpenter
c
o
mpariso
n
: print
a
"
%s" string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
c
o
n
s
traints: remove debugging and
use th
e
s
tri
p
pe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
db: impro
v
e recording
c
o
m
parisons t
o
parameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpenter
im
p
l
i
ed: remove
s
ome
dupl
i
cate
deb
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
real_ab
s
olute: don'
t
store
d
ata
f
or arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Carpen
t
e
r
sval: remov
e
an ex
t
ra
space
c
haracter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
type
:
m
ak
e
po
i
nter
s
unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
Car
p
en
t
er
ex
t
ra: t
i
ghten canonical for l
o
op handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
ext
r
a: f
i
x function comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
r
anges: improve
c
a
sting negative
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
arpenter
i
m
plied: don't use incompl
e
t
e states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implications: r
e
move a magic numb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db
:
show compariso
n
strings for conditional ret
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
penter
db
:
don't stor
e
recursi
v
e struct
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
type
:
hand
l
e pointer type
c
orre
c
tly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carp
e
nter
extr
a
/un
t
ra
c
ked_par
a
m: ma
r
k
lost
p
arameter
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n
Car
p
enter
address: re
t
urn unknown if
w
e can't figure out
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan Carpenter
implied: twe
a
k some debug
s
tatements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carpenter
expre
s
sions:
parse "
$
0->f
o
o
.
b
ar" cor
r
ectly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carp
e
n
ter
return_to_param: use ident->l
e
n
i
nstead of strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n Carpe
n
ter
param_set: handle mta
g
assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n
C
arp
e
nter
assigned_e
x
p
r
: m
a
ke it work f
o
r parameter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
D
a
n
Carpenter
e
q
ui
v
:
use
DB inform
a
tion to se
t
e
x
tra state in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Car
p
e
n
te
r
e
xtra: improve get_
o
ther_n
a
me_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpen
t
er
extra: futz
a
r
o
und with
g
e
t
_
o
t
he
r
_name_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
enter
h
elper: impr
o
ve get_member_name() for
a
nonymous st
r
ucts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Ca
r
penter
db: e
s
c
a
p
e new
l
ines in save_cache_d
a
t
a
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpen
t
er
ranges: co
n
stify ca
l
l
_
res
u
lts_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra:
f
ilter re
a
lly long un
u
sed par
a
m va
l
ue information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Ca
r
p
e
nter
e
x
tra: use
i
dent-
>
len instead
of ca
l
li
n
g strlen(i
d
ent
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
db:
d
o
n
't create new splits in
split_positive
_
from_negative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpe
n
ter
extra: fix
returned_s
t
ruct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arpe
n
ter
param
_
us
e
d:
fix
h
andling
o
f called fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpen
t
er
extra: exp
o
rt in_warn_on
_
m
acro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
C
arpenter
t
y
pe: misc small clea
n
ups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
t
yp
e
: f
i
x
g
et_member_from_string(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
k
p
atch
.
s
h
: fix spelling s
/
ammend/amend
/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
type: add a short cut in get_real_base_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan C
a
r
pen
t
er
impli
e
d: Preser
v
e ->hard_max for fake histo
r
y
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
D
an
C
arpenter
extra: pres
e
rve
h
a
r
d
_max
a
fter
c
omparisons
to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n Carpent
e
r
s
li
s
t: make sm->children
a
s
malle
r
type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
Car
p
e
nter
slist: rename v
a
riables in __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpen
t
e
r
slist
:
handle the fas
t
path in
_
_mer
g
e_
s
tre
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
Carpen
t
er
slist: simplify __mer
g
e_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan
C
a
r
pe
n
ter
nos
p
e
c
:
don't record nosp
e
c
parameter info which hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
d
ma_mapping_er
r
o
r
: update to on
l
y
c
o
mplain a
b
ou
t
legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-11
John Levo
n
Remove -
W
empty-charact
e
r
-
constan
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan
C
a
rpenter
s
m
at
c
h: add a --succeed
o
p
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levo
n
Add
i
llumos projec
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert s
o
me sm_
m
sg(
)
into more
s
pecific reporting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
C
o
nvert sm_msg() with an error: prefix int
o
sm_error()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
C
o
nvert all sm_msg("war
n
:
.
.
" into sm_warning()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
R
egularise error re
p
ort
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carpen
t
er
db: make e
s
cape_
n
ewlines() t
a
ke
a
cons
t
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Car
p
enter
parse
.
h: create
s
tmt_
g
et_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
t
e
r
constrai
n
ts: escape
SQL s
t
atements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan C
a
rpenter
statem
e
nt
_
count: record how many statements
t
h
ere are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next