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 reformatting
2018-07-16
Hrist
i
a
n
Kirtch
e
v
[Ada]
Mi
n
o
r reformatting
commit
|
commitdiff
|
tree
2018-07-16
A
r
n
aud Charlet
[Ada] Only unnest subprograms
if no
p
re
v
ious
e
r
rors
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed
S
chonberg
[
A
d
a] Fix
e
xpansion of blo
c
ks in loops inside el
a
b
oration
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed
S
c
h
onberg
[Ada] Dee
p
copy operands of membership operations for
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed
S
c
honberg
[
A
da] Unnest
i
ng: handle 'Address
refer
e
nces that are
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonber
g
[A
d
a] Unnesting: handle
t
he semantic of
Sto
r
age_Pool
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
E
d Schonberg
[Ada] Fix Defa
u
lt_St
o
rage_Po
o
l
as
p
ect
h
a
ndling in generic
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
E
d
Sc
h
o
nberg
[Ada] Major code cleanu
p
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtc
h
ev
[
Ada] Spurious er
r
or w
i
th
n
u
ll Abstract
_
State
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada]
Deconstruc
t
unus
e
d Withed_Body filed of N_W
i
th_Clause
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
P
i
otr Trojanek
[Ada]
A
voi
d
cr
a
sh when travers
i
ng
u
ni
t
s with -gnatd
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Piotr Tr
o
j
anek
[Ada] Tr
i
vi
a
l simpl
i
fications in i
n
Walk_Library_Items
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ad
a
] Deconstruct always-false calls to Wi
t
hed_B
o
dy
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
E
d Schonberg
[Ada]
Use c
o
mmon r
o
utin
e
Expand_No
n
b
i
n
a
r
y_Mo
d
ular_Op
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Add a missing c
h
eck for tr
i
vial predicates
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Hristian Ki
r
tc
h
e
v
[Ada
]
Crash on I
n
defini
t
e_Hashed_Maps with
-gnata
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Justin Squirek
[Ada] Spurious
pos
s
ible contraint error warn
i
ng with
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Hristia
n
Kirtchev
[
Ada] Segmentat
i
on_
F
ault with
Integer'Wid
e
_Wide_Value
commit
|
commitdiff
|
tree
2018-07-16
Javier
M
iranda
[
A
da]
B
i
t
_
O
r
der cannot be def
i
ned for rec
o
rd ext
e
ns
i
ons
commit
|
commitdiff
|
tree
2018-07-16
Arnaud Charlet
[Ada] System
.
Object_Reader: minor code clean-up
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada
]
Ad
j
ust referen
c
e
to
r
enumbered SPARK RM rul
e
commit
|
commitdiff
|
tree
2018-07-16
Arnaud
C
h
a
r
l
e
t
[Ada] adaint
.
c: min
o
r code cleanup
commit
|
commitdiff
|
tree
2018-07-16
Javier M
i
r
a
nda
[Ada] Code cl
e
anup on
f
u
nctions inlining
commit
|
commitdiff
|
tree
2018-07-16
J
a
vier Miranda
[Ada
]
Crash proces
s
ing
s
ources
u
nder
GNATpr
o
ve debug
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Ya
n
nick Moy
[Ada] Inline: rewr
a
p commen
t
commit
|
commitdiff
|
tree
2018-07-16
Eric Botcazo
u
[Ada] Einfo
:
minor tweak in
comme
n
t
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Sem_Ch4: m
i
n
or code cleanup
commit
|
commitdiff
|
tree
2018-07-16
J
a
vier M
i
randa
[Ada] Fix expans
i
on of 'Count
i
n protected ty
p
e
s
commit
|
commitdiff
|
tree
2018-07-16
J
avier Miranda
[Ada] Se
m
_Utils:
make
H
a
s_Prefix publ
i
c
commit
|
commitdiff
|
tree
2018-07-16
Yannick
M
o
y
[Ada]
A
d
just inlini
n
g in
G
NATpro
v
e
mode for predicate
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Gary Dismu
k
e
s
[Ada] Viol
a
tion of No_Standard_All
o
cators_After_Elabora
t
ion
.
.
.
commit
|
commitdiff
|
tree
2018-07-16
Gary
D
ismukes
[
Ada
]
F
ix spe
l
ling for compile-ti
m
e
-
known
commit
|
commitdiff
|
tree
2018-07-16
Hr
i
sti
a
n Kirtc
h
ev
[Ada] Illegal deferred constant causes
stack overflow
commit
|
commitdiff
|
tree
2018-07-16
N
ic
o
la
s
Roche
[Ada
]
Adjust growth fact
o
r fr
o
m 1/32
to 1/2 for Unbounded_String
commit
|
commitdiff
|
tree
2018-06-11
Eric B
o
tcazou
[Ada
]
Fix wrong code for i
n
itialization of fat pointer
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirtch
e
v
[A
d
a]
S
uppress
t
he expansi
o
n of i
g
n
o
red asse
r
tion prag
m
as
commit
|
commitdiff
|
tree
2018-06-11
Hristian
Kir
t
chev
[Ada] Minor reform
a
tting
commit
|
commitdiff
|
tree
2018-06-11
Gary Dismukes
[Ad
a
] Typo fixes and minor r
e
f
o
rmatt
i
ng
commit
|
commitdiff
|
tree
2018-06-11
Hri
s
tian Kirtche
v
[Ada] Double finalizatio
n
of limited con
t
rolled result
commit
|
commitdiff
|
tree
2018-06-11
Olivie
r
Hainque
[Ada
]
Impro
v
e last exception i
n
fo avai
l
abil
i
ty
from
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
E
d S
c
honb
e
rg
[Ada] Un
n
esting: refactor handli
n
g o
f
up
l
eve
l
refs
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Bob Duff
[Ada] Dangli
n
g
cu
r
s
or checks
in Ele
m
ent fun
c
tion
commit
|
commitdiff
|
tree
2018-06-11
Yannic
k
Moy
[Ada]
Ma
r
k
pa
r
ameters as coming
f
rom source fo
r
G
N
A
T
p
rov
e
commit
|
commitdiff
|
tree
2018-06-11
Ed
S
c
hon
b
erg
[Ada]
M
issing predicat
e
function body
for deriv
e
d type
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Y
a
nnick
M
oy
[A
d
a] Rejec
t
violati
o
n
o
f SPAR
K
6
.
1
.
4
(
1
2
)
with enclosing
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Eric Botcazou
[
Ada
]
Minor
t
weaks fo
r
Repinfo
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirtc
h
ev
[
A
da] Make GNAT
.
Array_Split a pre
e
laborable unit
commit
|
commitdiff
|
tree
2018-06-11
Arnaud Charlet
[Ada] S
i
mplify
e
xpansion of "and
t
hen" in CodePeer
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Ja
v
ier
M
ir
a
nda
[Ada] Crash on p
r
ote
c
t
ed t
y
pe
e
ntry family
commit
|
commitdiff
|
tree
2018-06-11
A
r
na
u
d
Charlet
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-06-11
Yannic
k
Mo
y
[
Ada] Add Suppressib
l
e argum
e
nt to A
s
sertion_Po
l
i
c
y
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yannick Moy
[Ada]
D
o not quer
y
t
h
e
representa
t
i
on informat
i
o
n in
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yann
i
ck
Moy
[
A
da] Mark extended
retu
r
n of unconstraine
d
type
a
s
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Yannick Mo
y
[Ad
a
] Do no
t
forc
e
Part
_
Of on generic un
i
t
s
commit
|
commitdiff
|
tree
2018-06-11
P
i
otr Trojanek
[
Ad
a
] Don't split AND THEN exp
r
e
s
sions
i
n
G
N
ATprove_Mode
commit
|
commitdiff
|
tree
2018-06-11
Piotr Trojane
k
[
A
d
a
] Fix handling of Pr
e
/P
o
st contrac
t
s with AND
T
HEN
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonb
e
rg
[Ada] Unnesting: robust
i
fy analysis of block s
t
a
tements
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] Unnesting: fix
handl
i
ng
o
f generic a
s
so
c
i
a
tions
commit
|
commitdiff
|
tree
2018-06-11
Arnaud
C
harlet
[Ada] Memtra
c
k: h
a
ve
only one de
f
inition o
f
f
w
rite
commit
|
commitdiff
|
tree
2018-06-11
Javier Mir
a
nda
[Ada] W
r
ong code in array ag
g
r
ega
t
es of Ada coexte
n
sions
commit
|
commitdiff
|
tree
2018-06-11
E
d
Schonberg
[
A
da] Unn
e
sting: fix handling o
f
stubs
commit
|
commitdiff
|
tree
2018-06-11
Ar
n
a
ud Charlet
[Ad
a
] Refacto
r
c
o
m
pila
t
ion of Ada units in Makefile
.
rtl
commit
|
commitdiff
|
tree
2018-06-11
Hristian Ki
r
tc
h
ev
[Ad
a
] Minor reformatting
commit
|
commitdiff
|
tree
2018-06-11
Ed S
c
ho
n
berg
[A
d
a] Cra
s
h with Inline
_
Alw
a
ys
o
n
a fun
c
t
i
on wit
h
an
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Arnau
d
Cha
r
let
[Ada] Bindgen: p
r
otect reference t
o
System
.
P
arameters
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirt
c
hev
[Ada]
P
e
rformance d
e
g
radation w
i
th references
commit
|
commitdiff
|
tree
2018-06-11
Valentine Re
b
oul
[
Ada] Rename
"
GPL Editi
o
n"
into
"
Co
m
mun
i
t
y Edition"
commit
|
commitdiff
|
tree
2018-06-11
Ed Sc
h
onberg
[Ada] Crash on
i
n
s
t
anti
a
tion of nest
e
d gene
r
ic in pri
v
ate
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Er
i
c Botcazo
u
[Ad
a
] Remove obsolete code in
Errout
commit
|
commitdiff
|
tree
2018-06-11
N
i
c
olas Ro
c
he
[Ada] Avoid a stack overflo
w
i
n 'Value for invalid
.
.
.
commit
|
commitdiff
|
tree
2018-06-11
Eric Botcazou
[
A
da] M
i
nor tweaks
i
n Repinfo
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonbe
r
g
[Ada] Unne
s
ting: improve
h
a
n
dling of bou
n
ds for f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Pierre-Marie
de
.
.
.
[
Ada] R
e
move obsolete figure in docu
m
entation
commit
|
commitdiff
|
tree
2018-05-31
P
ierre-Marie
d
e
.
.
.
[Ada] Add missing spec files for VxWorks runtimes
commit
|
commitdiff
|
tree
2018-05-31
P
i
e
rr
e
-Marie de
.
.
.
[Ada
]
Min
o
r copyri
g
ht
h
eader adj
u
stments
commit
|
commitdiff
|
tree
2018-05-31
Fe
d
or Rybin
[Ada] Docu
m
ent Stubs_Subdir in gnattest section on
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonberg
[Ada] St
a
tic predica
t
e c
h
eck
o
n
chara
c
ter
s
of a string
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Eric
B
otcazou
[Ada
]
Remove obs
o
lete code in trans
.
c
commit
|
commitdiff
|
tree
2018-05-31
Piot
r
Trojanek
[Ada] D
e
tect returning p
r
o
c
edur
e
s annotated with
No_Return
commit
|
commitdiff
|
tree
2018-05-31
E
r
ic
B
otc
a
zou
[Ada] Fix wrong va
l
ue returned for
u
n
c
ons
t
rain
e
d pa
c
k
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Fr
e
der
i
c Konrad
[Ada]
F
ix __gnat_b
a
cktrace for
VxWo
r
ks7 on x86
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonber
g
[Ada] Ille
g
a
l cop
y
of limit
e
d object
commit
|
commitdiff
|
tree
2018-05-31
O
l
iv
i
er Hainq
u
e
[Ada] Updat
e
comment on
_
_atomic
_
c
ompare_ex
c
h
a
nge
in
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
E
r
ic Botcazou
[Ada
]
F
i
x
internal error on al
l
ocator with functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Hr
i
stian Kir
t
c
hev
[Ad
a
] Spuriou
s
tampering check fai
l
ure
commit
|
commitdiff
|
tree
2018-05-31
V
alentine Reboul
[Ada]
R
ename "GPL" v
e
rsion to "C
o
mm
u
nity"
commit
|
commitdiff
|
tree
2018-05-31
Ed Sc
h
onberg
[Ada] Minor
c
ommen
t
im
p
ro
v
ement
commit
|
commitdiff
|
tree
2018-05-31
Pi
o
tr Trojan
e
k
[Ada] Simplify call to Uniqu
e
_De
f
ining_Entit
y
on protected
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Piotr T
r
ojan
e
k
[Ada] Set E
t
ype on
r
e
w
riteen Max_Que
u
e_Lengt
h
expressions
commit
|
commitdiff
|
tree
2018-05-31
Sergey Rybin
[Ada]
Up
d
ate gnatelim docum
e
n
t
ation wrt
.
co
m
pilation
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Eric
B
o
tcaz
o
u
[Ada] Fix tracki
n
g of the fir
s
t item
i
n Repinfo
commit
|
commitdiff
|
tree
2018-05-31
Eric Botcaz
o
u
[
Ada]
F
i
x
st
r
an
g
e
behavior of
Object_Size for pack
e
d
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
E
ric Botcaz
o
u
[A
d
a]
P
o
st warning
on object size clause f
o
r
s
ub
t
yp
e
commit
|
commitdiff
|
tree
2018-05-31
Jav
i
er Mira
n
da
[Ada] Fix c
o
mpiler crash for
t
agg
e
d
p
rivate types
commit
|
commitdiff
|
tree
2018-05-31
Yan
n
ick Moy
[Ada] Fix
check on plac
e
men
t
of multi
p
le
l
o
o
p (in
)
variant
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Doug Rupp
[Ad
a
] Posix 20
0
8: reimp
l
emen
t
System
.
OS_Primitives
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Ed S
c
honberg
[Ada]
U
nnesting: ad
d
a
p
redicate
t
o help expansion
.
.
.
commit
|
commitdiff
|
tree
2018-05-31
Ed Schonberg
[Ada] Conv
e
rt operands o
f
g
enerated co
d
e to
Standard
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Piot
r
Trojanek
[Ada] Update
d
oc
u
mentation of Sinfo
.
Package_Ins
t
anti
a
tion
.
.
.
commit
|
commitdiff
|
tree
2018-05-30
Ed
S
chon
b
erg
[Ada]
Unnesting: alwa
y
s transform local Ra
i
se sta
t
ements
commit
|
commitdiff
|
tree
next