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: Tweak internal subprogram in Ada.Directories
2023-10-10
Rona
n
Desplanques
ada
:
Tweak internal subprogram in Ada
.
Di
r
e
c
tories
commit
|
commitdiff
|
tree
2023-10-10
Eric B
o
tcazou
ada: Remov
e
supe
r
f
l
uo
u
s
s
etter pr
o
ce
d
ure
commit
|
commitdiff
|
tree
2023-10-10
Eric Botc
a
zou
ad
a
: Fix bad finalization of limited aggregate in conditiona
.
.
.
commit
|
commitdiff
|
tree
2023-10-10
Eric Botcazou
a
da: Fix infini
t
e loop wi
t
h m
u
ltiple limited w
i
th clauses
commit
|
commitdiff
|
tree
2023-10-10
Ronan Desplanq
u
es
a
d
a: Fix filesystem e
n
try filtering
commit
|
commitdiff
|
tree
2023-10-10
Ron
a
n
D
e
s
planques
a
d
a
:
Twe
a
k doc
u
mentation c
o
mments
commit
|
commitdiff
|
tree
2023-10-10
Javier Miranda
ad
a
: Crash pr
o
ce
s
sing pragmas
C
ompile_Time_Error a
n
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
E
ric Botcazou
ada
:
Fix m
i
ssing call to Fina
l
ize_Protection for simple
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Eric Botc
a
zou
ada: Fix deferre
d
con
s
tant wrongl
y
rejected
commit
|
commitdiff
|
tree
2023-09-26
Ma
r
c Poulhiès
a
d
a
:
Fix unnes
t
i
ng genera
t
e
d
loops
w
ith
n
ested finalization
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Javi
e
r Miranda
ada: Cr
a
sh processing
t
h
e
accessibility
l
e
ve
l
of an
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
E
r
ic Botcaz
o
u
ada: Fix m
i
ssing finali
z
ati
o
n of
extended retu
r
n object
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Daniel Kin
g
a
d
a: U
p
date personality functi
o
n
for CHERI
p
urecap
commit
|
commitdiff
|
tree
2023-09-26
D
a
niel King
ada: Fix conversions between ad
d
r
es
s
es and integers
commit
|
commitdiff
|
tree
2023-09-26
Danie
l
King
ada: Add
C
HERI variant of System
.
Stream_Attribute
s
commit
|
commitdiff
|
tree
2023-09-26
Da
n
ie
l
King
ada: Define CHERI
e
xception
types
commit
|
commitdiff
|
tree
2023-09-26
Ro
n
an Desplanques
a
d
a
:
Make minor correction
s
to C
U
DA-related comments
commit
|
commitdiff
|
tree
2023-09-26
Derek Schacht
ad
a
:
Dime
n
s
ional analysis w
h
en used with
e
lementar
y
.
.
.
commit
|
commitdiff
|
tree
2023-09-26
Y
a
nnick Moy
ada: Clarify RM re
f
er
e
nces t
h
a
t
justify a constraint
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
R
i
c
hard Wai
ad
a
: TSS
fin
a
lize addre
s
s subpro
g
ram
generation fo
r
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Richard W
a
i
ada:
Private exte
n
sio
n
s with the keywo
r
d "synchronized
.
.
.
commit
|
commitdiff
|
tree
2023-09-19
Marc
P
oul
h
i
è
s
ada: Refin
e
u
p
pe
r
array bound for bit packed array
commit
|
commitdiff
|
tree
2023-09-19
Javier Mirand
a
ada: Crash processing type invaria
n
ts on child
s
ubprogram
commit
|
commitdiff
|
tree
2023-09-15
Eric Botca
z
ou
ada: Fix minor glitch in finis
h
_re
c
ord_t
y
pe
commit
|
commitdiff
|
tree
2023-09-15
Piotr
T
rojanek
ada:
Explici
t
ly analy
z
e
and
e
xpand n
u
ll
array aggregates
commit
|
commitdiff
|
tree
2023-09-15
Eric
Botcazou
ada: Fix
w
r
o
ng
o
pti
m
ization of extended retu
r
n
f
or
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Patric
k
Bernardi
ada:
Do not
perf
o
rm loc
a
l-
e
x
c
eption
-
to
-
goto optimizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
P
a
t
rick B
e
rnardi
ad
a
: Generate run
t
ime
restrictions
lis
t
when the standard
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcaz
o
u
ada: Fix i
n
ternal e
r
ror on misaligned co
m
ponent with
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Eric Botc
a
zou
ada: Fix in
t
ernal err
o
r
o
n a
g
gregate nested in
co
n
tainer
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Kévin Le G
o
ug
u
ec
a
d
a: Remove GNAT Pro details regarding mold
commit
|
commitdiff
|
tree
2023-09-15
Eric Botcazou
ada: Fix intern
a
l err
o
r on exp
r
ession function wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-15
Bob Duf
f
a
d
a
:
C
l
ea
n
up scope depth
a
nd related code
(
tech debt)
commit
|
commitdiff
|
tree
2023-09-15
J
a
vi
e
r Miran
d
a
ada:
C
ras
h
on creati
o
n of ex
t
ra
f
o
r
mals on typ
e
extens
i
on
commit
|
commitdiff
|
tree
2023-09-14
Yann
i
ck Moy
ada: Improv
e
dete
c
t
i
o
n
o
f deactivated cod
e
for wa
r
nings
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Miran
d
a
ada: Assertion failure
on expan
s
io
n
of record
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Jav
i
er Miranda
ada: Assertion failure on calculation of Larg
e
_Max_Size_Mutab
l
e
commit
|
commitdiff
|
tree
2023-09-14
Javier Miranda
ada:
A
sser
t
i
o
n
f
a
i
l
ur
e
on for-of
loop iterat
i
ng o
n
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botcazo
u
a
d
a:
F
ix
l
a
te f
i
n
a
lization for function call in delta
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Eric Botc
a
zou
ada:
Fix p
r
emature finali
z
atio
n
i
n
loop over limited
.
.
.
commit
|
commitdiff
|
tree
2023-09-14
Javier Mira
n
d
a
ada: Asse
r
tion f
a
ilu
r
e add
i
ng
e
xtra forma
l
s to
late
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eri
c
Botc
a
zou
ada: Elide
the copy in extended returns for nonl
i
mit
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
T
om Tromey
ada: Fix DWARF for certain arrays
commit
|
commitdiff
|
tree
2023-09-05
Piotr Trojanek
ada: Remove
r
edundant protection ag
a
ins
t
empty list
commit
|
commitdiff
|
tree
2023-09-05
Pio
t
r T
r
ojanek
ada: Add guard before
quer
y
ing the ty
p
e f
o
r its inter
f
ace
s
commit
|
commitdiff
|
tree
2023-09-05
Piotr T
r
ojanek
a
da:
R
emove redu
n
d
ant guar
d
agai
n
st an emp
t
y lis
t
of
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Eric Bo
t
ca
z
o
u
ada:
F
ix prob
l
ematic secondary st
a
ck manag
e
ment in
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Bob Du
f
f
ada:
F
ix cras
h
on
s
e
l
e
cted compon
e
nt
lookup in gener
i
c
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanques
ada: Fix spurious wa
r
ning em
i
ssio
n
s
commit
|
commitdiff
|
tree
2023-09-05
Eric Botc
a
zou
ada: Fix as
s
ertion failure on v
e
ry
p
e
culiar enumera
t
ion
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
L
i
ais
s
Merzougue
ada:
R
e
m
ove TBC
comment, no
more nee
d
ed
commit
|
commitdiff
|
tree
2023-09-05
Javier
Miranda
ada:
C
rash on creation
of extra formal
s
on type e
x
tension
commit
|
commitdiff
|
tree
2023-09-05
Al
e
xandre Oliva
ada:
P
ass -msmp
w
h
en linking for ppc-vx
6
-
-
RT
S
=rtp-smp
commit
|
commitdiff
|
tree
2023-09-05
Ja
v
ier
Mir
a
nda
ad
a
:
Crash on function returnin
g
empt
y
Ada 20
2
2
a
g
gre
g
ate
commit
|
commitdiff
|
tree
2023-09-05
Steve
B
ai
r
d
ada:
Compil
e
r hangs on in
v
alid postcondition
commit
|
commitdiff
|
tree
2023-09-05
Steve B
a
ird
ada: Spurious warning about ne
g
a
tive mod
u
lar lit
e
ral
commit
|
commitdiff
|
tree
2023-09-05
Johannes
Kliema
n
n
ada: Support se
t
ti
n
g
t
ask aff
i
n
ity
o
n
QNX
commit
|
commitdiff
|
tree
2023-09-05
Ghjuvan Lacambre
ada: building_executable_programs_
w
ith_gnat
.
rst: fix
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
D
a
niel K
i
ng
ada
:
Preserve capabilit
y
validity in address ari
t
hmetic
commit
|
commitdiff
|
tree
2023-09-05
Eric
Botcazou
ada: Fix internal error on instantiatio
n
with pri
v
ate
.
.
.
commit
|
commitdiff
|
tree
2023-09-05
Sheri Bernstein
ada:
R
emove G
N
ATcheck violations
commit
|
commitdiff
|
tree
2023-09-05
Ronan Despla
n
ques
ad
a
: A
d
d
missin
g
units to Makefil
e
.
r
t
l
commit
|
commitdiff
|
tree
2023-09-05
Sheri Ber
n
stein
ada: Handl
e
GNATch
e
ck violations
commit
|
commitdiff
|
tree
2023-09-05
Javi
e
r Miranda
ada: Enforce
sub
t
y
p
e conformance of interfa
c
e primiti
v
es
commit
|
commitdiff
|
tree
2023-09-05
Ronan Desplanques
ada: Tweak comment about tasking corner case
commit
|
commitdiff
|
tree
2023-09-05
Marc
P
o
u
lhiès
Reve
r
t "Adjust one Ada
t
est"
commit
|
commitdiff
|
tree
2023-09-04
Marc Poulhiès
mklog: handle Signed-off-by, minor cleanup
Signed-off-by:
Marc Poulhiès
<dkm@kataplop.net>
commit
|
commitdiff
|
tree
2023-08-07
Sh
e
ri Bern
s
tein
ada: Refactor
mu
l
t
i
p
l
e
r
eturns
commit
|
commitdiff
|
tree
2023-08-07
Piotr Trojanek
a
da: E
x
tend precondi
t
ion o
f
I
nterfac
e
s
.
C
.
Str
i
ng
.
V
a
lue
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Yannic
k
Moy
ada: Cras
h
in GNATprove
d
ue to w
r
ong detect
i
on of inli
n
ing
commit
|
commitdiff
|
tree
2023-08-07
Javier M
i
ran
d
a
ada:
S
pu
r
ious error on class-wid
e
preconditions
commit
|
commitdiff
|
tree
2023-08-03
Sh
e
ri Berns
t
ein
a
d
a:
Ad
d
p
ragma Ann
o
tate for
GNA
T
check exe
m
ptions
commit
|
commitdiff
|
tree
2023-08-03
Vasil
i
y Fof
a
nov
ad
a
: Rewrit
e
S
e
t_Image_*_Unsigned r
o
ut
i
nes
to remove
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eric B
o
tcazou
a
d
a:
F
ix s
p
urious error on '
I
np
u
t of priva
t
e type with
.
.
.
commit
|
commitdiff
|
tree
2023-08-03
Eri
c
Botcazou
a
da: Adjust agai
n
addre
s
s arith
m
etics
i
n System
.
Dwarf
_
Li
n
es
commit
|
commitdiff
|
tree
2023-08-01
Ya
n
nic
k
Moy
ada: Fix prin
t
in
g
of
n
umbers in JSON out
p
ut for
dat
a
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yan
n
ick Moy
ada: Disable inlining of subprogra
m
s
with Skip(_Fl
o
w_And
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Ste
v
e Baird
ad
a
:
Bugbox compiling
Const
r
ained_Pr
o
tected_Objec
t
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Steve Baird
a
d
a:
Incorr
e
ct optimization for
u
n
cons
t
raine
d
limited
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Pasca
l
Ob
r
y
ada: Default Put
_
Image
f
or com
p
osite
derived types
.
.
.
commit
|
commitdiff
|
tree
2023-08-01
Yannick Moy
ada: Fix ge
n
eration of JS
O
N
o
utput for da
t
a representation
commit
|
commitdiff
|
tree
2023-08-01
Bob Duff
ada:
c
h
eck Atre
e
.
Get/Set
_
F
i
e
ld_Value
commit
|
commitdiff
|
tree
2023-08-01
Léo Creuse
a
da: Emit SCO
s
for nested decisions in qu
a
nt
i
fied express
i
ons
commit
|
commitdiff
|
tree
2023-07-28
E
r
ic Bo
t
cazou
ada: Elide the copy in extende
d
returns for nonlimit
e
d
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Clém
e
n
t C
h
igot
a
d
a: Ad
d
an assert in Posix Inter
r
upt
_
Wai
t
commit
|
commitdiff
|
tree
2023-07-28
Ja
v
ier Miranda
ada: Fix unsupported d
i
sp
a
t
ching con
s
t
r
ucto
r
call
commit
|
commitdiff
|
tree
2023-07-28
Pas
c
al Obry
ada: Add supp
o
rt for binding to a
s
p
ecific network
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Léo Creuse
a
da: Add missing SCO generation for quantified expr
e
ssions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
R
o
nan Desplanques
ada:
F
i
x
race
c
ondition in protected ent
r
y call
commit
|
commitdiff
|
tree
2023-07-28
Vilj
a
r Indus
ada: Small
r
efactor
commit
|
commitdiff
|
tree
2023-07-28
Pi
o
tr Trojanek
ada: A
d
d guard for det
e
ctio
n
o
f c
l
ass-wide prec
o
n
d
ition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
E
r
ic
B
otcazou
a
d
a
: Fix memo
r
y explosion on
a
ggregate of nest
e
d
p
a
c
k
ed
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr T
r
o
j
an
e
k
a
d
a: L
e
a
ve
detect
i
on
o
f
m
issing retu
r
n in functions
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Tom Trome
y
ada: Emit enums rather than defines
f
or various consta
n
ts
commit
|
commitdiff
|
tree
2023-07-28
Piot
r
Trojanek
ada: Fix typo in c
o
m
m
ent o
f
A
da
.
Excep
t
ions
.
Sav
e
_
O
ccurrence
commit
|
commitdiff
|
tree
2023-07-28
Piotr
T
r
o
j
a
nek
ad
a
: Allow calls to Number_Formals w
h
en no
f
ormals
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr
T
r
ojanek
ada
:
I
mprove defen
s
e
a
g
ainst ille
g
al c
o
d
e
in check
.
.
.
commit
|
commitdiff
|
tree
2023-07-25
M
a
rc Pou
l
hiès
A
d
just one Ada test
commit
|
commitdiff
|
tree
2023-07-18
Tom Tromey
ada:
U
se new typedefs in gcc-i
n
terface
commit
|
commitdiff
|
tree
2023-07-18
J
a
vier
M
iranda
ada: Constraint_Erro
r
c
a
u
s
e
d by 'I
m
age applie
d
to interface
.
.
.
commit
|
commitdiff
|
tree
next