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: Remove obsolete code in Resolve_If_Expression
2022-11-08
E
ric Bo
t
ca
z
ou
ad
a
: Remove obsolet
e
code in Resolv
e
_If
_
Expres
s
i
on
commit
|
commitdiff
|
tree
2022-11-08
Pio
t
r
Trojanek
ada
:
Reje
c
t limited ob
j
ects in
array and r
e
c
o
r
d delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Allow init
i
alization of limited objects with de
l
ta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada
:
Re
j
ect record d
e
lta
aggrega
t
e
s
with limited expressio
n
s
commit
|
commitdiff
|
tree
2022-11-08
Javier Miranda
ada: Missing master of task
c
a
u
s
i
ng
a
sse
r
ti
o
n
failure
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
a
d
a: Ra
i
s
e Tag_Err
o
r
wh
e
n Ada
.
Tags operations are called
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Bob Duf
f
ada: A
d
d
new -gna
t
w_q switc
h
to
usa
g
e
m
ess
a
ge
commit
|
commitdiff
|
tree
2022-11-07
Cedric Landet
ada: Document that gprof won't wor
k
o
n windo
w
s with
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Troj
a
nek
ada: Tune
hash functi
o
n for c
r
oss-refere
n
ce
e
n
t
ries
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojane
k
ada: F
i
x
p
e
rfo
r
mance r
e
gression
related to referenc
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Bob D
u
f
f
a
d
a:
Use
named notation in calls
to Expand_
C
omp
o
site_Eq
u
ality
commit
|
commitdiff
|
tree
2022-11-07
Bob Duff
ada: New warning abo
u
t noncomposin
g
user
-
de
f
i
n
ed "="
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r Tro
j
anek
ada: Inline comp
o
s
i
t
e
nod
e
k
i
nd AS
T
q
u
e
r
ies
commit
|
commitdiff
|
tree
2022-11-07
B
ob
D
uff
ada
:
Fix
inherited p
o
stcondi
t
ions i
n
i
n
l
i
ned subprograms
commit
|
commitdiff
|
tree
2022-11-07
Q
u
entin
Ochem
ada: Fi
x
ed
elaboration of CUDA
p
r
o
gra
m
s
.
commit
|
commitdiff
|
tree
2022-11-07
S
t
eve
Baird
ada
:
Re
w
ork CUDA host-side in
v
ocation of d
e
v
ice-side
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Trojanek
a
d
a: Fix
d
etection of ext
e
rnal cal
l
s to protected objec
t
s
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr T
r
ojanek
ada:
Clea
n
up unnecessary n
e
stin
g
i
n
code for DL
L
librar
i
es
commit
|
commitdiff
|
tree
2022-11-07
B
o
b Duff
ad
a
: Suppress wa
r
nings on derived
True/False
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
tr Troja
n
e
k
ada: De
c
onstruct Safe_
T
o_Capture_In_Paramet
e
r_Value
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Flip
warning suppres
s
ion
r
o
uti
n
e t
o
posi
t
ive meaning
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Tr
o
j
a
nek
ada: Cl
e
anup detecti
o
n of cod
e
w
ithin
ge
n
e
ric instances
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tr
o
janek
ada: Remove redundant suppressi
o
n
for no
n
-modified
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r T
r
ojanek
a
da: Reject b
o
xes
in delta arr
a
y
a
ggregates
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada
:
Allow reu
s
e of Enclosing_Declarati
o
n_Or_State
m
e
nt
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tr
o
j
a
ne
k
ada: Clean up u
n
n
e
ces
a
ry call in resol
u
t
i
on of overloaded
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tr
o
jane
k
ada: Clean up
c
o
d
e for visi
b
ili
t
y of generic
a
ct
u
a
l
s
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Cle
a
nup c
o
m
m
ent a
b
ou
t
m
apping
parameters
w
hen
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Steve Baird
ada: Put_Image aspect spec incorr
e
c
t
l
y not
i
nherited
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojane
k
ada
:
T
u
n
e
layout a
f
t
e
r switch
i
ng to Ada 2022 agg
r
egate
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Trojanek
ada: Cleanup WITH clauses
a
fter swit
c
h
ing from obso
l
escent
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r Trojanek
ada: Create operator
nodes in
f
unctional s
t
y
le
commit
|
commitdiff
|
tree
2022-11-07
Piotr Troja
n
ek
ada: Don
'
t reuse
o
p
e
r
ator nodes i
n
expans
i
on
commit
|
commitdiff
|
tree
2022-11-07
P
i
o
tr Troja
n
ek
ada:
Simpli
f
y detection of pragmas in the context items
commit
|
commitdiff
|
tree
2022-11-07
P
iotr Tro
j
anek
ada: Reject mispl
a
c
e
d pragma Obso
l
escent
commit
|
commitdiff
|
tree
2022-11-07
Piotr Troj
a
nek
ada: Fix missing tag for with of an obso
l
e
s
cent fu
n
c
t
ion
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ad
a
: Remove
u
seless
validity s
u
ppression for attribute
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
J
ustin Squirek
ada: Fix for
validity ch
e
cks combined with al
i
asing
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
E
r
ic
B
ot
c
az
o
u
ad
a
: Fix
couple of issu
e
s w
i
th arrays inde
x
e
d
by enume
r
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piot
r
T
r
ojanek
ada: Fix ty
p
o in
c
omment referri
n
g
to pragma
Restrictions
commit
|
commitdiff
|
tree
2022-11-04
P
iotr Tro
j
anek
ada: Cleanup code for warnings abou
t
unrefe
r
ence
d
formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Tro
j
a
n
ek
ad
a
: Cleanup code for unreference
d
variables
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada:
C
leanup code for warnings about unset
r
eferences
commit
|
commitdiff
|
tree
2022-11-04
Steve Baird
a
d
a: Sta
t
ic intr
i
n
s
ic function
s
are a core language
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Pio
t
r T
r
o
j
an
e
k
ad
a
: Remove red
u
nd
a
n
t calls in handling of asp
e
ct specificat
i
ons
commit
|
commitdiff
|
tree
2022-11-04
Ja
v
ier Miranda
a
d
a
:
F
lag unsupported dispatching
c
onstructor ca
l
ls
commit
|
commitdiff
|
tree
2022-11-04
Piot
r
Trojanek
ad
a
: Avoid
r
epeated iteration over pr
i
vate
prot
e
cted
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr
T
rojanek
ada:
Cleanu
p
clearin
g
f
lags
o
n package variab
l
e
s
commit
|
commitdiff
|
tree
2022-11-04
Piotr Tr
o
janek
ada
:
Fix var
i
ous typos in G
N
AT Use
r
's Guide
commit
|
commitdiff
|
tree
2022-11-04
M
a
rc Poulhi
è
s
ada:
F
i
x loop
unnesting issue
.
commit
|
commitdiff
|
tree
2022-11-04
P
i
o
tr
T
r
ojanek
ada: Fix repeated kil
l
ing of
p
rivate e
n
tity values
commit
|
commitdiff
|
tree
2022-11-04
Pi
o
tr Troja
n
ek
ada:
S
i
mp
l
i
fy detection of
co
n
t
r
olling
f
o
r
mals
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Skip dynam
i
c inte
r
face conv
e
rsion under configurabl
e
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Javier Miranda
ada: Ski
p
dyn
a
m
i
c interface conversi
o
n under configurable
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Ronan D
e
splanque
s
a
d
a: Fix
t
y
p
o
commit
|
commitdiff
|
tree
2022-11-04
Ghjuva
n
Lacambre
ada: Re
m
ove sa_messages
commit
|
commitdiff
|
tree
2022-11-04
Ghjuvan Lac
a
mbr
e
ada
:
R
efactor: repl
a
ce us
e
s
o
f `not Present(
X
)` wit
h
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
P
i
otr Troja
n
ek
ada: Fix v
a
rious typos in node a
n
d
e
ntity descrip
t
ion
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Pi
o
t
r
Troja
n
ek
ada: Fi
x
variou
s
t
y
pos i
n
GN
A
T RM
commit
|
commitdiff
|
tree
2022-11-04
P
i
otr
T
roj
a
nek
ada: Improve e
f
ficienc
y
of scope stack restoration
commit
|
commitdiff
|
tree
2022-11-04
R
on
a
n Desplanques
a
d
a: Smal
l
editori
a
l changes to documenta
t
ion comm
e
nts
commit
|
commitdiff
|
tree
2022-11-04
Steve
Baird
ada
:
All
o
w enabl
i
ng
a restric
t
ed set of language extension
s
.
commit
|
commitdiff
|
tree
2022-11-04
S
t
eve Bai
r
d
ada: Gen
e
rate missing
object decls f
o
r
a
dai
n
it/adafinal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Pi
o
tr Trojanek
a
d
a: Support
lock
-
free protected obj
e
cts wit
h
p
r
agma
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Cedric Lande
t
a
d
a: Re
m
ove VxWorks 6 and VxWorks 653 2
.
x
c
onten
t
fro
m
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Pi
o
tr Tr
o
janek
a
d
a: Reje
c
t expande
d
global name
s
in lock-f
r
e
e protected
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Steve
B
aird
ada
:
Generate host-side
C
UDA_R
e
gister_Funct
i
on
calls
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Eric B
o
tcazou
ada: Imp
l
ementation o
f
support for
s
torage models in
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Steve B
a
ird
a
da: Mi
n
or potential
b
ug in sem_ch6
.
adb
commit
|
commitdiff
|
tree
2022-10-06
Piotr
T
rojanek
ada: Reject cond
i
tional goto
i
n lock
-
free prote
c
ted
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
P
iotr T
r
o
j
anek
a
da: Cleanup related to lock-free protected subprograms
commit
|
commitdiff
|
tree
2022-10-06
Alexandre Oli
v
a
ada: hardened conditionals: ex
e
m
p
lify codegen changes
commit
|
commitdiff
|
tree
2022-10-06
Alexa
n
d
re Ol
i
va
ada:
hardened booleans: exemplify codegen cha
n
ges
commit
|
commitdiff
|
tree
2022-10-06
Ale
x
a
n
d
r
e Oliva
a
da: stack scrubbing: exemplify codegen changes
commit
|
commitdiff
|
tree
2022-10-06
P
i
otr Troj
a
n
ek
a
d
a
:
Fix
i
nserting o
f
v
a
lidity ch
e
cks i
n
lock-free
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Marc
P
oulhiès
ada:
A
d
d
C
d
e
clara
t
ions
f
o
r
S
torage Model su
p
por
t
commit
|
commitdiff
|
tree
2022-10-06
Steve B
a
ird
ad
a
: Incorrect inferences drawn from i
f
/el
s
i
f
/while
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Gar
y
Dismukes
ada: Acces
s
ibility
e
rr
o
r
inc
o
r
r
ectly flagged on ca
l
l
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Bob Duff
ada
:
Clean u
p
slice-of
-
component optim
i
z
a
tion
commit
|
commitdiff
|
tree
2022-10-06
Yannick M
o
y
a
da:
Do no
t
issue compi
l
er warn
i
ngs
i
n GNATprove
m
ode
commit
|
commitdiff
|
tree
2022-10-06
Bo
b
Duff
ada: Di
s
a
b
l
e
slice-of-
c
ompon
e
nt optimization in som
e
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piot
r
Trojanek
ada: Fix spu
r
ious warni
n
g
on unreferenced refinement
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
Ronan Desplanques
ada: Re
m
ove duplicated doc
c
omme
n
t secti
o
n
commit
|
commitdiff
|
tree
2022-09-29
Eric Botca
z
o
u
ada:
F
urt
h
e
r t
w
e
ak
n
ew expan
s
ion
of
contracts
commit
|
commitdiff
|
tree
2022-09-29
Bob Duff
ada: Improve efficiency of
slice-of-component assignme
n
t
commit
|
commitdiff
|
tree
2022-09-29
P
i
otr Troj
a
nek
ada: Fix checki
n
g
o
f Refin
e
d_State wi
t
h ne
s
te
d
package
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Ghjuvan Lacambre
ada: Doc: r
e
n
ame Va
l
id_I
m
a
ge to Vali
d
_Value
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada:
F
ix loc
a
t
i
on o
f
pragmas
comi
n
g fro
m
a
spects in
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
P
io
t
r Troj
a
nek
ada: Remove unreferenced Rtsfind
entries
commit
|
commitdiff
|
tree
2022-09-26
P
iotr Tr
o
j
a
n
e
k
a
da:
Remove unreferenced C macro from OS
c
onstants
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Eric Bo
t
cazou
a
da: Do
c
um
e
nt Long_Long_Long_Size parameter for -gnateT
commit
|
commitdiff
|
tree
2022-09-26
Ste
v
e Baird
ada: Impr
o
v
e
CUDA host-si
d
e
and device-side binder
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Kévin Le Gouguec
ada: D
o
cume
n
t support for
t
h
e
mold
linker
commit
|
commitdiff
|
tree
2022-09-26
Tucker Taft
a
d
a
:
Mak
e
Original
_
As
p
ect_
P
ragma_Name more precise
commit
|
commitdiff
|
tree
2022-09-26
P
i
otr Trojanek
ada:
D
elay expansion of
i
terator specification
in
p
reanal
y
sis
commit
|
commitdiff
|
tree
2022-09-26
P
iot
r
Trojanek
ada: D
e
l
a
y exp
a
nsio
n
of iterate
d
component associatio
n
commit
|
commitdiff
|
tree
2022-09-26
Piotr
Trojanek
ada
:
Only reject volati
l
e ghost objects w
h
en
S
PARK_Mode
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Justin Squ
i
rek
a
da: I
m
prov
e
acces
s
ibility
c
h
eck gen
e
ration
commit
|
commitdiff
|
tree
2022-09-26
Boris Yakobowski
a
da
:
Remove
G
NAT
m
e
tr
i
c's documentati
o
n from GNAT'
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr T
r
o
j
a
n
e
k
ada:
R
emove socket definitions for ancient MinGW
commit
|
commitdiff
|
tree
next