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: building_executable_programs_with_gnat.rst: fix -gnatw.x index
2023-09-05
G
h
j
u
van Lacambre
ad
a
: bu
i
lding_executable_progr
a
ms_with_gnat
.
rst: fi
x
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Da
n
iel
King
ada: Preserve capa
b
i
l
i
t
y validity in
a
ddress ar
i
thme
t
ic
commit
|
commitdiff
|
tree
2023-09-05
Eric Botca
z
ou
ada: Fix inter
n
al error on instantiation
with private
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri B
e
r
n
stein
ada
:
Re
m
ove GNATcheck v
i
o
l
at
i
ons
commit
|
commitdiff
|
tree
2023-09-05
R
onan Despla
n
ques
ada: Add
missing u
n
its to
M
akefi
l
e
.
r
t
l
commit
|
commitdiff
|
tree
2023-09-05
S
h
eri Bernstein
ada: Han
d
le GNATcheck violations
commit
|
commitdiff
|
tree
2023-09-05
Javier Mirand
a
ad
a
: Enforce subtyp
e
conformance of interface primitives
commit
|
commitdiff
|
tree
2023-09-05
R
onan Desplanqu
e
s
a
da: Tw
e
ak comment about t
a
sking
c
orner c
a
se
commit
|
commitdiff
|
tree
2023-09-05
Ma
r
c Poulh
i
ès
Revert "Adjust one Ada test"
commit
|
commitdiff
|
tree
2023-08-07
Sheri
B
e
rnstein
ada:
Refactor multiple r
e
tur
n
s
commit
|
commitdiff
|
tree
2023-08-07
Piot
r
T
r
o
janek
ada: Exten
d
precondition of Interfaces
.
C
.
St
r
ing
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yanni
c
k Moy
ada
:
Crash in GNATprove d
u
e to wrong d
e
tection of inli
n
i
ng
commit
|
commitdiff
|
tree
2023-08-07
Javier Mir
a
nda
ada: S
p
urious error on cl
a
ss-wide pr
e
co
n
ditions
commit
|
commitdiff
|
tree
2023-08-03
S
heri Bernstein
a
d
a: Add pragma An
n
otate for GNATcheck exempt
i
ons
commit
|
commitdiff
|
tree
2023-08-03
Vasiliy Fof
a
nov
ada: R
e
w
r
ite Set_Image_*_U
n
s
i
gned rout
i
nes to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric Botcazou
ada: Fix
s
purious error on 'Input of pr
i
vate
t
y
p
e with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric
Botcazo
u
ada:
A
djust again address arithmetics in
S
y
s
tem
.
Dwar
f
_Lines
commit
|
commitdiff
|
tree
2023-08-01
Y
a
nnick Moy
ada: F
i
x
printing of numbers
i
n JSON output for data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Y
annick Moy
ada: Dis
a
ble inlining of s
u
bprograms
with
S
kip(_Flow_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Stev
e
Baird
ada: Bugbox comp
i
ling Constrained_Pro
t
ecte
d
_Ob
j
ect
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
ada: In
c
orrect optimization
f
or unco
n
s
t
rained
l
i
mited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pascal Obry
ada: Default P
u
t
_
Image f
o
r composite derived
t
ypes
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yan
n
ick
M
oy
ada: Fix gener
a
tion of JSON output for data r
e
presentati
o
n
commit
|
commitdiff
|
tree
2023-08-01
Bob Duf
f
ada
:
ch
e
c
k Atree
.
Get/Set_F
i
eld_Value
commit
|
commitdiff
|
tree
2023-08-01
L
éo
Creuse
a
d
a: Emit SCOs fo
r
n
e
sted decis
i
ons in quantifie
d
expressions
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
a
da: Elide the copy in extende
d
returns
f
o
r
n
o
nli
m
ited
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clément
Chi
g
ot
ada: A
d
d a
n
ass
e
rt in Po
s
ix Interr
u
pt_W
a
it
commit
|
commitdiff
|
tree
2023-07-28
J
avi
e
r
M
i
ra
n
da
ada:
Fix unsupported dis
p
a
tch
i
n
g
c
o
nstructor ca
l
l
commit
|
commitdiff
|
tree
2023-07-28
Pascal Obry
ad
a
: Add suppo
r
t
for binding to a specific
networ
k
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Léo
C
reuse
a
da: Add mis
s
ing SCO
g
ener
a
t
i
on for quantified exp
r
essions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
R
o
nan Desplan
q
ues
ada
:
Fix
r
ace condition i
n
protected entry cal
l
commit
|
commitdiff
|
tree
2023-07-28
Viljar Indus
ada: Smal
l
r
efactor
commit
|
commitdiff
|
tree
2023-07-28
P
iotr Trojan
e
k
ada: Add guard for det
e
cti
o
n
o
f class-wide pre
c
o
n
dition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eric Botcazou
ada:
F
ix memory explo
s
ion on aggre
g
a
t
e of nested p
a
c
k
ed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr T
r
o
janek
ada: Leave detection of missing return in functions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
T
o
m Tromey
ada: Emit enums rather
than defines for v
a
rio
u
s constants
commit
|
commitdiff
|
tree
2023-07-28
P
iotr Trojanek
ada
:
Fix typo i
n
comment of
A
da
.
E
x
ce
p
t
i
o
n
s
.
Save_Occu
r
rence
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ad
a
:
Allow calls
t
o
Number_Fo
r
mals when
n
o
f
o
rmals
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Imp
r
o
v
e defense against illegal code i
n
che
c
k
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Marc Poulhiès
A
d
just one Ada test
commit
|
commitdiff
|
tree
2023-07-18
Tom Trom
e
y
ada: Use new
t
ypede
f
s in gcc-interface
commit
|
commitdiff
|
tree
2023-07-18
Javie
r
Miran
d
a
ada: Co
n
st
r
aint_Error
caused by 'Image a
p
p
l
ied t
o
inte
r
face
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Vi
l
jar Indus
ada: Avoid iterator c
o
nflicts
in container aggre
g
ates
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indus
ada: Apply correct elem
e
nt type for contai
n
er
aggre
g
ates
commit
|
commitdiff
|
tree
2023-07-18
V
i
ljar I
n
dus
ada:
Fix expa
n
d
i
ng container ag
g
regates with
Ite
r
ator
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric
B
otcaz
o
u
ada: Improve err
o
r message for ambiguous su
b
program
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Javier
Mir
a
nd
a
ada:
Co
n
straint_Error caused by interface co
n
ver
s
ion
commit
|
commitdiff
|
tree
2023-07-18
Ron
a
n
Desp
l
anques
ada: Tweak CPU affin
i
ty handlin
g
on Linux
commit
|
commitdiff
|
tree
2023-07-18
Eric
B
o
tc
a
zou
ada: Fix in
t
er
n
al error on ag
g
re
g
a
tes of self-referencing
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eri
c
Botcazou
ada: Fix asse
r
tion fail
u
r
e
i
n
troduced by
latest change
commit
|
commitdiff
|
tree
2023-07-18
Alexand
r
e
Ol
i
va
ada: Expose exp
e
c
ted_throw at
t
r
ibute
commit
|
commitdiff
|
tree
2023-07-18
Vas
i
liy Fofanov
a
da: Refactor s-
p
ack
*
un
i
t
s
t
o
remove m
u
ltiple
re
t
urns
commit
|
commitdiff
|
tree
2023-07-18
Yannick
M
oy
ada: Allow warnings with explain code
commit
|
commitdiff
|
tree
2023-07-18
Eric Botc
a
zou
ada: Fix
Valid_Scalars attribute a
p
plie
d
to types
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2023-07-11
Bob Duff
ada: Av
o
i
d
r
enaming_
d
e
cl i
n
case of constrained array
commit
|
commitdiff
|
tree
2023-07-11
Er
i
c
B
o
tcazou
ada:
F
ix wr
o
ng resolu
t
ion for hid
d
e
n
discrimin
a
nt in
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Eric
B
otcazou
ada: Follow
-
up f
i
x for
compilati
o
n
i
s
sue with rec
e
nt
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Tom Tromey
ada: Add typ
e
defs to snames
.
h-tmpl
commit
|
commitdiff
|
tree
2023-07-10
Yannick Moy
ada: Simplif
y
a
s
sertion to r
e
move
C
odeP
e
er message
commit
|
commitdiff
|
tree
2023-07-10
Bob Duff
a
d
a: Documenta
t
ion
f
o
r mixed
d
ec
l
arations
and
s
t
atemen
t
s
commit
|
commitdiff
|
tree
2023-07-10
Alexandre O
l
i
v
a
ada: hardcfr: op
t
ional
l
y dis
a
ble in
leaf functions
commit
|
commitdiff
|
tree
2023-07-10
Alexandre Oliva
ada: ha
r
dc
f
r: mark t
h
ro
w
-expe
c
ted fun
c
tions
commit
|
commitdiff
|
tree
2023-07-10
Y
a
nnick Moy
ad
a
:
A
d
a
pt proof of Syste
m
.
A
rith_Double to
r
emove CVC4
commit
|
commitdiff
|
tree
2023-07-10
A
l
exandre Oliva
ada: Add lea
f
y mo
d
e for zero-call-u
s
ed-regs
commit
|
commitdiff
|
tree
2023-07-06
C
laire Dro
s
s
ada: Ad
d
specifi
c
at
i
on so
u
rc
e
fil
e
s of runtime units
commit
|
commitdiff
|
tree
2023-07-06
C
l
aire Dros
s
a
da: Refact
o
r t
h
e proof of the Valu
e
and Image r
u
ntim
e
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Viljar In
d
u
s
ada:
E
va
l
uate static e
x
pressions in
Range attributes
commit
|
commitdiff
|
tree
2023-07-06
Viljar Indus
a
d
a
: Refer to n
o
n-
A
da bind
i
ng limitations
in u
s
er
guide
commit
|
commitdiff
|
tree
2023-07-06
Vil
j
ar Indus
ada: Reuse cod
e
i
n I
s
_Fully_I
n
itialized_Type
commit
|
commitdiff
|
tree
2023-07-06
Viljar Indus
ada: Avoid
c
rash in F
i
nd_Optional_Prim_Op
commit
|
commitdiff
|
tree
2023-07-06
Y
annick
Moy
ada:
Improve e
r
ror messag
e
on
v
iolation
o
f SPARK_Mo
d
e
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
S
t
eve B
a
ird
ada: Finalization no
t
performed for
c
om
p
onent of protected
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eric
B
o
t
cazou
ada: Do not unn
e
cessarily use component-wise loop for
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eric B
o
tcazou
ada: Small adjust
m
e
nts to n
e
w proce
d
ure
E
xpand_Uncheck
e
d_Uni
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
V
i
ljar Indus
ada: Add
No_Use_Of_Att
r
ibu
t
e
& No_Use_
O
f_Pragma to
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Yannick Moy
ad
a
: Fix list of in
h
erited subpro
g
rams in query for
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Botca
z
o
u
ada: Fix
r
enaming of predefined equality operator
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric B
o
tcaz
o
u
ada
:
Fix discrepancy in
e
xpans
i
o
n
of untagged re
c
o
r
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Botcazou
ada: Fix small i
n
accu
r
ac
y
in imp
l
ementation of B
.
3
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Er
i
c
Botcazou
a
d
a: Fix
b
uil
d
of GNAT tools
commit
|
commitdiff
|
tree
2023-06-27
Eric Botca
z
ou
a
d
a: Fi
x
bad i
n
tera
c
tion between inlining
a
nd thunk
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
a
d
a: Mak
e
the
i
dentific
a
tion
o
f case expressions more
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eri
c
B
otcaz
o
u
ada: Fi
x
d
o
uble f
i
nalizati
o
n
of c
a
se e
x
pression in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Fix incorrect hand
l
ing
o
f iterator sp
e
cifications
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
C
l
aire Dr
o
ss
ada: Correct th
e
contract of Ada
.
Text_IO
.
Get_Line
commit
|
commitdiff
|
tree
2023-06-27
E
r
ic
B
o
t
cazou
ada: Fix too l
a
t
e f
i
naliz
a
tion and
s
econdary stack
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric
B
otcazou
ada:
Plug
s
mall loophole
in the
h
an
d
ling of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botc
a
z
ou
ada:
Plug a
n
other loophole in th
e
ha
n
dling of private
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Viljar In
d
us
ada: U
p
date printing container aggregates
for
d
ebugging
commit
|
commitdiff
|
tree
2023-06-27
Viljar Indus
ada
:
Fix expanding c
o
ntainer aggregates
commit
|
commitdiff
|
tree
2023-06-20
Er
i
c Bo
t
ca
z
ou
ada: Minor tweaks
commit
|
commitdiff
|
tree
2023-06-20
Y
a
nnick Moy
ada: Fix cras
h
on in
l
ining in GNATprove
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada:
Further fix
e
s to han
d
ling of private views in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ronan Despla
n
q
ues
ada: Remove outd
a
te
d
comm
e
nt
commit
|
commitdiff
|
tree
2023-06-20
Eri
c
Bo
t
cazou
ada
:
Fix co
u
p
le of
i
ssues in document
a
tion of
o
ver
f
l
ow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
ada
:
Do not issue warnin
g
on postcondition in some
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
a
da: Add the abil
i
ty to add error codes to error
messages
commit
|
commitdiff
|
tree
2023-06-20
Piotr
Trojanek
ad
a
:
Fi
x
for attribute Range in Excepti
o
nal_Cas
e
s
commit
|
commitdiff
|
tree
2023-06-20
Jose Ruiz
ada: Docum
e
nt p
a
rtition-wide Ada signal han
d
le
r
s
commit
|
commitdiff
|
tree
2023-06-20
Piot
r
Trojanek
ada
:
Fix for quantified
exp
r
essi
o
n
s in
E
xce
p
t
ional_C
a
ses
commit
|
commitdiff
|
tree
next