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] tech debt: Clean up Uint fields, such as Esize
2021-10-20
Bob Duff
[
Ada] tec
h
debt: Clean
u
p U
i
nt
f
ields, such as Esize
commit
|
commitdiff
|
tree
2021-10-20
Gary Dismuk
e
s
[Ada]
W
arning on
n
onmatching
s
u
b
ty
p
es
in fully conforming
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
P
iotr T
r
oj
a
n
e
k
[Ad
a
]
Prevent us
e
o
f
an uninitialized A
S
T f
i
eld wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2021-10-20
Eric Botcazou
[Ada] Ex
p
ose and use
t
yp
e
-g
e
neric GCC atomic bui
l
t
i
ns
commit
|
commitdiff
|
tree
2021-10-20
Eric Botcazou
[Ada] Rewrite t
e
sts on Convent
i
on_Intrinsic
commit
|
commitdiff
|
tree
2021-10-20
Eric Botcazou
[
A
da] Sm
a
ll cle
a
nup in Eval
_
Integer
_
Liter
a
l
commit
|
commitdiff
|
tree
2021-10-20
Do
u
g Ru
p
p
[A
d
a
] Ge
t
rid o
f
Frontend_Exceptio
n
s refs
commit
|
commitdiff
|
tree
2021-10-20
Yannick Moy
[A
d
a]
Issue warning on un
u
sed q
u
antified
e
xpressio
n
commit
|
commitdiff
|
tree
2021-10-20
Marc
Poulhiès
[
A
da] Fi
x
type
c
onversion h
a
ndling i
n
va
l
id
i
ty c
h
ecks
commit
|
commitdiff
|
tree
2021-10-11
Eric Botcazou
[Ada]
Fix pr
o
blematic
import of type
-
generic GCC atom
i
c
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Eric Botcazou
[Ada] T
w
eak the warning about mis
s
i
ng local raise
s
commit
|
commitdiff
|
tree
2021-10-11
Eric
Botcazou
[
Ada]
Fix for
at
o
mic wrongly rejected on object of
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Eric Botcazou
[Ada
]
Fix
inc
o
rrec
t
size
for pathologic
a
l p
a
ss-by-c
o
py
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
D
oug
R
upp
[Ad
a
]
Runtime transition: Syste
m
.
Threads
commit
|
commitdiff
|
tree
2021-10-11
Piotr Trojanek
[
Ad
a
] Remove
redundan
t
guard in e
x
p
a
nsion of d
i
spatching
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Steve B
a
ird
[
A
da] Valid postconditions incorrectly
r
e
jected
.
commit
|
commitdiff
|
tree
2021-10-11
Steve Baird
[Ada] Incorrec
t
D
y
nam
i
c_
P
redi
c
ate
results for static
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Patrick
Bernard
i
[Ada]
s
igset_t is an un
s
igned l
o
n
g
o
n R
T
EMS
commit
|
commitdiff
|
tree
2021-10-11
P
atrick Ber
n
ardi
[Ada] RTEMS: use regu
l
ar RTEMS API for minimum
st
a
ck
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Eric Botcaz
o
u
[Ada] Export No
_
Except
i
on_Propagation_Acti
v
e
for use
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Piotr Trojanek
[
A
da] W
a
rn about conve
r
sion with a
n
y predefined
t
ime
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Piotr Trojanek
[Ada] Simplify membersh
i
p te
s
ts with N
_
Generic_Declaratio
n
commit
|
commitdiff
|
tree
2021-10-11
Etienne
Serva
i
s
[Ada]
R
emo
v
e
constant arg
u
men
t
s
commit
|
commitdiff
|
tree
2021-10-11
Eti
e
nne Serv
a
is
[
Ada]
Find an interpretation for
membe
r
ship
t
est with
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Patric
k
B
e
r
nardi
[Ada] RTEMS: use hardw
a
re interrupts
i
ns
t
ead of signals
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Eric Botcazou
[Ad
a
] Fix interna
l
error on fixed-point
divide
,
multi
p
l
y
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
E
tienne
S
ervais
[Ada] Reorder
subprogra
m
spec and bodies
i
n
alphabetical
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Piotr T
r
oja
n
e
k
[Ada] Rew
r
ite e
x
tended n
a
mes in derived cl
a
ss-wide
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
G
hjuvan Lacambre
[Ada]
Import bind
e
r globals as
c
o
n
stant
commit
|
commitdiff
|
tree
2021-10-11
Piotr Tro
j
a
n
ek
[Ada] Move rewriting of bo
x
es in aggregat
e
s
from resolution
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Piot
r
Trojan
e
k
[A
d
a] Simplify initialization of
concurrent components
commit
|
commitdiff
|
tree
2021-10-11
Pi
o
tr Troja
n
ek
[Ada] Simplif
y
detect
i
on of
dela
y
e
d aggr
e
gates
commit
|
commitdiff
|
tree
2021-10-11
Pi
o
tr T
r
ojanek
[Ada] Simplify detection of
record components with
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Piotr Trojanek
[Ada] Re
m
o
ve r
e
du
n
dant gua
r
d against an empty component
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Patrick Ber
n
ardi
[
A
da] RTEMS: use default s
t
ack checking e
m
ula
t
i
on pac
k
a
ge
commit
|
commitdiff
|
tree
2021-10-11
Marc
Poulhiès
[Ad
a
]
Do
n
o
t
clear Ana
l
yzed flag
in
e
xpan
d
if alre
a
dy
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
Piotr Trojanek
[Ada] Simplify code
for checks
w
ithin
a
n i
n
itialization
.
.
.
commit
|
commitdiff
|
tree
2021-10-11
P
i
otr Tro
j
anek
[A
d
a] Fix crash
on array comp
o
nent with Default_Value
commit
|
commitdiff
|
tree
2021-10-11
Doug Ru
p
p
[A
d
a
]
Size of tim
e
_t in newer verions
o
f V
x
Works7
commit
|
commitdiff
|
tree
2021-10-05
Eri
c
Bo
t
cazou
[Ada]
Plug small loophole with boolean valu
e
s
commit
|
commitdiff
|
tree
2021-10-05
Eric Botc
a
zou
[
Ada] Do not un
c
onditionally inline exp
r
ession
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Bob Du
f
f
[Ada] Fix lat
e
nt bu
g
in set_en
d
_
locus_f
r
om_node
commit
|
commitdiff
|
tree
2021-10-05
Eric Botcazou
[A
d
a
] Mi
n
or include dire
c
t
ives placemen
t
a
d
justment
commit
|
commitdiff
|
tree
2021-10-05
Alexandre O
l
iva
[A
d
a
] introduce s
t
ack s
c
rub (
s
tr
u
b)
feature
commit
|
commitdiff
|
tree
2021-10-05
Eric B
o
tcazou
[
Ada] Mark priva
t
e com
p
o
n
ent
r
enamin
g
as coming
f
rom
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Arna
u
d Ch
a
rlet
[
A
d
a
]
Add comment
s
in Ada
.
T
ask_Initializati
o
n
commit
|
commitdiff
|
tree
2021-10-05
Core
n
tin Gay
[Ada] Incl
u
de errn
o
.
h in Q
N
X
s
p
e
c
if
i
c
part o
f
the
signal
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Er
i
c
Botcazou
[Ada] Remove left-overs
of
U
naligned_Valid attribute
commit
|
commitdiff
|
tree
2021-10-05
Etienne Servais
[
A
da] Forbids us
e
of
C
o
m
pile_
T
ime_(E
r
ror|Warnin
g
) a
s
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Corentin Gay
[Ada] Add sy
s
/t
i
me
.
h #include
f
or Q
N
X
commit
|
commitdiff
|
tree
2021-10-05
Pascal Obry
[
A
d
a] Issu
e
a proper
e
rror mess
a
ge when no
format specif
i
er
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Pasca
l
O
bry
[
A
da] Fix
n
egative n
u
mbers form
a
t
ted wit
h
leadi
n
g zero
commit
|
commitdiff
|
tree
2021-10-05
Pascal Obry
[Ada]
M
i
n
o
r code clean-up
commit
|
commitdiff
|
tree
2021-10-05
Eti
e
nne Servais
[Ada] Add missing func
t
i
ons to Wide_Wi
d
e_C
h
ara
c
ters
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Yan
n
i
ck Moy
[Ada]
I
mpr
o
v
e
error
message
on array ag
g
regates
commit
|
commitdiff
|
tree
2021-10-05
Ga
r
y Dismuke
s
[Ada] Front-end support for Sto
r
age_Model feature
commit
|
commitdiff
|
tree
2021-10-05
Richard Ken
n
er
[Ada
]
Note that -gnat
d
_
t
is used in CCG
commit
|
commitdiff
|
tree
2021-10-05
Corentin Gay
[Ada] Ad
d
case to
c
ons
i
der
ENODEV
a "file not found
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Piot
r
T
r
ojanek
[Ada] Rewrite op
e
rator
ent
i
ty in der
i
ve
d
clas
s
-wi
d
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Pi
o
tr Tro
j
anek
[A
d
a] Propagate
G
host stat
u
s from parent to d
e
rived
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Joffre
y
Huguet
[A
d
a
]
Add De
f
ault_Init
i
al
_
Co
n
dition to t
y
pe Unbounded_String
commit
|
commitdiff
|
tree
2021-10-05
Claire
Dross
[Ad
a
] Disable contr
a
c
t cases on formal contai
n
er
s
commit
|
commitdiff
|
tree
2021-10-05
Bob Duff
[
Ada]
I
mprove message on missing all/
f
or
in pre-Ad
a
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Yannick
M
oy
[Ada] Improve error mess
a
ge on missing all/f
o
r in quantifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-10-05
Yannick Moy
[Ada
]
Pr
o
of of Ad
a
.
Strings
.
Maps
commit
|
commitdiff
|
tree
2021-10-05
Y
annick
Moy
[Ada] Proof of A
d
a
.
Characters
.
Handling
commit
|
commitdiff
|
tree
2021-10-04
Justin Squirek
[Ada]
I
nc
r
ement
a
l patch for rest
r
iction No_Dynamic_Accessibi
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Piotr
Trojane
k
[Ada] Documen
t
th
e
current behavi
o
ur of -gnateA
switch
commit
|
commitdiff
|
tree
2021-10-04
Ed Schon
b
erg
[Ada] Handle properl
y
u
ser_defin
e
d
l
iterals given by
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
P
iotr Trojanek
[Ada] Fix ind
e
ntatio
n
in generated AST c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Ghju
v
an Lacamb
r
e
[Ada] Im
p
leme
n
t CUDA_Dev
i
c
e
commit
|
commitdiff
|
tree
2021-10-04
Ga
r
y
D
ismukes
[A
d
a
]
C
o
mpl
e
t
ion of support for AI12-0409 (a
t
tribu
t
e
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Yannick Moy
[Ada] Ma
r
k
Ada
.
Text_IO in SPARK
commit
|
commitdiff
|
tree
2021-10-04
Bob Duff
[Ada] Minor co
m
m
e
nt fix in Syste
m
.
Regpat
commit
|
commitdiff
|
tree
2021-10-04
Piotr
T
ro
j
anek
[Ada
]
Refactor duplicate code for
pretty-p
r
inting GNAT AST
commit
|
commitdiff
|
tree
2021-10-04
Pio
t
r Troj
a
nek
[A
d
a] Remove r
e
peated cal
l
s to
Prefix i
n
resol
u
tion
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
M
att
h
ieu Ey
r
a
u
d
[Ada]
E
mit speci
f
ic SCO
s
f
o
r decisi
o
ns
of quantifi
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Pio
t
r Trojan
e
k
[
A
da] Fix co
m
men
t
a
bout exp
a
nsion
of
s
l
ice
s
commit
|
commitdiff
|
tree
2021-10-04
Yannick Moy
[A
d
a] Add Ada RM d
e
scription of Ada
.
S
t
r
ings
.
B
oun
d
ed
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Piotr Troja
n
ek
[Ada] F
i
x for a s
t
atic
Lead
i
ng
_
Part attribute raising
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Ed S
c
hon
b
e
r
g
[Ada]
F
ix resolution of De
c
lar
e
_Expressions involving
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Javier Mira
n
da
[Ada] Fix laten
t
problem in Sem_Ch8
.
Build_Clas
s
_Wide
_
Wrapper
commit
|
commitdiff
|
tree
2021-10-04
Bob Duff
[Ada] Decla
r
atio
n
_Node for I
t
ypes return
s
Empty or
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Piotr T
r
o
j
an
e
k
[Ada] Fix handling of slices w
i
th subtype names
commit
|
commitdiff
|
tree
2021-10-04
Piotr Troj
a
n
e
k
[Ada] Fix missing check on slic
e
with a
s
ubtype
indication
commit
|
commitdiff
|
tree
2021-10-04
Piotr Troja
n
ek
[Ada] Fix handling of 'Ima
g
e acting a
s
a pref
i
x o
f
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Jus
t
in S
q
uire
k
[Ada] Spurious non-va
r
iable e
r
ro
r
o
n
impli
c
itly dereferen
c
ed
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Eric
Botcaz
o
u
[Ad
a
] A
d
jus
t
do
c
um
e
ntation of -f
d
ump
-
ada-spec i
n
G
NAT UG
commit
|
commitdiff
|
tree
2021-10-04
Arnaud Charlet
[Ada]
PR a
d
a/102073
commit
|
commitdiff
|
tree
2021-10-04
Justin Squ
i
re
k
[A
d
a]
C
rash
on allocator in alte
r
n
a
tive
a
ccessibility
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
J
avie
r
M
i
ran
d
a
[Ada]
E
nti
t
ies in E_Loop
sc
o
pes
a
re n
o
t
l
ibrary
-
level
.
.
.
commit
|
commitdiff
|
tree
2021-10-04
Justin Squirek
[
A
da]
S
purious
a
c
c
e
ssibility e
r
r
or on renamed expres
s
ion
commit
|
commitdiff
|
tree
2021-10-04
Doug Rup
p
[Ada] Vx
W
orks inconsistent
u
se of return type Fi
x
up
commit
|
commitdiff
|
tree
2021-10-04
Eric Botcazou
[Ada] Emit debug
g
ing infor
m
ation f
o
r
TSD
ob
j
ect
commit
|
commitdiff
|
tree
2021-10-04
Steve Baird
[Ada] Fix compiler
i
nternal error
commit
|
commitdiff
|
tree
2021-10-04
Steve Bair
d
[Ada] Improve checking for invalid
i
nd
e
x
v
alues whe
n
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Bob Duff
[Ada] Subpr
o
gram_Varia
n
t in ignore
d
ghost
c
ode
commit
|
commitdiff
|
tree
2021-10-01
Ghjuvan Laca
m
bre
[Ada] Empty CUDA_Global procedures
whe
n
c
o
mp
i
ling fo
r
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Steve Baird
[Ada] Impr
o
ved
c
hecki
n
g
for invalid index
val
u
e
s wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2021-10-01
Eric Botcazou
[Ada] Document rounding m
o
de assumed for
d
ynam
i
c floati
n
g
.
.
.
commit
|
commitdiff
|
tree
next