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: Minor tweaks for comparison operators
2023-08-01
Yannick Moy
ada
:
Di
s
able inlining of subprograms with Skip(_Flow_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Stev
e
Baird
ada: Bugb
o
x compil
i
ng Constra
i
ne
d
_
Prote
c
te
d
_
O
bject
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
ad
a
: Inco
r
re
c
t op
t
imizat
i
on
f
or unconstrained limited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pasc
a
l Obry
ada: Default Put_Image
for
c
omposite
d
erived type
s
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannic
k
M
oy
ada: Fix gene
r
a
t
ion o
f
J
S
ON
outpu
t
for d
a
ta representation
commit
|
commitdiff
|
tree
2023-08-01
Bob Duff
ada: che
c
k Atree
.
Get/Set_Field_Va
l
ue
commit
|
commitdiff
|
tree
2023-08-01
Lé
o
Creuse
ada: Emit SCOs for nested decisio
n
s
in
quantified expressions
commit
|
commitdiff
|
tree
2023-07-28
E
ric Bot
c
azou
ada:
E
lid
e
the copy in extended returns f
o
r nonlimited
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clé
m
ent
C
h
i
go
t
ada: Add an
asser
t
i
n
Posix
In
t
err
u
pt_Wait
commit
|
commitdiff
|
tree
2023-07-28
Javier Mir
a
nda
ada: Fix u
n
s
u
ppor
t
ed d
i
s
patch
i
n
g
co
n
str
u
ctor c
a
ll
commit
|
commitdiff
|
tree
2023-07-28
Pascal Obry
ada:
A
d
d support for
b
ind
i
ng to
a
specific
n
e
twork
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Léo Creuse
ada: Add missing SCO generation for quantified express
i
ons
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Ronan Desplanque
s
ada: Fix race
condition i
n
protec
t
ed entry call
commit
|
commitdiff
|
tree
2023-07-28
V
iljar
In
d
us
ada: Small ref
a
cto
r
commit
|
commitdiff
|
tree
2023-07-28
Pi
o
tr Troj
a
nek
a
d
a: A
d
d
gua
r
d for detection of
c
l
as
s
-w
i
d
e precondition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Eric
B
o
t
cazou
a
d
a
:
Fix memory e
x
plo
s
ion on aggrega
t
e of nes
t
ed packed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
P
iotr Trojanek
a
d
a: Leave
d
etection of missing return in functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom Tromey
ada: Emit e
n
ums ra
t
her than defines
for vari
o
us constants
commit
|
commitdiff
|
tree
2023-07-28
P
i
otr Tr
o
j
anek
ada
:
Fix typo
i
n comm
e
nt of Ada
.
E
x
ceptions
.
S
a
ve_Occurren
c
e
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tro
j
anek
ada: Al
l
ow calls to Numb
e
r_For
m
als w
h
en no form
a
ls
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Troj
a
ne
k
ad
a
: Improve
d
efense ag
a
inst illeg
a
l code in
c
hec
k
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Marc Poulhiès
Adjust one Ada test
commit
|
commitdiff
|
tree
2023-07-18
Tom Tromey
ada: Use new typedefs in gcc-interface
commit
|
commitdiff
|
tree
2023-07-18
Jav
i
er Miranda
ad
a
: Const
r
aint_Error caused by 'Image a
p
plied to inter
f
ace
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Viljar I
n
d
us
ada: Avoid
iterator conflic
t
s in con
t
ain
e
r
ag
g
r
e
gates
commit
|
commitdiff
|
tree
2023-07-18
V
i
lj
a
r
Indus
ada: Apply c
o
rrect element type for container aggregates
commit
|
commitdiff
|
tree
2023-07-18
Viljar I
n
d
u
s
ada: Fix expandi
n
g c
o
ntaine
r
aggregates with
I
ter
a
tor
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric
Bot
c
a
z
ou
ada: Impro
v
e
error
mess
a
ge
f
or ambiguous sub
p
rogram
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Javi
e
r Mira
n
da
ada: Cons
t
raint_
E
rro
r
c
aused by interf
a
ce co
n
version
commit
|
commitdiff
|
tree
2023-07-18
R
o
n
an Des
p
lanques
ada: Tw
e
ak
CPU a
f
finit
y
handling
o
n Linux
commit
|
commitdiff
|
tree
2023-07-18
Eric Bot
c
azou
a
da: Fix internal e
r
ror on aggregates o
f
s
e
lf-referenci
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eri
c
Botcazo
u
ada: F
i
x as
s
e
r
tion
f
ailure introduced
by
l
atest change
commit
|
commitdiff
|
tree
2023-07-18
Alexan
d
re O
l
iva
ada: E
x
p
o
se expected_throw attri
b
ute
commit
|
commitdiff
|
tree
2023-07-18
V
a
siliy Fofanov
a
d
a: Refactor s-pac
k
*
uni
t
s
to remove multi
p
le ret
u
r
n
s
commit
|
commitdiff
|
tree
2023-07-18
Yann
i
c
k
Moy
ada: All
o
w w
a
rnings
with
exp
l
a
in code
commit
|
commitdiff
|
tree
2023-07-18
Eric Bot
c
az
o
u
ada: Fix Valid_Scalars attribute
applied to
types from
.
.
.
commit
|
commitdiff
|
tree
2023-07-11
Bob
Duff
ada: Avoid renaming_decl in case of cons
t
rain
e
d
array
commit
|
commitdiff
|
tree
2023-07-11
Eric Botcazou
a
da
:
Fix wrong resolutio
n
f
or hidden
d
iscrimi
n
ant in
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Eri
c
B
o
tcazou
ada
:
Follow-up fix for compilation
i
s
sue with re
c
e
nt
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Tom Tromey
ada:
A
dd typedefs to snames
.
h-tmpl
commit
|
commitdiff
|
tree
2023-07-10
Yannick Moy
ad
a
:
Simplify assertion t
o
re
m
ove
Cod
e
Peer message
commit
|
commitdiff
|
tree
2023-07-10
Bob Du
f
f
ada: Do
c
umentatio
n
for mixed declarations and statements
commit
|
commitdiff
|
tree
2023-07-10
Alexandre Oliva
ada:
hardcfr: opt
i
onally disable in leaf func
t
ions
commit
|
commitdiff
|
tree
2023-07-10
Alexandre
Oli
v
a
ada: hardcfr: mark th
r
ow-expected functions
commit
|
commitdiff
|
tree
2023-07-10
Yannick
M
o
y
ada: Adapt pr
o
of of System
.
A
rit
h
_Double
t
o r
e
move CVC4
commit
|
commitdiff
|
tree
2023-07-10
Alex
a
n
d
r
e Oliv
a
ada: Add
leafy
m
o
de for zero-call-use
d
-r
e
gs
commit
|
commitdiff
|
tree
2023-07-06
Claire Dross
ada: Add specification
source files of runti
m
e units
commit
|
commitdiff
|
tree
2023-07-06
Claire Dross
ad
a
: Refact
o
r the proof o
f
the Value and
Image
runtime
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Viljar Indus
ada: Evaluate stat
i
c expre
s
sions
i
n Ran
g
e attributes
commit
|
commitdiff
|
tree
2023-07-06
Vil
j
ar Indus
ada: Refer t
o
non-
A
da bin
d
i
ng limit
a
tions in u
s
e
r
guide
commit
|
commitdiff
|
tree
2023-07-06
V
iljar
Indu
s
ada: Re
u
s
e
code in Is_Fully
_
Initialized_T
y
pe
commit
|
commitdiff
|
tree
2023-07-06
Viljar Indus
a
d
a: Avoid crash
in Find_Optional_Prim_Op
commit
|
commitdiff
|
tree
2023-07-06
Yannick Moy
a
da: Improve error messa
g
e on vio
l
a
t
ion o
f
SPARK_Mode
.
.
.
commit
|
commitdiff
|
tree
2023-07-06
Steve Baird
ada
:
Finalization not p
e
rformed fo
r
co
m
ponent of protecte
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
E
r
ic Bot
c
azo
u
ada: Do not unneces
s
ar
i
ly
u
se component-wise
l
oop for
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Eric Botcazo
u
ada:
Small adjustme
n
ts to
new
pro
c
e
d
ure Expand
_
Unchecked_Uni
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
V
ilj
a
r Indus
ada: Add No_Use_
O
f_Attribute & No_Use_Of_Pragma to
.
.
.
commit
|
commitdiff
|
tree
2023-07-04
Yannick M
o
y
ada: Fix list
of inherited
s
ubp
r
o
g
rams
i
n query
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Er
i
c Botcazou
a
da: Fix renaming of p
r
edefine
d
equality opera
t
o
r
for
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric
B
ot
c
a
zou
ada: Fix
d
iscrep
a
ncy in exp
a
nsion
o
f untagged record
.
.
.
commit
|
commitdiff
|
tree
2023-07-03
Eric Botc
a
zou
a
d
a: Fix small inaccuracy in implementation of B
.
3
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Bo
t
c
azou
ada: Fix bu
i
ld of
GNAT tools
commit
|
commitdiff
|
tree
2023-06-27
E
r
ic
B
o
tcazou
a
da: Fix bad interacti
o
n
betwe
e
n i
n
li
n
ing and th
u
n
k
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric
B
o
tcazou
ada: Mak
e
th
e
identification of
case exp
r
essions more
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botca
z
ou
ada:
F
ix
double f
i
nalization of
ca
s
e expression in
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazou
ada: Fix incorrect
h
a
ndlin
g
of itera
t
o
r spec
i
fic
a
tions
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Clai
r
e D
r
oss
ada: Correct t
h
e contract of Ada
.
T
e
x
t
_IO
.
Get_Line
commit
|
commitdiff
|
tree
2023-06-27
Eric
B
otca
z
o
u
a
d
a: F
i
x
t
oo
l
a
t
e
finalization
and s
e
condary stack
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
E
r
ic Bo
t
cazou
ad
a
: Pl
u
g smal
l
loophole in the handling of privat
e
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Eric Botcazo
u
ada: Plug
a
not
h
er loophole in the handlin
g
of pri
v
ate
.
.
.
commit
|
commitdiff
|
tree
2023-06-27
Vil
j
ar
I
ndus
ada: Updat
e
printing con
t
ainer
aggregates for d
e
bugg
i
ng
commit
|
commitdiff
|
tree
2023-06-27
Viljar Indus
ada: Fix expanding
container aggr
e
gates
commit
|
commitdiff
|
tree
2023-06-20
Eric
Botcazou
a
d
a
:
Minor tweaks
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
a
d
a: Fix crash
o
n
inl
i
ning in GNATprove
commit
|
commitdiff
|
tree
2023-06-20
Er
i
c Botcazou
ada: Further fix
e
s t
o
handling of p
r
ivate views in
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
R
onan Desplan
q
ues
ada:
R
emove outdated c
o
mment
commit
|
commitdiff
|
tree
2023-06-20
E
ric B
o
t
c
azo
u
ada: F
i
x
couple o
f
issues in documentation
o
f overflow
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yanni
c
k Mo
y
ad
a
: Do not issue warni
n
g
on postcondit
i
on in s
o
me
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Yannick Moy
ada: Add t
h
e ability to add
e
rror codes to
e
r
r
or messages
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojan
e
k
a
d
a: F
i
x
for
attribu
t
e Range in Exceptional_Cases
commit
|
commitdiff
|
tree
2023-06-20
Jose
R
uiz
a
d
a:
D
ocument partition-w
i
de Ada si
g
nal handle
r
s
commit
|
commitdiff
|
tree
2023-06-20
Piotr Trojanek
ada: Fix for quantifi
e
d
expressions in Exceptiona
l
_Cases
commit
|
commitdiff
|
tree
2023-06-20
Bo
b
Duff
ada: Fix bug
i
n pred
i
cate
c
hecks with addres
s
cl
a
uses
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ad
a
:
Fix fallo
u
t of fix to handling of private vi
e
w
s
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Daniel King
ad
a
: Add
CHERI intri
n
sic bindings a
n
d helper functions
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcaz
o
u
a
da:
S
m
all fixes to handling of private v
i
ew
s
in instances
commit
|
commitdiff
|
tree
2023-06-20
Eric
Botcazou
ad
a
:
Fix internal e
r
ror on aggregat
e
with
i
n container
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ghjuva
n
Lacambre
ada:
F
ix -fdiagno
s
t
ic
s
-format=js
o
n not
p
rinting all
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Eric Botcazou
ada: Introduce -gn
a
teH switch to force revers
e
Bit_Ord
e
r
.
.
.
commit
|
commitdiff
|
tree
2023-06-20
Ya
n
n
i
ck M
o
y
a
d
a: Update annotatio
n
s in
r
unt
i
me for pro
o
f
commit
|
commitdiff
|
tree
2023-06-20
Marc Po
u
lhiès
a
da
:
F
ix type de
r
ivation of su
b
t
ype
o
f derive
d
t
yp
e
commit
|
commitdiff
|
tree
2023-06-20
Ghjuvan Lac
a
mbre
ada: P
a
s
s Error_Node to calls to
E
rror_Msg in l
i
b-load
.
adb
commit
|
commitdiff
|
tree
2023-06-20
Claire Dross
ada: Remove
referenc
e
s
to Might_Not_Retu
r
n
a
nd Alwa
y
s_Return
commit
|
commitdiff
|
tree
2023-06-20
Ja
v
ier Miranda
ada: S
p
u
r
ious erro
r
on package in
s
tantiat
i
on
commit
|
commitdiff
|
tree
2023-06-20
R
onan Despl
a
nqu
e
s
ada: Fi
x
edge
case in
A
da
.
C
alendar
.
Formatting
.
Time_O
f
commit
|
commitdiff
|
tree
2023-06-15
Marc
P
oul
h
iès
ad
a
:
Remove
u
nused files
commit
|
commitdiff
|
tree
2023-06-15
Eric Bo
t
cazou
ada: Fix wr
o
ng code for
ACATS c
d
1c03i
o
n Morello
t
arget
commit
|
commitdiff
|
tree
2023-06-15
E
ri
c
Bo
t
cazo
u
ada:
Fix
w
r
o
ng finalization for
doub
l
e s
u
btyp
e
o
f
bounded
.
.
.
commit
|
commitdiff
|
tree
2023-06-15
R
o
na
n
D
esplanques
ada:
M
ake minor im
p
rovements to u
s
e
r's gu
i
de
commit
|
commitdiff
|
tree
2023-06-15
Y
annic
k
Moy
ada: Reject Loop_Entry i
n
side
p
r
ef
i
x of Loop_Entry
commit
|
commitdiff
|
tree
next