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 inserting of validity checks in lock-free protected subprograms
2022-10-06
Piotr Trojanek
ada: Fix inserting of
v
alidity chec
k
s in
lock-free
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Marc
Poul
h
iès
ada: Add C
d
eclar
a
tio
n
s for Stora
g
e
M
odel sup
p
ort
commit
|
commitdiff
|
tree
2022-10-06
Steve
Baird
ada:
Incorrect infer
e
nces drawn from if/els
i
f/
w
hile
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Gary
Dismukes
ada: Accessib
i
li
t
y error inco
r
rectly
flagged on cal
l
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Bob Duff
a
da: Clea
n
up
sli
c
e-of-comp
o
nent optimization
commit
|
commitdiff
|
tree
2022-10-06
Y
an
n
ick Moy
ada: Do
n
ot issue c
o
mpiler warning
s
in GN
A
Tpr
o
ve mode
commit
|
commitdiff
|
tree
2022-10-06
B
o
b D
u
ff
a
da: Disable s
l
i
ce-of-com
p
onent
opt
i
m
i
zation in
some
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
P
iotr Trojan
e
k
ada: Fix spurious warning on unreferenced
r
efinement
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
Ronan De
s
planqu
e
s
a
d
a: Remove
duplicated doc comment se
c
t
ion
commit
|
commitdiff
|
tree
2022-09-29
Eric Botcazou
ada: Further tweak new expa
n
sion of contracts
commit
|
commitdiff
|
tree
2022-09-29
Bob
D
uff
ada: Improve effi
c
iency
of slice-of-component assi
g
nment
commit
|
commitdiff
|
tree
2022-09-29
Pi
o
t
r T
r
ojanek
ada: Fix
c
hecking of
R
e
f
ined_State
w
ith neste
d
package
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Ghjuvan
L
acamb
r
e
ada:
D
oc
:
rename Valid_Image to Valid_Va
l
u
e
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojan
e
k
ada: Fix
l
o
catio
n
o
f prag
m
as c
o
m
i
ng from aspects
in
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
P
iotr Trojanek
ada: Remove unrefer
e
nced R
t
s
f
in
d
entr
i
es
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: R
e
m
o
ve un
r
eferenced C
macro f
r
o
m OS c
o
nstants
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Eric Bo
t
cazou
ada
:
Documen
t
Long_Long_Lon
g
_S
i
z
e p
a
r
ameter for -gnateT
commit
|
commitdiff
|
tree
2022-09-26
Steve Bai
r
d
ada: Improve CUDA host-side
and d
e
vi
c
e
-
sid
e
bin
d
er
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
K
é
vin Le Gouguec
ada: Do
c
ument support for
t
he
mold
l
inker
commit
|
commitdiff
|
tree
2022-09-26
Tucker
Taft
ada:
M
ake Original_As
p
ect
_
Pragma_N
a
me
more precise
commit
|
commitdiff
|
tree
2022-09-26
Piotr
T
roja
n
ek
ada: Delay ex
p
a
n
sion of iterator specificat
i
on in prean
a
lysis
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojan
e
k
ada: Dela
y
expans
i
o
n
o
f
iterat
e
d componen
t
associ
a
tion
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Only reject v
o
latil
e
ghost obje
c
ts when SPAR
K
_Mod
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Justin
S
quire
k
ada: Improve
accessibility ch
e
ck ge
n
eration
commit
|
commitdiff
|
tree
2022-09-26
Boris
Y
akobowski
ada: Remove GNATmetric's documentation from
GNAT's
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
P
iotr T
r
ojanek
ada: Remove
s
ocket
d
efin
i
tions for ancient Min
G
W
commit
|
commitdiff
|
tree
2022-09-26
Piotr
T
rojanek
ada:
R
emove defini
t
io
n
o
f MAXPATHLEN
for anci
e
nt MinGW
commit
|
commitdiff
|
tree
2022-09-26
Pi
o
tr Trojanek
ada:
D
e
c
ons
t
ruct b
u
ild
support fo
r
ancient
M
inGW
commit
|
commitdiff
|
tree
2022-09-26
Pio
t
r
Trojanek
ada: Tune comment of r
o
u
tine for detecting junk names
commit
|
commitdiff
|
tree
2022-09-12
Er
i
c B
o
tca
z
o
u
[Ada] Fix
i
mmediat
e
a
ssertio
n
f
ailure with -g
n
atd
.
1
commit
|
commitdiff
|
tree
2022-09-12
Justin
S
quirek
[
A
da] Stor
a
ge_
E
rror r
a
ised analy
z
ing type with
c
all
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Stev
e
Baird
[Ada] Improve CUDA host
-
sid
e
an
d
device-side binder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojan
e
k
[Ad
a
] Sy
n
c
documenta
t
ion
o
f ju
n
k names with
c
ode
commit
|
commitdiff
|
tree
2022-09-12
P
i
otr Trojanek
[Ada] Re
j
ect 'Va
l
i
d
_S
c
alars
o
n Un
c
hecked_Union r
e
gar
d
less
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Ste
v
e Baird
[Ada] Improve CUDA ho
s
t
-
side and device-side
b
inder
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Eric B
o
tcazou
[Ada
]
Temporary tweak new expan
s
ion o
f
cont
r
acts
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada
]
Sp
e
cial-case
p
ri
n
ting
o
f SPARK_Mode in error
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Yannick Moy
[A
d
a
]
Justify f
a
lse ala
r
m from CodePe
e
r
analysis
o
f
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
P
io
t
r Troj
a
nek
[Ada] Cl
e
anup ro
u
t
ine for handling SP
A
RK_Mode
kin
d
s
commit
|
commitdiff
|
tree
2022-09-12
Yann
i
ck Moy
[Ada] Accep
t
e
x
plicit SPARK_
M
ode Au
t
o as co
n
figu
r
ation
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Joffrey Huguet
[Ada] Remove SPARK contain
e
r
s
from GNAT documentation
commit
|
commitdiff
|
tree
2022-09-12
Yann
i
ck Moy
[
Ada]
Reject u
s
e
i
n SPA
R
K of Asm intrins
i
cs for code
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Eric B
o
t
c
az
o
u
[Ada] Add C declaratio
n
for Opt
.
Unnest_Subprogra
m
_Mode
commit
|
commitdiff
|
tree
2022-09-12
S
t
e
v
e Baird
[
A
da] Internal err
o
r compili
n
g formal
i
nst
a
nce of g
e
n
eric
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Joff
r
ey Hug
u
et
[Ada] Re
p
lace
S
PARK conta
i
ners implementation b
y
Compile_Tim
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Pi
o
tr Trojanek
[A
d
a] Fix va
l
idity chec
k
i
n
g on renam
e
d Old attribute
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Justin Squirek
[
Ada] Tech debt: E
x
pansion of
c
on
t
racts
commit
|
commitdiff
|
tree
2022-09-12
Er
i
c Bot
c
azo
u
[Ad
a
]
Fix ove
r
sight in implementat
i
on of unnesting
commit
|
commitdiff
|
tree
2022-09-12
S
t
eve
Baird
[
Ada] Sy
n
t
ax err
o
r in Ada 2022 array ag
g
regate cause
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Steve Bair
d
[Ada] Initialize
a
local variable
to avoi
d
a C
o
de
P
eer
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
St
e
ve Baird
[Ad
a
] bugbo
x
ref
e
renc
i
ng INOX prefixed view of primitive
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Ste
v
e Baird
[A
d
a] Lock_Fr
e
e asp
e
ct
tak
e
s precedence over Ceiling_Lock
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Eric
Botcaz
o
u
[Ada] Do not mark u
s
er parameters o
f
protected subprograms
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Gary Dismukes
[A
d
a] Fix issue
s
wi
t
h
compili
n
g ACATS test for us
e
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
S
t
eve Baird
[Ada] Re
m
ove
a
no-longer
-
correct comment
commit
|
commitdiff
|
tree
2022-09-12
Bob
D
uff
[Ada] Fi
x
bu
g
s in check-
r
elated
w
arni
n
gs
.
commit
|
commitdiff
|
tree
2022-09-12
P
atri
c
k
B
e
rnardi
[Ada] Disable Supp
o
rt_Atomic_Primitives on x86_64
V
xWorks
commit
|
commitdiff
|
tree
2022-09-12
Patric
k
B
ernardi
[Ada]
D
isable Suppo
r
t_Atomic_Primitives
o
n QNX and
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
B
ob Duff
[A
d
a] P
a
rser and lexer
c
l
eanup
commit
|
commitdiff
|
tree
2022-09-12
Javier Miranda
[
A
d
a
] Revert "Enforce matching of extra
f
ormals"
commit
|
commitdiff
|
tree
2022-09-06
Eric Botcazou
[
A
da] Mark art
i
fici
a
l
formal pa
r
ameters
i
n the debug
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Eric
Botca
z
ou
[Ada] Fix problem
a
ti
c
line
d
ebug
i
n
f
o
a
t
t
ache
d
to call
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Eric Botcazou
[Ada] Fi
x
inte
r
na
l
error on
d
ouble renaming of p
r
iva
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Eric Botcazo
u
[Ada] Fix m
i
ssi
n
g name for acce
s
s t
y
pe in generic instantiation
commit
|
commitdiff
|
tree
2022-09-06
Eric Bot
c
azou
[
Ada
]
E
x
tend No_Dependence re
s
t
riction to code generation
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Stev
e
Bair
d
[Ada] Disable lock free
p
rotected impleme
n
ta
t
ion if
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve
B
ai
r
d
[Ada]
E
nab
l
e lock free protec
t
ed
i
m
p
l
ement
a
tion by
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
St
e
ve
B
a
ird
[Ada
]
Re
s
tore mi
s
s
i
ng Aggregate a
s
pect for Ada
.
C
ontaine
r
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Marc Poulhiès
[Ada] Fix formal
p
a
ramete
r
s l
i
st for second
a
ry stack
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Retain Ha
s
_Private_V
i
ew flag f
o
r actuals of inlined
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Javier
Mira
n
da
[Ada] Enfo
r
ce mat
c
hin
g
of
e
x
t
ra fo
r
mals
commit
|
commitdiff
|
tree
2022-09-06
Arnaud C
h
arle
t
[
A
d
a
] Di
s
able if
e
xp
r
e
ss
i
on optimizati
o
n
for LLVM
commit
|
commitdiff
|
tree
2022-09-06
Javier Mirand
a
[Ada] Report error
in non
-
legal
c
lass-wide condi
t
i
o
n
s
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[
Ada] Slice
le
n
g
th computation bug in G
e
n
e
ric_Bound
e
d_Length
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Bai
r
d
[Ada] Im
p
rove documentation
o
f validatio
n
c
h
ecki
n
g
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Justin Sq
u
ir
e
k
[Ada]
H
a
ndle new At_End expansion durin
g
unnes
t
ing
commit
|
commitdiff
|
tree
2022-09-06
P
i
otr Trojan
e
k
[A
d
a] Fix
com
m
ent a
b
out m
a
pping of parameters
a
n
d inlining
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Cleanup unn
e
cessary sha
d
owing in expansi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
J
ulie
n
Bortolussi
[A
d
a] Fix a bug in
t
he contract of f
o
rmal ordered sets
commit
|
commitdiff
|
tree
2022-09-06
Steve B
a
i
r
d
[Ad
a
] Cope
w
it
h
scalar subtypes
t
h
a
t have a non-scalar
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Bob
D
uff
[Ada
]
Place "at end"
on
b
ody nodes
commit
|
commitdiff
|
tree
2022-09-06
Steve B
a
ir
d
[Ada] Document c
h
ange to legality checks
for Inox ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Ba
i
rd
[Ada] Temp
o
rarily
s
implify legality chec
k
s
for Ino
x
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr T
r
o
j
anek
[Ada] Tune mes
s
a
g
e for
i
llegal a
s
p
e
ct Relaxed
_
Ini
t
ializat
i
on
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada] Bad Vali
d
_Sca
l
ars result if signed int component
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Steve Baird
[Ada
]
ICE handling dis
c
r
iminant-depende
n
t
i
ndex
cons
t
raint
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[
Ada] Add formal verificatio
n
dependencies to
libgnat
commit
|
commitdiff
|
tree
2022-09-06
Eric Botcaz
o
u
[Ada
]
Co
r
rect
l
y
r
o
und Value attribute for flo
a
t
ing
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr
T
rojanek
[Ad
a
]
Improve det
e
ction of
illeg
a
l I
t
erab
l
e aspects
commit
|
commitdiff
|
tree
2022-09-06
Eri
c
B
o
tcazou
[Ada]
C
orre
c
tly round Value attribute
f
or floating
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada]
M
ove
c
h
e
c
k
f
or null array ag
g
regates to expans
i
on
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] Fix in
c
onsiste
n
t building of itypes
f
or null
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
P
i
otr Tr
o
j
ane
k
[Ad
a
]
F
ix
i
nsertion
o
f a r
u
n
time check for null a
r
r
a
y
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ad
a
]
C
l
eanu
p
iteration over aggregat
e
component associatio
n
s
commit
|
commitdiff
|
tree
2022-09-05
Piotr Tr
o
janek
[A
d
a] Remo
v
e
V
MS
s
peci
f
i
c
routine that
i
s no
longe
r
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve Bai
r
d
[Ada] Sing
l
e-e
l
em
e
nt App
e
nd per
f
o
rman
c
e impr
o
vement
commit
|
commitdiff
|
tree
2022-09-05
Piotr Troja
n
ek
[
Ada] Create
i
n
terna
l
type
f
or
n
ull array aggregate
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr
Trojanek
[Ad
a
] R
e
m
ove no longer r
e
ferenced GNATprove u
t
ility
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Steve Baird
[Ada] Bad Default_I
n
it
i
al_Condition check fo
r
a
not
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Tr
o
j
an
e
k
[Ada] Fix
d
etection of unused
w
arni
n
g s
u
ppressio
n
commit
|
commitdiff
|
tree
next