repo.or.cz
/
official-gcc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
analyzer: implement kf_strstr [PR105899]
2023-09-06
D
a
vid Malcolm
an
a
lyzer:
i
m
plement
kf_strstr
[
PR105
8
99
]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-09-06
Davi
d
Malcolm
a
n
a
lyze
r
: implement
kf_st
r
ncpy [PR105899]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-09-06
David Ma
l
c
o
lm
anal
y
zer: add ctxt to
fill_region/zero_
f
ill_regi
o
n
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-29
David Malcol
m
analyzer:
new warning: -Wanalyzer-overla
p
p
i
ng-buffer
s
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-29
David Malco
l
m
analyzer: im
p
rove str
d
u
p
handl
i
ng [PR105899]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-25
David Malcolm
analyzer
:
fix ICE in
t
ext
a
r
t string
s
support
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
David
M
alcolm
analyze
r
:
impl
e
ment kf_strcat [PR105899]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
D
av
i
d Malcolm
analyzer: hand
l
e s
t
r
l
e
n(BITS_WITHIN) [PR10589
9
]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
D
a
vid Mal
c
o
l
m
analyzer: handle INIT_VA
L
(ELEMENT_REG(STRING
_
REG),
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
D
a
vid
M
alcolm
analyzer:
h
a
nd
l
e strlen(INIT_VAL(STR
I
NG_REG)) [PR105899]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
David Malcolm
analyzer:
re
i
m
plement kf_mem
c
py_me
m
move
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
D
av
i
d Mal
c
o
l
m
analyz
e
r: eli
m
i
n
ate region_model::get_string_size
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
David Malcolm
analyzer: reim
p
l
ement kf_strcpy [PR1
0
5899]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
David Ma
l
colm
analyzer: han
d
le symbolic binding
s
in sca
n
_fo
r
_null
_
terminat
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-24
Dav
i
d Malco
l
m
ana
l
y
z
e
r
:
add lo
g
ging to impl_path
_
context
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
Davi
d
Malcolm
a
n
al
y
zer: reimpl
e
men
t
k
f_strlen [
P
R10589
9
]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
David Malcolm
analyzer: ch
e
ck
f
o
r
mat s
t
ri
n
g
s
for null termination
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
D
a
vid
Malco
l
m
an
a
lyzer: a
d
d kf_fo
p
e
n
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
David
M
a
l
c
o
lm
a
n
alyzer:
r
eplace -Wa
n
alyzer-unt
e
rminated-string with
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
David Malcolm
an
a
l
yzer: hand
l
e NU
L
L i
n
ne
r
context in region_model_c
o
ntext_
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
David
M
alcolm
analyzer: add ability
for context
t
o add events to
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-22
David Malcolm
anal
y
z
e
r: convert note_adding_contex
t
to annotating
_
contex
t
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-11
Dav
i
d Malcol
m
a
nalyzer
:
new warning: -
W
a
n
alyzer
-
u
nterminat
e
d
-
string
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-09
David Malcol
m
analyz
e
r: remove d
e
f
a
ult
return value
f
rom region
_
mode
l
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-04
David Malc
o
lm
analyzer: handl
e
function
a
ttri
b
ute "alloc_siz
e
" [PR110426]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-04
Dav
i
d
Ma
l
c
olm
an
a
lyzer: fix so
m
e
s
value::dump_to
_
p
p
im
p
lemen
t
at
i
ons
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-03
David M
a
lcolm
testsuite, analyzer: add t
e
st
case [PR1
0
8
171]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-08-03
Da
v
id M
a
lcolm
analyzer: fix ICE on zero-sized arr
a
ys [PR110882]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-07-31
D
a
vid Malcolm
S
ARIF and -ftime-repo
r
t'
s
output [PR1093
6
1
]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-07-26
D
a
vid
M
alcolm
analyzer: add symbo
l
base c
l
ass, moving re
g
ion id to
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-07-21
D
a
v
id Malcolm
a
nalyzer: avoid usage o
f
TYP
E
_
P
RECI
S
ION on vector
t
ypes
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-07-21
David M
a
lcolm
an
a
lyze
r
/text-art
:
f
ix
clang warnings [PR110433,PR
1
10612]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-07-21
David Malc
o
l
m
a
nalyzer: fix ICE
o
n certain pointe
r
s
u
btractions
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-07-19
D
avid Malco
l
m
ana
l
yz
e
r
: fix ICE on division of
t
ainted fl
o
atin
g
-
p
oint
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-30
D
a
vid
M
a
l
colm
jit
.
exp: handle
d
war
f
version mismatch in jit-check
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-30
Dav
i
d
M
a
lcolm
j
i
t:
a
void usi
n
g
__vecto
r
in
t
e
s
tcase [PR1104
6
6
]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-24
David Malcolm
text-art: remove explicit
#
inc
l
u
d
e of C++
s
tandard
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-23
David Ma
l
colm
c++: provide #
i
nc
l
ude hint for missing inclu
d
es [PR1
1
0164]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-22
David Malcolm
analyzer: add text-art visualiz
a
t
i
o
n
s of o
u
t-of-bound
s
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-22
David Malc
o
lm
d
iagnostics:
a
dd supp
o
rt for "tex
t
art" diagrams
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-22
David Malcolm
te
s
tsuite: mo
v
e handle-multiline-outputs t
o
before
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-16
David Ma
l
co
l
m
c: add name
hints
t
o c_parser
_
decl
s
pecs [PR
1
0
7
5
8
3]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-13
David Malc
o
lm
c
/
c++: use positive tone in missin
g
header notes [PR84890]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-09
Da
v
id
Mal
c
o
lm
analyzer: add caching to globals with
initializer
s
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-02
David Malcolm
ana
l
yze
r
: implement various
a
t
omic builtins [
P
R109015]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-06-02
David Malcol
m
ana
l
yze
r
: regions in different me
m
ory space
s
can't
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-05-30
David Malcolm
testsuite: add
v
erify-s
a
rif-fi
l
e
t
o some testcases
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-28
D
avid Malcolm
Don't emit -Wxor-used
-
as
-
p
o
w
o
n macro
expans
i
ons [PR10700
2
]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-25
Dav
i
d Malcolm
diagno
s
tics: ens
u
re
t
hat
.
sarif files
are UTF
-
8 encoded
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-24
D
avid Malc
o
l
m
docs, analyzer: imp
r
ov
e
ments to "Debu
g
g
i
ng the Ana
l
y
z
er"
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-24
David Malcolm
json:
p
reserve ke
y
-in
s
ertion or
d
er [PR109163]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-22
Da
v
id
M
alcolm
testsuite: always u
s
e U
T
F
-8 in scan-
s
ari
f
-file[-not
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-22
David Ma
l
colm
analyzer: fix false
+v
e
s from -Wanalyzer-deref-before
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-18
David Ma
l
c
olm
analyzer: fix IC
E
on
c
ertain longjmp calls
[PR109094]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-15
David Malcolm
diagnosti
c
s: atte
m
pt to
cap
t
ur
e
crash info in SARIF
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-13
Da
v
id Malcol
m
t
e
stsu
i
te: add test coverage for analyz
e
r l
e
ak fa
l
se
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-13
Da
v
id
M
alcolm
testsuite
:
add test coverage for PR analy
z
er/108045
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-13
David Malcolm
analyz
e
r, test
s
uite: add
t
est
co
v
erage
f
or vario
u
s
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-10
David Malcolm
analyzer: fix
leak false +ve seen in hap
r
ox
y
's
cfgparse
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-10
David
M
alcolm
a
n
alyzer: fix deref-before-check false
+v
e
s seen in
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-09
David Malcolm
testsuite
:
a
dd
vario
u
s -W
a
nalyzer-
n
ull-de
r
efe
r
en
c
e
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-03
David Malcolm
an
a
lyzer: s
t
a
r
t adding
t
est
coverage
f
or OpenMP [PR109
0
16]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-03
Dav
i
d Ma
l
colm
a
nal
y
zer:
p
r
o
vide placeholder impl
e
men
t
ation of sprintf
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-03
David Malcolm
testsuite:
remov
e
XFAIL in
gcc
.
d
g/anal
y
z
er/pr
9
9716
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-02
Dav
i
d
M
a
lcolm
analyzer: fix unin
i
t
f
alse +ves read
i
ng
f
rom DECL_H
A
RD_REGIS
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-01
Da
v
id Malcolm
a
na
l
y
z
e
r: f
i
x
e
s to
s
ide-eff
e
c
ts for built-i
n
functions
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-03-01
David Malcolm
analyzer: fix
in
f
inite recu
r
sion
f
a
l
se +
v
es [
P
R1
0
8
9
35]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-21
Davi
d
Malco
l
m
analyzer: st
o
p exploring
t
he
path a
f
t
er cer
t
a
in diagnostics
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-16
David Mal
c
olm
analyzer: respect
s
o
me c
o
nditions
from bi
t
masks [PR1088
0
6]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-15
D
avid Malcol
m
analyz
e
r: fix unin
i
t
f
alse
+ves [PR108664,P
R
1
0
8
666
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-10
David Malcol
m
analy
z
er: don'
t
warn f
o
r deref-befo
r
e-che
c
k for checks
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-09
David Ma
l
colm
analyzer: fix further overzealous state purging [PR108733]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-08
David
M
alcolm
anal
y
z
e
r
: fix overzealous s
t
ate purgi
n
g
w
ith on-
s
t
a
ck
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-07
David
Malcolm
a
n
a
lyzer: fix
-
Wa
n
a
lyzer-use-of-u
n
initial
i
zed-val
u
e
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-02
David Malcolm
analyzer: fix -Wanal
y
zer-fd
-
type
-
m
i
s
match fa
l
se +v
e
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-02
David Malcolm
analyzer:
add
deref-before-check-q
e
mu-qtest_rsp_args
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-01
David Malcolm
ana
l
yzer: fix uses of a
l
l
o
c
a in
testsuite
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-01
David
M
a
lc
o
lm
analyzer: fi
x
-
W
anal
y
zer-al
l
ocation-size fa
l
se -ve
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-02-01
David Malcolm
doc: add notes abou
t
limit
a
tions of -fanalyzer
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-26
D
a
vid Malcolm
analyze
r
: f
i
x SARD-tc84
1
-b
a
sic-
0
0182-min
.
c test
c
ase
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-26
D
avid Mal
c
olm
analyzer: fix fal
s
e
posi
t
ives from -Wanalyzer-i
n
f
i
nite
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-19
David Malcolm
a
n
alyzer: use dominator info in -Wa
n
alyzer-deref-before
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-18
Dav
i
d Malcolm
analyz
e
r: add SARD tes
t
suite 81
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-13
David M
a
lc
o
lm
analyzer: a
d
d
h
euristics for switch on
e
nu
m
type [PR1052
7
3]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-11
Davi
d
Malcolm
analyz
e
r:
fix lea
k
false
po
s
itives on
"*UN
K
NOW
N
= PT
R
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-05
D
av
i
d Ma
l
colm
gccrs: avoid printing
t
o stderr in self
t
est:
:
rust_
f
la
t
t
e
n
_list
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2023-01-05
D
avid Malco
l
m
gccrs: add
selfte
s
t-rust-gdb and selftest
-
rust-valgr
i
nd
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-16
D
a
v
id Malcolm
ana
l
yzer:
a
dd src_regio
n
param to region
_
mod
e
l::check_for_po
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-14
Davi
d
Malcolm
analyzer:
d
o
n
'
t
call
b
inding_key::make
on empty regi
o
ns
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-09
Dav
i
d
M
alcolm
analyzer: rena
m
e
region-mode
l
-impl-calls
.
cc to
kf
.
cc
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-09
Da
v
id Malcolm
analyze
r
:
f
ix ICE
o
n
region creation
during ge
t
_referenc
e
d
_b
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-09
D
avid
Malcolm
anal
y
zer:
handle memmove like
m
em
c
py
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-06
D
a
vid M
a
lcolm
analyzer: don'
t
create bind
i
ngs or binding
k
eys for
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-06
David Malcolm
analyzer: use __attrib
u
te__((
n
onnull)) at
top level
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-06
Davi
d
Malco
l
m
contrib:
doxygen: ad
d
gcc/analyzer s
u
b
d
irecto
r
y to
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-06
David Malc
o
l
m
analyzer: update internal docs
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-06
D
avid
Mal
c
o
l
m
analyzer: split out m
o
re stuff f
r
om region-mode
l
-impl
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-02
D
avid Malcol
m
an
a
lyzer: introd
u
c
e
stru
c
t e
v
en
t
_loc_i
n
fo
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-02
David M
a
lcol
m
an
a
l
y
zer: fixes to
r
e
g
io
n
creation m
e
ssages
[P
R
1
0
7851]
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
2022-12-02
D
avid Malcolm
analyzer: handl
e
c
ompariso
n
s against ne
g
at
e
d s
y
mbolic
.
.
.
Signed-off-by:
David Malcolm
<dmalcolm@redhat.com>
commit
|
commitdiff
|
tree
next