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: Fix incorrect quoting in documentation
2023-05-23
Piotr Trojanek
a
da: Fix expression p
r
etty-printer for SPARK co
u
nte
r
exa
m
p
l
es
commit
|
commitdiff
|
tree
2023-05-23
Piotr Tro
j
anek
ada:
S
uppress warnin
g
abou
t
Subprogram_
V
ari
a
n
t
failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Tr
o
janek
ada: Minor fix typo in com
m
ent
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Tro
j
a
n
e
k
ada: Avoid r
e
peated calls when look
i
ng for first/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Trojanek
a
da
:
Fix source
l
ocation for cra
s
hes in exp
a
nde
d
L
o
op_Entry
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Tro
j
anek
ada: Further fixes to
G
N
A
T
pr
o
ve and CodePeer express
i
on
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piot
r
Trojanek
ada:
C
le
a
nu
p
re
d
un
d
a
n
t
con
d
it
i
o
n
in resol
u
t
i
on of entity
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tro
j
anek
ada: Add warning
o
n frontend inlining of Subp
r
ogram
_
V
a
r
i
ant
commit
|
commitdiff
|
tree
2023-05-22
P
iotr Troj
a
nek
a
d
a:
F
ix spurio
u
s
warni
n
g on Inli
n
e_Always a
n
d cont
r
acts
commit
|
commitdiff
|
tree
2023-05-22
Piotr Tro
j
anek
ada: Remove red
u
ndant protec
t
i
o
n
against empty
list
s
commit
|
commitdiff
|
tree
2023-05-22
P
iotr
T
ro
j
a
nek
ada:
R
emove unref
e
renced uti
l
ity rout
i
n
e Is_Actua
l
_Tagged
_
P
a
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r
Trojanek
ad
a
: Fix traversal for
t
h
e righ
t
most node of a pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
otr Troja
n
e
k
a
da: Re
s
trict expr
e
ssion p
r
e
tty-pr
i
nter
t
o
subexpres
s
ions
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
a
da: Don'
t
pr
e
tty
-
p
rint DEL within
e
xpression imag
e
s
commit
|
commitdiff
|
tree
2023-05-22
Piotr T
r
ojanek
ada: Updat
e
Co
n
trolling_Arg
u
men
t
when cop
y
ing trees
commit
|
commitdiff
|
tree
2023-05-16
P
iot
r
Trojanek
ada:
Apply
r
ange checks to
p
reanalyz
e
d aggregate expressi
o
ns
commit
|
commitdiff
|
tree
2023-05-16
Piotr Trojanek
ada: B
u
ild inva
r
iant procedure
w
hile freezing in
G
NATprove
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
P
i
o
t
r
Trojanek
ada: R
e
mo
v
e redund
a
nt protection again
s
t empty
l
ist
s
commit
|
commitdiff
|
tree
2023-05-15
Piot
r
Trojanek
ada: Acc
e
p
t aggregates with
OTHERS clause in
unche
c
ked
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Pi
o
tr
Trojanek
ad
a
: Rej
e
ct
a
tt
r
i
b
u
t
e Initia
l
ize on
u
n
checked
unio
n
s
commit
|
commitdiff
|
tree
2023-05-15
Piotr Tro
j
anek
a
da: Fix li
n
k to par
e
nt whe
n
copying w
i
th Copy_Separa
t
e
_
T
ree
commit
|
commitdiff
|
tree
2023-01-05
Pi
o
tr Trojanek
ada
:
Flag renaming-as-
s
pec as a body to
i
nline
commit
|
commitdiff
|
tree
2023-01-05
P
i
otr Trojanek
ada: R
e
move unhelpful sp
e
ci
a
l
c
a
se fo
r
renamed bo
d
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr Trojanek
ada: Accept aspects G
l
obal and Depe
n
d
s
on abstract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Pio
t
r Tro
j
a
n
ek
ada: Adjust number of errors
when
r
emoving warning
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piot
r
Trojanek
a
da: Adj
u
st locati
o
ns in
a
spects on generic formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
P
iot
r
Tr
o
ja
n
ek
ada:
F
ix style in co
d
e f
o
r g
e
neric
f
ormal su
b
programs
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Trojanek
ad
a
: Expand gener
i
c f
o
rm
a
l subprograms wi
t
h cont
r
acts
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
a
da: Clean up call to check if
a
s
pects are pres
e
nt
commit
|
commitdiff
|
tree
2022-11-08
Piotr Troj
a
nek
ada: Propaga
t
e a
s
pect Ghost when instantiating
n
ul
l
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pi
o
tr
T
roj
a
nek
ada: Fix e
x
p
ansion of 'Wi
d
e
_Image and 'Wide_W
i
de_Image
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Troja
n
e
k
a
d
a: Fix incons
i
s
t
ent whitespace i
n
Ada
.
Numerics
.
Generic_
C
om
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr
T
roj
a
nek
ada
:
R
e
move u
n
ne
e
de
d
co
d
e in handling forma
l
type defaults
commit
|
commitdiff
|
tree
2022-11-08
Piotr Troja
n
ek
ada: Cleanup
l
oca
l
v
ariable that is
o
n
ly
s
et as an
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojan
e
k
ada: Re
j
ect
limited ob
j
ects in arra
y
and
r
ecord delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piot
r
Trojane
k
ad
a
: Allow i
n
itia
l
ization of limited objec
t
s with de
l
ta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piot
r
Trojan
e
k
ada: Reject reco
r
d de
l
ta ag
g
regates with limit
e
d expr
e
ssion
s
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada
:
Raise Tag_Error when Ada
.
Tags
operat
i
ons ar
e
calle
d
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Tune hash
f
uncti
o
n for cro
s
s-r
e
f
ere
n
ce
entries
commit
|
commitdiff
|
tree
2022-11-07
P
io
t
r Tr
o
janek
ada: Fix pe
r
formance regression relate
d
to
r
eferences
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
Trojanek
ada: Inline composite no
d
e kind AST
queries
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Tro
j
anek
ad
a
: Fi
x
de
t
e
c
ti
o
n
o
f
external calls to protected obj
e
cts
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
o
t
r
T
r
ojanek
ada: C
l
ean up un
n
e
cessary nes
t
i
ng in cod
e
for DLL librari
e
s
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Trojanek
ada
:
Deconstruct Safe_To
_
Capture_
I
n_Parameter_V
a
lue
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada:
Fl
i
p warning suppressi
o
n rout
i
ne to positive
meaning
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Cleanup
detection o
f
code within gene
r
ic
inst
a
nces
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Trojanek
ada: Remove redundant suppre
s
sion for n
o
n-modified
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
o
tr Trojanek
ada:
R
e
ject boxes i
n
d
elta array aggregates
commit
|
commitdiff
|
tree
2022-11-07
P
iotr
T
rojanek
ada
:
Allow r
e
use of Enclosing_Declara
t
i
o
n_O
r
_
S
tatement
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
ro
j
anek
ada: Clean up unnecesary call
i
n resolution of overloaded
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tro
j
anek
ad
a
: Clean up co
d
e f
o
r vis
i
bili
t
y
of
generic
actuals
commit
|
commitdiff
|
tree
2022-11-07
Piotr T
r
ojanek
a
d
a:
C
lea
n
up comment about mapping p
a
ram
e
t
e
rs whe
n
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
rojan
e
k
ad
a
: Tune l
a
yout after switching to Ada
2
022 ag
g
r
egate
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r T
r
o
janek
ada: Clea
n
up WITH clause
s
after switching from
o
bsolesc
e
nt
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
tr Tr
o
j
a
nek
ada
:
C
r
eat
e
operato
r
nodes in
function
a
l style
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Don't reuse operator n
o
de
s
in expan
s
ion
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Trojanek
ada: Simpli
f
y de
t
ection of pragmas in the c
o
ntext items
commit
|
commitdiff
|
tree
2022-11-07
P
iotr
Trojanek
ada: Reject
m
isplaced
p
r
a
gma Obsol
e
scent
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tr
o
janek
ada:
F
ix missing tag for wi
t
h
of
a
n obsolesc
e
nt func
t
i
on
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Trojanek
ad
a
: Re
m
ove useless
validit
y
suppression
for attrib
u
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr
Tro
j
ane
k
a
da:
F
ix
t
ypo i
n
c
omment
r
e
ferring to pra
g
ma Restri
c
t
i
o
n
s
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ad
a
: Cle
a
nu
p
co
d
e for warnings about unreferenced form
a
l
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanup code
f
or unr
e
ference
d
v
ariabl
e
s
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanu
p
code f
o
r warn
i
ngs a
b
out unset referen
c
e
s
commit
|
commitdiff
|
tree
2022-11-04
P
i
o
tr Tro
j
an
e
k
ada: Re
m
o
v
e redundant ca
l
ls in ha
n
dling of aspe
c
t speci
f
ications
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada:
Avoid rep
e
ated ite
r
ation over privat
e
p
r
ot
e
cted
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Pio
t
r
T
r
ojanek
ada: Cle
a
nup
cleari
n
g flags
on p
a
ckage var
i
ables
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix various typos in GNAT User's
Guide
commit
|
commitdiff
|
tree
2022-11-04
P
iotr T
r
o
j
anek
a
d
a
:
Fix repea
t
ed kill
i
n
g o
f
p
r
ivate entit
y
va
l
ues
commit
|
commitdiff
|
tree
2022-11-04
Piotr
T
roja
n
ek
ada: Sim
p
l
i
fy det
e
ct
i
on of contr
o
lling form
a
ls
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
a
d
a
: Fix various typos
i
n
n
o
d
e a
n
d e
n
tit
y
description
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
P
iotr Tr
o
janek
a
da: Fix
various t
y
p
os in GNAT
R
M
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ad
a
: Improve efficiency of scope stack
resto
r
a
t
ion
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojan
e
k
a
da
:
Su
p
por
t
lock
-
f
ree pro
t
ected ob
j
e
cts with pra
g
ma
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
a
d
a: Re
j
ect expanded globa
l
names in loc
k
-free protected
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piotr Troja
n
e
k
ada: Reject con
d
it
i
o
nal goto in
lock-fr
e
e protected
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Pi
o
tr Trojanek
ada: Cleanup r
e
l
a
ted to lock-free protected subprog
r
ams
commit
|
commitdiff
|
tree
2022-10-06
P
i
o
tr Tr
o
janek
ada: Fix in
s
erting
of
validity c
h
ecks in
l
o
c
k
-
f
ree
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojan
e
k
ada: Fix
s
purious warning on
u
nre
f
erenc
e
d refinement
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
P
iot
r
T
rojan
e
k
ad
a
: Fix ch
e
cking of Refined_Stat
e
with
n
e
s
te
d
pack
a
ge
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Pi
o
tr Troj
a
nek
ada:
Fi
x
location
of pragmas coming from a
s
pects
i
n
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Rem
o
ve
unre
f
erenced Rtsfind entries
commit
|
commitdiff
|
tree
2022-09-26
Pi
o
tr Trojanek
ada: Remove unreferenced C macro from OS con
s
tants
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piot
r
T
rojanek
ada
:
Del
a
y expan
s
i
o
n of iterator specification in
p
rean
a
lysis
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: D
e
lay ex
p
an
s
ion of it
e
r
a
ted component association
commit
|
commitdiff
|
tree
2022-09-26
Piotr Tro
j
anek
ada: On
l
y
r
eject vo
l
atile
g
host objects w
h
e
n
SPARK_Mode
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojan
e
k
ada: Re
m
ove socket definit
i
ons for
a
ncient Mi
n
GW
commit
|
commitdiff
|
tree
2022-09-26
P
i
ot
r
T
r
o
janek
ada: Remove
d
efini
t
ion of MAXPATH
L
EN fo
r
ancie
n
t MinGW
commit
|
commitdiff
|
tree
2022-09-26
P
io
t
r Trojanek
ada: Decons
t
ruc
t
build
s
upport for a
n
cient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Pio
t
r Trojanek
a
da: Tune comment of routine for detecting jun
k
na
m
es
commit
|
commitdiff
|
tree
2022-09-12
Piotr
T
roja
n
e
k
[A
d
a] Syn
c
documentatio
n
of junk names
w
it
h
code
commit
|
commitdiff
|
tree
2022-09-12
Piotr Tro
j
a
nek
[
A
da] Reject
'
Vali
d
_
S
c
alars
on Uncheck
e
d
_U
n
ion r
e
gardless
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Piotr Tro
j
anek
[Ada]
S
pec
i
a
l
-case pr
i
nting
of SP
A
RK_
M
ode in
e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Pio
t
r Trojanek
[Ada] Clea
n
up routine for handling
S
PA
R
K
_Mode kinds
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojane
k
[A
d
a]
Fi
x
validity checking
on renamed
Ol
d
attribute
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
P
i
otr Tro
j
ane
k
[Ada
]
R
et
a
i
n Has_P
r
ivate_View flag for
a
ctuals of inl
i
ne
d
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Pi
o
tr Trojanek
[Ada] Fix comm
e
n
t
ab
o
ut mapping of parameters and inlinin
g
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Cleanup unnecessary shadowing in e
x
p
ans
i
on of
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Tune
message for illegal
asp
e
ct Rel
a
xe
d
_Initi
a
lization
commit
|
commitdiff
|
tree
2022-09-06
Pi
o
tr
T
r
ojan
e
k
[Ada]
Add forma
l
v
e
rifi
c
ati
o
n depend
e
ncies to
libgnat
commit
|
commitdiff
|
tree
next