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
ada: Make internal_error_function more robust
2023-05-22
J
usti
n
Squirek
a
d
a
: Incorrect con
s
tant fol
d
ing in post
c
ondit
i
on i
n
vo
l
ving
.
.
.
commit
|
commitdiff
|
tree
2023-01-05
Justin S
q
uirek
a
d
a
: Spurious error
on Lock_Free protected
t
ype with
.
.
.
commit
|
commitdiff
|
tree
2022-12-06
Justin Squirek
ada: Acce
s
sibi
l
ity co
d
e r
e
or
g
anization and bug fixe
s
commit
|
commitdiff
|
tree
2022-11-24
J
ustin Squir
e
k
ada: Spurio
u
s error o
n
Lock_Fr
e
e protect
e
d ty
p
e
wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Justin Squirek
ad
a
: Fix
f
or validity checks c
o
mbi
n
ed
with aliasing
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Jus
t
in
S
qui
r
ek
ada: Improve accessib
i
lity check g
e
nerat
i
on
commit
|
commitdiff
|
tree
2022-09-12
Justin Squirek
[Ada]
S
torage_Error
r
aised analyzing t
y
pe with
c
all
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
J
u
stin S
q
uirek
[A
d
a]
T
ech debt: Expansion of con
t
racts
commit
|
commitdiff
|
tree
2022-09-06
Jus
t
in Squirek
[
Ada]
Handle new At_End expansion durin
g
unnesting
commit
|
commitdiff
|
tree
2022-07-13
J
ustin Squir
e
k
[
Ada]
Fix CodeP
e
er warn
i
ngs i
n
GNAT
s
o
urces
commit
|
commitdiff
|
tree
2022-07-12
J
ustin Squ
i
r
ek
[Ada]
S
purious u
s
e_type cla
u
s
e
warning
commit
|
commitdiff
|
tree
2022-07-06
Justin Squi
r
ek
[
Ad
a
] I
n
d
exi
n
g error when calling
G
NAT
.
Regpa
t
.
Match
commit
|
commitdiff
|
tree
2022-07-06
Justin Squirek
[Ada] Spurious non-calla
b
le
w
arnin
g
o
n
prefixed call
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
Justin
Squirek
[Ada] Incorrect emptyin
g
o
f CUDA global
s
u
b
p
rograms
commit
|
commitdiff
|
tree
2022-07-04
Justin Sq
u
ir
e
k
[A
d
a] T
e
ch debt:
R
em
o
ve co
d
e dupl
i
catio
n
commit
|
commitdiff
|
tree
2022-07-04
Just
i
n Sq
u
i
re
k
[Ada] Sin
g
le character argument in call to Quote
_
Argument
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Justin Squirek
[Ada] Incorrect
a
c
cessibility check
o
n return of d
i
scriminat
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
J
ustin
S
qu
i
rek
[Ada]
Gnatbind
c
rash
during checksum c
a
lculation
commit
|
commitdiff
|
tree
2022-05-30
Ju
s
tin
S
q
u
irek
[Ada] Inc
o
rrect unreferenc
e
d wa
r
nings on null
s
u
bpro
g
rams
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Justin Squirek
[Ada] Type invariant or po
s
tc
o
nditio
n
may cause uni
n
itiali
z
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Justin Squi
r
e
k
[
A
da] Impr
o
ve expected type error messages
commit
|
commitdiff
|
tree
2022-05-13
Justin Squirek
[Ada] Spurious access error in function returnin
g
type
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Justin Sq
u
i
r
ek
[Ada] Ineffective
use type cla
u
se
warnings cause
compile
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Jus
t
in Sq
u
irek
[A
d
a
]
Incorrec
t
ineffective use type clause warning
commit
|
commitdiff
|
tree
2022-05-09
Ju
s
tin S
q
uirek
[A
d
a] Fix i
n
valid mem
o
ry a
c
cess on
finalization of
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Justin
Squirek
[Ada] Improve
e
r
ror messag
e
s t
o
i
n
c
lude full p
a
ckage
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
J
ustin Squirek
[Ada] Include
gen
e
ric
i
nstance n
a
mes in
n
o
n
-
v
isi
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
J
ust
i
n Squire
k
[Ada]
Ta
s
k
a
rrays tri
g
ger
s
p
urious unreferenced
warnings
commit
|
commitdiff
|
tree
2022-01-10
Justin Squire
k
[Ada] Task arrays trig
g
e
r spurious
u
nrefer
e
nced warnings
commit
|
commitdiff
|
tree
2022-01-07
Justin Squire
k
[Ada] Cleanu
p
a
n
d
m
odi
f
ic
a
tion of unr
e
ferenced
warni
n
gs
commit
|
commitdiff
|
tree
2022-01-06
Justin Squirek
[Ada]
S
puri
o
us
error when u
s
ing current in
s
tance of
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Justin Squi
r
e
k
[Ada] Removal of
t
e
c
hni
c
a
l debt
commit
|
commitdiff
|
tree
2021-12-02
J
u
stin Squi
r
ek
[Ada] Inval
i
d memo
r
y access
o
n finaliza
t
ion of class
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Jus
t
in Squirek
[
Ada] Spu
r
io
u
s
warning when us
i
n
g 'Type_Key on
g
e
ner
i
c
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Ju
s
tin Squi
r
ek
[
Ada] In
v
ali
d
GPR_PROJECT
_
PAT
H
_FILE confuses gnatls
commit
|
commitdiff
|
tree
2021-11-09
Justin Squirek
[Ada] H
a
ng
o
n compilation of unit with type
e
xtens
i
on
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
J
ustin Squirek
[Ada] C
r
ash on e
x
p
ansion of
t
agged membership t
e
st
commit
|
commitdiff
|
tree
2021-10-20
Justin Squirek
[A
d
a]
M
i
ssing accessibility check when returning dis
c
ri
m
inat
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Just
i
n Sq
u
i
r
ek
[Ada] Crash on
o
b
j
ec
t
of
protec
t
ed t
y
pe w
i
th defaulted
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Justin Squi
r
ek
[Ada] Increment
a
l patch fo
r
restriction No_Dynam
i
c_Accessibi
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Justin
Squirek
[Ada] Spurious non-varia
b
l
e err
o
r o
n
implicitly
dereferenced
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Ju
s
tin
S
quirek
[Ada] Crash o
n
allo
c
ator in alternative ac
c
ess
i
bil
i
ty
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Ju
s
tin Squirek
[Ad
a
] Spu
r
ious access
i
bilit
y
erro
r
o
n
renamed expression
commit
|
commitdiff
|
tree
2021-10-01
J
ustin Squir
e
k
[Ada] Crash
o
n renami
n
g
w
i
t
h
i
n declare expression
commit
|
commitdiff
|
tree
2021-09-22
Justin Squirek
[Ad
a
] Removal of
technical debt
commit
|
commitdiff
|
tree
2021-09-21
Justin Squirek
[Ada] Spur
i
ous d
y
n
a
mi
c
a
c
ce
s
sibility check on allocator
commit
|
commitdiff
|
tree
2021-09-20
J
ustin Squi
r
ek
[
A
da] Spurious acc
e
ssibility erro
r
on allocator
i
n
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Justin
S
q
uirek
[Ada] Crash on expansion of
B
IP con
s
t
ruc
t
in -gnatf
.
.
.
commit
|
commitdiff
|
tree
2021-07-09
Just
i
n Squi
r
ek
[
A
da] Cr
a
s
h
on
inli
n
ed
s
eparate subprogram
commit
|
commitdiff
|
tree
2021-07-09
Justin Squirek
[Ada] Incr
e
mental patc
h
for restri
c
tion No_Dyn
a
mic_
A
cces
s
ibi
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
J
us
t
in Squirek
[Ada]
Return_when_statement not working for n
o
n
ident
i
fier
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Justin
S
q
uirek
[
A
d
a] Spurious
i
nitia
l
i
z
ation of el
e
ment iterators
.
.
.
commit
|
commitdiff
|
tree
2021-07-06
Justin S
q
ui
r
ek
[Ada] Return when not working for
proc
e
dures
commit
|
commitdiff
|
tree
2021-07-05
Jus
t
in Sq
u
irek
[
Ada] INOX: proto
t
ype alternative
accessibi
l
i
ty mode
l
commit
|
commitdiff
|
tree
2021-07-05
J
ustin Squ
i
re
k
[Ada] Fix cras
h
when
p
rinting
e
rror message
commit
|
commitdiff
|
tree
2021-06-21
Justin Squirek
[Ada] I
N
O
X
:
pro
t
otype "when
"
construc
t
s
commit
|
commitdiff
|
tree
2021-06-17
Justi
n
Sq
u
irek
[Ada] R
e
moval of t
e
chnical debt
commit
|
commitdiff
|
tree
2021-06-16
Just
i
n Squirek
[Ada] Mixing of positi
o
nal and
n
amed entries allowed
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Justin
S
quirek
[Ada] Non-s
t
atic Interrupt_Prio
r
ity allowed wi
t
h
r
e
s
t
rictio
n
.
.
.
commit
|
commitdiff
|
tree
2021-06-16
Justin Squirek
[
A
da]
S
purious acce
s
s
ibilit
y
error on "for of" loop
.
.
.
commit
|
commitdiff
|
tree
2021-05-07
Justin
S
quirek
[Ada
]
Imp
l
ement aspect No_Controlled_
P
a
rts
commit
|
commitdiff
|
tree
2021-05-06
Justin Squirek
[Ada
]
Spurious co
n
st
r
ai
n
t error on conversion of acc
e
ss
.
.
.
commit
|
commitdiff
|
tree
2021-05-05
Justin Squirek
[Ada] In
c
orrect
accessibili
t
y level on actual in procedure
.
.
.
commit
|
commitdiff
|
tree
2021-05-03
Justin Squirek
[Ada] Expansion in _
p
ost
c
ondit
i
o
n
s confusi
n
g CodePeer
commit
|
commitdiff
|
tree
2021-05-03
Justin Squirek
[Ada] Spuri
o
us accessibilit
y
e
rr
o
r on call in return
.
.
.
commit
|
commitdiff
|
tree
2021-04-29
Justi
n
Squirek
[
A
da] Missing access-to
-
discriminated conversion check
commit
|
commitdiff
|
tree
2020-12-17
Justin Squirek
[Ada] Cras
h
on discriminant c
h
e
c
k with current ins
t
anc
e
commit
|
commitdiff
|
tree
2020-12-15
J
u
stin Squirek
[A
d
a] Pos
t
condition
c
hecks pe
r
formed before finalization
commit
|
commitdiff
|
tree
2020-12-14
Justi
n
Squ
i
r
ek
[Ada] Incorrect accessibility
l
e
v
e
l on type
i
n fo
r
m
a
l
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Jus
t
in
S
quirek
[Ada
]
I
n
correct ru
n
time ac
c
essibility check on access
.
.
.
commit
|
commitdiff
|
tree
2020-11-26
Just
i
n Squire
k
[Ada
]
Compiler c
r
ash
on named
a
s
so
c
i
ation in
r
et
u
rn
.
.
.
commit
|
commitdiff
|
tree
2020-11-25
Justin Squ
i
re
k
[
Ada] C
r
a
s
h on r
i
ght sh
i
f
t operator for
s
igned
integers
commit
|
commitdiff
|
tree
2020-11-24
Justin Squ
i
r
ek
[Ada
]
Compiler crash on asse
r
tion pragma in ghost region
commit
|
commitdiff
|
tree
2020-10-23
Justi
n
Squirek
[Ada] Further Ad
a
2020 wo
r
k
o
n accessibil
i
ty checking
commit
|
commitdiff
|
tree
2020-10-23
Justin Squire
k
[Ada] Iterative patc
h
f
or
acces
s
ibil
i
ty c
l
e
a
nup
commit
|
commitdiff
|
tree
2020-10-22
Jus
t
in Squire
k
[
A
da] Wrong acc
e
ssi
b
il
i
ty f
o
r conversio
n
to named
acc
e
ss
commit
|
commitdiff
|
tree
2020-10-22
Just
i
n Sq
u
irek
[
A
da] R
e
implementation of accessibilit
y
che
c
ki
n
g
commit
|
commitdiff
|
tree
2020-10-21
J
usti
n
Sq
u
irek
[Ada]
Inco
r
rect associati
o
n
s
for extr
a
ac
c
essibil
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
Justin
Sq
u
irek
[Ada]
Cr
a
sh on co
n
d expr
e
s
sion as a
c
t
ual
f
or anonymous
.
.
.
commit
|
commitdiff
|
tree
2020-10-20
J
ustin Squir
e
k
[Ada] Hang on co
n
d expressio
n
as
actua
l
for anony
m
ous
.
.
.
commit
|
commitdiff
|
tree
2020-07-27
Just
i
n Squirek
[Ad
a
] Wrong
a
c
c
es
s
i
bilit
y
on '
A
c
c
ess o
f
formal in call
commit
|
commitdiff
|
tree
2020-07-16
Justin Squirek
[Ada] Spurious acc
e
s
sibility error
on
a
llocator in
.
.
.
commit
|
commitdiff
|
tree
2020-07-16
Ju
s
tin Squirek
[Ada] Incorrect static accessibility
e
r
r
o
r i
n
return
.
.
.
commit
|
commitdiff
|
tree
2020-07-15
Justin Sq
u
ire
k
[
A
da
]
Spur
i
ous accessibi
l
ity
e
r
ror on allocat
o
r
commit
|
commitdiff
|
tree
2020-07-08
Ju
s
t
in Squirek
[Ada] Minor refactoring
commit
|
commitdiff
|
tree
2020-07-07
Justin Squirek
[Ada] Han
g
on conditional ex
p
r
ession as actual
commit
|
commitdiff
|
tree
2020-07-06
Justin
Squir
e
k
[Ad
a
] Ha
n
g on
g
ener
i
c
declaration with ambi
g
uou
s
fo
r
mal
.
.
.
commit
|
commitdiff
|
tree
2020-06-19
Justin Squ
i
rek
[Ada] Crash on compiling
pr
o
ject with m
u
l
t
iple su
b
un
i
t
s
.
.
.
2020-06-19
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-19
Just
i
n Squi
r
e
k
[
Ad
a
] Spurious con
d
ition warn
i
ng on
t
ype con
v
ersio
n
.
.
.
2020-06-19
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-19
Justin Squir
e
k
[Ada] Sty
l
e checks on
invalid UT
F
c
h
aracter cause
c
ra
s
h
2020-06-19
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Justin Squire
k
[Ada] Bad access
checks on i
f
/case ex
p
ression
a
s actual
2020-06-15
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-15
Justin Squirek
[Ada] In
c
orrect
accessibility check
s
on functi
o
ns
c
all
s
2020-06-15
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-12
J
u
st
i
n Squ
i
rek
[Ad
a
] Missin
g
accessibility error on object in type
.
.
.
2020-06-12
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-11
Jus
t
in S
q
ui
r
ek
[A
d
a] Mi
s
si
n
g accessibility error on
o
b
ject in type
.
.
.
2020-06-11
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-10
Justin Squirek
[Ada
]
I
n
correct acces
s
ibilit
y
checks on functions
c
all
s
2020-06-10
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Justi
n
Squirek
[Ada] Mi
s
sing document
a
tion for Re
t
u
rns_By_
R
ef
2020-06-09
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Ju
s
tin Squirek
[Ada] Spurious
o
verlap e
r
ror o
n
z
e
ro-sized arra
y
s with
.
.
.
2020-06-09
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-09
Jus
t
in
S
quire
k
[Ada]
Crash
on
exit statement wit
h
in p
r
e
dicated
loop
2020-06-09
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Just
i
n S
q
uir
e
k
[Ada] Spuri
o
us error on
call to co
n
trolled primitive
2020-06-08
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
2020-06-04
Justin Squirek
[Ada] Missing accessibility check on access d
i
scriminant
.
.
.
2020-06-04
Justin Squirek
<squirek@adacore.com>
commit
|
commitdiff
|
tree
next