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: Dimensional analysis when used with elementary functions
2023-09-26
D
e
rek Schacht
ada: Dimensiona
l
an
a
lys
i
s when u
s
ed with elementar
y
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Yan
n
ic
k
Moy
ada: Clarif
y
R
M r
e
ferences t
h
at justify a con
s
tr
a
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard
W
ai
ada: TSS finalize address subpro
g
ram g
e
neration fo
r
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard
W
ai
ada: P
r
ivate extensions with
the keyword "synch
r
onized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc Poul
h
iès
a
da: Refine upper arra
y
bound for bit pac
k
ed array
commit
|
commitdiff
|
tree
2023-09-19
Javier Mirand
a
ad
a
: C
r
ash processin
g
type invariants on child subprogram
commit
|
commitdiff
|
tree
2023-09-15
E
ric Botcazou
ad
a
: Fix m
i
n
o
r glitc
h
in fi
n
ish_record_type
commit
|
commitdiff
|
tree
2023-09-15
Piotr
T
r
o
jan
e
k
ada: Explicitl
y
analyze and expand null arr
a
y ag
g
regates
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcaz
o
u
ada: F
i
x wron
g
optimizatio
n
of
extended retu
r
n for
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patri
c
k Bernardi
ad
a
:
Do not pe
r
form
local-exception-to-got
o
o
ptimiz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patrick Bern
a
rdi
ada: Generat
e
runtime
r
es
t
rictions list w
h
en t
h
e standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric
Botcazou
a
d
a: Fix internal error on misalig
n
ed comp
o
nent w
i
th
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcaz
o
u
ada:
F
ix
i
nternal
e
r
r
o
r on aggrega
t
e nested
i
n con
t
a
iner
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Kévin Le
G
ouguec
ada: Remove GNAT Pro details
re
g
arding mold
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazo
u
ada: Fix in
t
e
rna
l
error
on
e
xpre
s
sion function
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob
D
uff
ada: Clean up scope depth and related code (tech debt)
commit
|
commitdiff
|
tree
2023-09-15
Javi
e
r Miranda
ada:
C
rash on creation of extr
a
formals o
n
t
y
pe e
x
ten
s
i
on
commit
|
commitdiff
|
tree
2023-09-14
Yanni
c
k Moy
a
d
a: Improve detection
o
f deactivated co
d
e for warnings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javi
e
r Miranda
ada:
Assertion failure on exp
a
nsi
o
n of recor
d
with
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javie
r
Miranda
ada
:
Assertion failure on calculatio
n
of Large_Max_Size
_
Mutable
commit
|
commitdiff
|
tree
2023-09-14
Javier Mi
r
anda
ada:
A
ssertion failure o
n
for-of loo
p
iterat
i
n
g
on
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
E
ric
Botcazou
ada: Fix
late finalization for fun
c
tion
c
all in
d
elta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botcazou
a
d
a
:
Fix prema
t
ure finalizati
o
n in loop over l
i
mited
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada
:
Assertion
failure adding extra formals to l
a
te
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
E
ric
B
ot
c
azou
ada
:
Elide the copy
i
n
e
xtend
e
d returns f
o
r
nonl
i
mited
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Tom Tromey
ada: Fix DWARF for certa
i
n
arrays
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojane
k
ada: Remove redundant p
r
otection a
g
ainst
empty list
commit
|
commitdiff
|
tree
2023-09-05
Pio
t
r
Trojanek
ada: Add guard before querying the type for its
int
e
rfac
e
s
commit
|
commitdiff
|
tree
2023-09-05
P
iotr Trojan
e
k
ada:
Remove
redundant gu
a
rd again
s
t an empty list of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
E
r
ic Botcazo
u
a
d
a: Fix problematic second
a
ry stack management in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob D
u
ff
ada:
F
ix crash on selected
component lookup in generic
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Rona
n
Desp
l
anques
ada: Fix spur
i
ous wa
r
ning
emissi
o
ns
commit
|
commitdiff
|
tree
2023-09-05
Eric Bot
c
azou
ada: Fix assertion failure on very peculiar enumeration
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Liaiss M
e
rzougu
e
ad
a
: Remove TBC
c
omment, no more needed
commit
|
commitdiff
|
tree
2023-09-05
Javier Miranda
ada:
C
r
a
s
h on
c
reation of extra
f
ormals on type extens
i
o
n
commit
|
commitdiff
|
tree
2023-09-05
A
le
x
andre Oliv
a
ada:
P
ass -msmp whe
n
linking for ppc-v
x
6 --
R
TS=rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Javier Mirand
a
ada: Cr
a
sh on function re
t
urning empt
y
A
d
a 2022 aggregate
commit
|
commitdiff
|
tree
2023-09-05
Stev
e
B
a
i
r
d
ada:
Com
p
iler hangs on i
n
valid postcondition
commit
|
commitdiff
|
tree
2023-09-05
Steve Bai
r
d
ada: Spurious wa
r
ning about
negative modula
r
literal
commit
|
commitdiff
|
tree
2023-09-05
Johannes Kliemann
ada
:
Support set
t
i
ng task affin
i
ty on QN
X
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan Lacamb
r
e
ada: building_
e
xecutabl
e
_programs
_
with
_
gnat
.
rs
t
: fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
D
aniel King
ada:
P
reserve capability valid
i
ty in addres
s
arithmetic
commit
|
commitdiff
|
tree
2023-09-05
Eric Botcazou
ada:
F
ix in
t
er
n
al
e
rro
r
on instantia
t
i
o
n wi
t
h
private
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri Ber
n
ste
i
n
a
da: Remove
G
NATcheck violations
commit
|
commitdiff
|
tree
2023-09-05
Ronan
Desplan
q
ues
ada: Add missi
n
g
u
nits to Mak
e
file
.
rtl
commit
|
commitdiff
|
tree
2023-09-05
S
heri Bernstein
a
d
a
:
Handl
e
GNATcheck viola
t
ions
commit
|
commitdiff
|
tree
2023-09-05
Javier Mira
n
da
ada: Enforce sub
t
ype conforma
n
c
e of interf
a
ce
p
rimitives
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanques
ada: Tweak
comm
e
nt a
b
out
t
asking
c
orne
r
c
ase
commit
|
commitdiff
|
tree
2023-09-05
Marc
P
oulhiès
Revert "Adjust one
Ada test"
commit
|
commitdiff
|
tree
2023-08-07
She
r
i Bernstein
ada: Refacto
r
multipl
e
r
etu
r
n
s
commit
|
commitdiff
|
tree
2023-08-07
P
i
otr
Trojan
e
k
ada: Exte
n
d prec
o
ndition of I
n
te
r
faces
.
C
.
String
.
V
a
lu
e
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yanni
c
k
Moy
ada: Crash
in GNATprove
d
u
e to wrong de
t
ection of
inl
i
n
i
n
g
commit
|
commitdiff
|
tree
2023-08-07
Javie
r
Mirand
a
a
da: Spurio
u
s error
o
n class-wi
d
e p
r
eco
n
d
itions
commit
|
commitdiff
|
tree
2023-08-03
Sheri Bernstein
a
d
a: A
d
d
p
r
a
g
m
a
A
n
notate for GNATcheck exemptions
commit
|
commitdiff
|
tree
2023-08-03
V
a
s
i
l
iy Fofanov
ada: Rewrite Set_Imag
e
_*
_
U
n
signed ro
u
tines to
r
emove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric
Botcazo
u
ada: Fix spurious error o
n
'Input
of private ty
p
e with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric
Bot
c
azou
ada: Adjus
t
again address ari
t
hmetics
i
n System
.
Dwa
r
f_Lin
e
s
commit
|
commitdiff
|
tree
2023-08-01
Y
a
n
nick Moy
ad
a
:
F
ix pri
n
t
i
ng of n
u
m
bers in J
S
ON o
u
tput for data
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Di
s
able inlining of subprograms with Skip(_F
l
o
w_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ste
v
e
Ba
i
rd
ada:
B
ugbox
c
ompiling Const
r
ained
_
Protec
t
ed_O
b
ject
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve
B
ai
r
d
ad
a
: Incorrect optimization for unc
o
n
strained limited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pas
c
al Obr
y
ada: Defau
l
t
Put_Imag
e
for composite derived t
y
pes
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Fix
g
eneratio
n
o
f JSON output
for data represe
n
t
a
tion
commit
|
commitdiff
|
tree
2023-08-01
Bob D
u
f
f
ada: check Atree
.
Get/Set_Field_Value
commit
|
commitdiff
|
tree
2023-08-01
Lé
o
Creus
e
ada: Emit SCOs for
n
est
e
d
decisions
in quantified expressions
commit
|
commitdiff
|
tree
2023-07-28
E
r
i
c Botcazou
ada: Elide the co
p
y
i
n exten
d
ed returns
f
or
nonlimited
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clément Chigot
a
d
a
: Add an as
s
ert in Posix
I
n
te
r
rupt_W
a
it
commit
|
commitdiff
|
tree
2023-07-28
J
avier
Mir
a
nda
ada: F
i
x
u
nsupporte
d
dispat
c
hing
cons
t
ructor c
a
ll
commit
|
commitdiff
|
tree
2023-07-28
Pascal Obry
ada: Add support f
o
r binding to a speci
f
ic net
w
o
rk
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Léo Creuse
ada: Add missin
g
SCO gen
e
ration for quantified expressions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
R
onan Desplan
q
u
e
s
ada
:
Fix race condition in protecte
d
entry
c
all
commit
|
commitdiff
|
tree
2023-07-28
Vi
l
jar In
d
us
ada: Small
r
efa
c
tor
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada:
Ad
d
guard
for
detecti
o
n
of clas
s
-w
i
de precondition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Er
i
c Botcazou
ada: Fix
m
emory explosion on agg
r
e
g
ate of ne
s
te
d
packed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada: Le
a
ve de
t
e
ction of missing
re
t
urn in function
s
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom Trom
e
y
a
d
a
:
E
mi
t
enums
rather th
a
n defin
e
s for
v
arious
con
s
tants
commit
|
commitdiff
|
tree
2023-07-28
Piotr Tro
j
anek
ada: Fi
x
typ
o
in com
m
ent of Ad
a
.
Exc
e
p
t
ions
.
Save_Occurrence
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada:
Al
l
o
w calls to Number_Formals w
h
en
no
f
ormals
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
P
i
otr Trojanek
ad
a
: Impr
o
ve defense ag
a
inst illegal code in check
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
Marc Poulhiès
Adjust one Ada test
commit
|
commitdiff
|
tree
2023-07-18
Tom T
r
omey
ada
:
Use new typedefs in gcc-interface
commit
|
commitdiff
|
tree
2023-07-18
Javier Miranda
a
d
a: Constraint_Erro
r
caused by 'Im
a
ge
a
ppl
i
ed to
i
nt
e
rface
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Viljar Indu
s
ada: A
v
oid itera
t
o
r
con
f
licts in container aggregat
e
s
commit
|
commitdiff
|
tree
2023-07-18
Vi
l
jar Indus
ada: Apply correct el
e
m
ent type for contai
n
er aggregates
commit
|
commitdiff
|
tree
2023-07-18
V
iljar I
n
du
s
ada: Fix expanding contai
n
er aggregates with Iterator
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
Eric Botcazou
ada
:
Imp
r
ove
e
r
r
or message for a
m
biguous subprogram
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
J
avier
Miranda
ada: Constra
i
nt_Error caused by interface conversio
n
commit
|
commitdiff
|
tree
2023-07-18
R
o
n
an Desplanque
s
ada
:
Tweak
C
PU affi
n
ity
handling on L
i
nux
commit
|
commitdiff
|
tree
2023-07-18
E
r
i
c
Botcaz
o
u
ada:
Fi
x
intern
a
l error on
aggreg
a
tes of self-referencing
.
.
.
commit
|
commitdiff
|
tree
2023-07-18
E
ric Botcazou
ada:
Fi
x
assertion fa
i
lur
e
introduce
d
by
l
atest
change
commit
|
commitdiff
|
tree
2023-07-18
Ale
x
andre Oliva
ada: Expose exp
e
ct
e
d_thro
w
attribute
commit
|
commitdiff
|
tree
2023-07-18
Vasiliy Fofanov
ada: Refact
o
r
s
-pack* u
n
i
t
s to remove mul
t
i
ple retu
r
ns
commit
|
commitdiff
|
tree
2023-07-18
Yan
n
i
ck M
o
y
ada: Allow
w
arn
i
ngs w
i
th
explain c
o
de
commit
|
commitdiff
|
tree
2023-07-18
Eric Botcazou
ada
:
F
i
x Valid_Scalar
s
attribute applied to
t
ypes from
.
.
.
commit
|
commitdiff
|
tree
2023-07-11
Bob Duff
ada:
Avoid
r
enam
i
n
g
_d
e
cl in case of constrai
n
e
d
a
rray
commit
|
commitdiff
|
tree
2023-07-11
Eric Botcazou
a
da: Fix wr
o
ng resolut
i
on for hi
d
de
n
discriminant in
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
Eric Botcaz
o
u
ada: Follow-up fix for compila
t
ion i
s
sue with recen
t
.
.
.
commit
|
commitdiff
|
tree
2023-07-10
To
m
Tromey
ada: Add ty
p
e
defs to snames
.
h-tmpl
commit
|
commitdiff
|
tree
2023-07-10
Yannick Moy
ad
a
: Sim
p
lify assertion to
r
emove
CodePeer message
commit
|
commitdiff
|
tree
2023-07-10
Bob D
u
ff
ad
a
: Documentation for mixed declarati
o
n
s
and statements
commit
|
commitdiff
|
tree
next