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] Fix unbalanced paren in documentation marker for GNAT Studio
2022-05-11
Piotr Troj
a
ne
k
[Ada
]
F
i
x unbalanced pa
r
en
i
n doc
u
mentation
m
arker
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Marc Poulhiès
[Ada] New
No_Local_Tagge
d
_Ty
p
es restriction
commit
|
commitdiff
|
tree
2022-05-11
Eric Botcazou
[Ada] Fix spurio
u
s ambiguity for if_expression
con
t
aining
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Pio
t
r
T
rojanek
[Ada] Fix
style of
b
o
d
y header b
o
xes
commit
|
commitdiff
|
tree
2022-05-11
Etienne Se
r
vais
[A
d
a] Do not
c
reate useless itype in
C
onstrain
_
Access
commit
|
commitdiff
|
tree
2022-05-11
P
i
o
t
r Trojanek
[Ada] De
t
e
ct inf
i
ni
t
e
l
oops with
o
perat
o
rs in exit
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Yannick
M
oy
[Ad
a
] Adapt proof
of System
.
Arith_Double after upda
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Pio
t
r
T
rojanek
[
A
da] U
p
date catego
r
iza
t
ion of implem
e
nta
t
ion restric
t
ion
s
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr Tr
o
j
ane
k
[Ada] Fix "S
p e c" and
"B o d y" file h
e
aders
commit
|
commitdiff
|
tree
2022-05-11
Joao
Aze
v
edo
[
A
da] Ad
d
SUSE 32bi
t
dep
e
n
dency
commit
|
commitdiff
|
tree
2022-05-11
Piotr Tr
o
j
anek
[A
d
a]
F
ix formatting glitches in GNAT User'
s
Gui
d
e
commit
|
commitdiff
|
tree
2022-05-11
P
iotr Tro
j
anek
[Ada]
Use
pygments for
Ada code examples o
f
elaboration
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Gary Dismukes
[Ada] Exces
s
f
i
na
l
izat
i
o
n on as
s
i
g
nment
with target
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Bob Duf
f
[Ada]
f
i
x crash on Se
c
o
n
dary_Stack_Size with discriminant
commit
|
commitdiff
|
tree
2022-05-11
Piotr
Trojanek
[Ada
]
R
e
s
e
t Reachable field whe
n
m
utat
i
ng la
b
el i
n
to
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Troj
a
nek
[Ada] Fix layout
o
f tables in PDF version of GNAT RM
commit
|
commitdiff
|
tree
2022-05-11
P
i
o
t
r Trojanek
[Ada]
F
ix la
y
out in
d
escriptio
n
o
f
a
s
p
e
c
t
s an
d
pragmas
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada] Fix markup in
d
es
c
ri
p
ti
o
n o
f
implemen
t
ation-def
i
ned
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
P
i
o
t
r Trojan
e
k
[Ada] F
i
x m
a
rku
p
in description of pragma Eliminate
commit
|
commitdiff
|
tree
2022-05-11
Joh
a
nnes Kliemann
[Ada] Sup
p
ress warning in
g
-sthcso for non-unix platfor
m
s
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr Troja
n
ek
[
A
d
a
]
Add guard for making on
l
y l
e
gal labels unreachable
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr
T
r
o
j
anek
[Ada] Docu
m
ent pragma Ada_2022
commit
|
commitdiff
|
tree
2022-05-11
Stev
e
Baird
[Ada]
Properly re
j
ect
u
nsupp
o
rted address s
p
ecification
s
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojane
k
[
A
da
]
Move Rea
c
hable f
l
ag to E_Label entities
commit
|
commitdiff
|
tree
2022-05-11
Alexandre Ol
i
va
[Ada] Set_
I
s_
K
n
own_Valid only if
Safe
_
To_Capture
_
Value
commit
|
commitdiff
|
tree
2022-05-11
Bob
Duff
[Ada]
Avoid crash for
-gnatR -gnatc
commit
|
commitdiff
|
tree
2022-05-10
Eri
c
Botcazo
u
[
Ada] Export
Is_Expression_
F
unction predicate for use
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Alexandre Oliva
[Ada] Opt
i
miz
e
nonstan
d
ard b
o
olean
v
alidi
t
y check
i
ng
commit
|
commitdiff
|
tree
2022-05-10
Alexa
n
dre Oliva
[Ada] Optimiz
e
nonstandard bo
o
le
a
n
conversions
commit
|
commitdiff
|
tree
2022-05-10
Alexandre
Oliva
[Ad
a
] Handle non-standard booleans in if_exp
r
e
s
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Justin Squirek
[A
d
a] Incorrec
t
i
neffective use type clause warning
commit
|
commitdiff
|
tree
2022-05-10
P
iotr Troj
a
nek
[Ada] Simplify
ca
l
l
to overloade
d
Earlier
_
In_Extended
_
Unit
commit
|
commitdiff
|
tree
2022-05-10
Piotr
Trojanek
[
Ada] R
e
move
r
epeated conver
s
ions betw
e
en
S
ource
_
Ptr
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
P
iotr Trojane
k
[Ad
a
] Fix style in resolution of expre
s
sion with ac
t
ions
commit
|
commitdiff
|
tree
2022-05-10
P
iotr Trojane
k
[
Ada] Reus
e
Is_Rewrit
e
_Substitutio
n
w
h
e
r
e
p
o
ssible
commit
|
commitdiff
|
tree
2022-05-10
Piotr Trojanek
[Ada]
C
lean
u
p detection of No_E
l
ist with No an
d
Present
commit
|
commitdiff
|
tree
2022-05-10
Piotr T
r
o
j
anek
[A
d
a] Prevent sea
r
ch for refe
r
ences
in
p
ostconditions
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Piotr
Tr
o
ja
n
ek
[
A
da] R
e
move tiny and inc
o
mplete o
p
timiz
a
tion
f
or u
n
set
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Pi
o
t
r
Trojan
e
k
[Ada] C
l
ea
n
up unn
e
c
e
s
sar
y
dec
l
are block in Chec
k
_Unreachable
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
P
i
otr Trojanek
[Ada] Refine iterati
o
n fro
m
entities to formals
commit
|
commitdiff
|
tree
2022-05-10
Piot
r
T
r
oj
a
nek
[
A
d
a
]
Check declar
e
and qualified exp
r
ession
s
for unset
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Piotr Troj
a
nek
[
A
d
a] Check if- and c
a
se-expressions for unset references
commit
|
commitdiff
|
tree
2022-05-10
Kévin Le Gouguec
[Ada]
F
ix
a
couple of t
y
pos
commit
|
commitdiff
|
tree
2022-05-10
Et
i
enne Servais
[Ada
]
Fix
typo in
c
omment for Is_Predi
c
ate_Static
commit
|
commitdiff
|
tree
2022-05-10
Yan
n
i
ck Moy
[Ada]
F
ix inden
t
at
i
on
t
o
follow
uniform style across
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Claire Dros
s
[
Ada] Accept S
t
ructu
r
al in aspec
t
Su
b
program_
V
a
r
iant
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Claire Dross
[Ada] Proof of System
.
Val_Int at gold level
commit
|
commitdiff
|
tree
2022-05-10
Eric Botca
z
o
u
[Ada] F
i
x hiding of user-defin
e
d
operator that is no
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Eric
Botcazou
[Ada
]
Fix oversig
h
t
for c
a
se
express
i
on in E
v
al_In
t
e
g
er_Literal
commit
|
commitdiff
|
tree
2022-05-10
Piot
r
Troja
n
ek
[
A
da
]
A
v
oid repeated conversions from In
t
t
o
C
har_Code
commit
|
commitdiff
|
tree
2022-05-10
Etienne Servais
[Ada]
R
ej
e
ct
nu
m
er
i
c liter
a
ls with too big
exponents
commit
|
commitdiff
|
tree
2022-05-10
Piotr Tro
j
a
n
ek
[Ada] Replace
v
a
r
iables wit
h
constants in
e
x
p
anded
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Mar
c
Poulhiès
[Ada] Fix i
n
co
r
rec
t
range computation
commit
|
commitdiff
|
tree
2022-05-10
Ste
v
e Baird
[Ada]
F
a
i
l
ure compili
n
g "for
.
.
.
of" loo
p
ove
r
a slice
commit
|
commitdiff
|
tree
2022-05-10
P
iotr T
r
o
j
anek
[Ada
]
Fix comm
e
nt ab
o
ut building
n
a
mes
i
n task arrays
commit
|
commitdiff
|
tree
2022-05-10
P
i
o
tr Trojanek
[
Ada] Simpl
i
fy conversio
n
f
r
om Character
to Char_Code
commit
|
commitdiff
|
tree
2022-05-09
Yanni
c
k Moy
[Ada
]
Su
g
g
e
st
u
s
e of
F
irst_Valid/Las
t
_Valid
on type
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr T
r
ojanek
[
A
da]
Raise C
o
nstraint_Error
w
h
e
n convertin
g
n
e
gative
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojanek
[
Ada] Simplify conversions from
U
int to Char_Code
commit
|
commitdiff
|
tree
2022-05-09
Jus
t
in S
q
uire
k
[Ada] Fix invalid
m
e
m
ory access on
f
in
a
l
izatio
n
of
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Etienne Servais
[Ada] F
u
l
l
y qua
l
ify name in JSON representat
i
on
i
n
fo
commit
|
commitdiff
|
tree
2022-05-09
Piotr
T
rojanek
[
Ada] Re
m
ove extra space ar
o
u
n
d binary operator
s
commit
|
commitdiff
|
tree
2022-05-09
Piotr
T
r
o
jan
e
k
[Ada] Remove CodePeer an
n
otations for pragma Loop_V
a
riant
commit
|
commitdiff
|
tree
2022-05-09
Piotr
T
rojanek
[Ada] Preve
n
t inli
n
ing-f
o
r
-
proof for calls inside ELSIF
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
P
i
ot
r
Trojanek
[
Ad
a
] Remove red
u
ndant guards
f
or
e
m
pty l
i
s
t
commit
|
commitdiff
|
tree
2022-05-09
Er
i
c
Botcazou
[
Ada] Fix
mis
s
ing error on
a
ctual for
In/Out parameter
commit
|
commitdiff
|
tree
2022-05-09
Piotr Tro
j
anek
[Ada]
Fix
in
d
entation of "
S
tart
of process
i
ng for
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Justin Squi
r
e
k
[Ada] Improve error me
s
sages to incl
u
d
e
f
u
ll pa
c
kage
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Yannick Moy
[Ada] Set Error_Msg_W
a
rn before use of <
<
i
n
sertion
commit
|
commitdiff
|
tree
2022-05-09
Steve Baird
[Ada] Pro
p
er
l
y
h
a
ndle u
n
p
r
efix
e
d referenc
e
s to compo
n
ents
commit
|
commitdiff
|
tree
2022-05-09
Ed
S
chonberg
[Ad
a
] Fix package inst
a
llation for private array type
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Eric Botcazou
[Ada]
F
ix intern
a
l e
r
r
or
o
n de
c
larat
i
on of derived
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
E
d
Schonberg
[Ad
a
] Fix visibility inside de
c
lare_ex
p
ression
commit
|
commitdiff
|
tree
2022-05-09
Ed
Schonberg
[Ada] Fix ch
e
ck for
looking for user defined l
i
teral
s
commit
|
commitdiff
|
tree
2022-05-09
Pi
o
t
r
Trojanek
[Ada] Ref
i
ne d
e
scription of SPARK with static Boolean
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojan
e
k
[Ada
]
Allow Big_Integer i
n
loo
p
and subpr
o
gram vari
a
n
ts
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojanek
[Ada] Add utility
t
o
preanalyz
e
assert expression without
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Eric Botcazou
[Ada] Revamp t
y
pe resolution for comp
a
rison and equality
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Bob
Duff
[Ad
a
] U
s
e "as
p
ect
"
instead
o
f "pragma" in warnings
commit
|
commitdiff
|
tree
2022-05-09
Dou
g
R
upp
[Ada] vx21
.
0
7
: stack
-
che
c
ki
n
g
on ppc
commit
|
commitdiff
|
tree
2022-05-09
Fedor R
y
bin
[Ada] Remove gnattest section from gnat user
g
uide
commit
|
commitdiff
|
tree
2022-05-09
Piotr Tr
o
janek
[Ada
]
Rem
o
ve repe
a
ted a
n
a
lysis of attrib
u
te pr
e
fixes
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojan
e
k
[Ada] R
e
move re
d
u
n
dan
t
call t
o
Set_E
t
ype f
o
r
attribut
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
P
iotr Trojanek
[Ada] Remove doubly-negated tests for
e
mpt
y
li
s
ts
commit
|
commitdiff
|
tree
2022-05-09
Dmitriy Anisimkov
[
A
da] Remove u
n
u
sed parameter from __gnat_k
i
l
l
commit
|
commitdiff
|
tree
2022-05-09
Dm
i
triy Anisimko
v
[Ada] Stabilize e
x
it code
on clos
e
p
r
ocess
commit
|
commitdiff
|
tree
2022-04-27
P
i
erre-Marie de
.
.
.
[A
d
a] R
e
ve
r
t r12
-
6599
(
F
ix
up handl
i
ng of ghost
units
.
.
.
commit
|
commitdiff
|
tree
2022-01-31
Pierre-Marie de
.
.
.
[Ada] d
o
c
/
sha
r
e/conf
.
py: fix
string handl
i
ng
commit
|
commitdiff
|
tree
2022-01-31
A
r
n
aud Charl
e
t
[
A
da] Fi
x
up han
d
l
ing of ghost units PR104
0
2
7 #2
commit
|
commitdiff
|
tree
2022-01-11
Eric Botca
z
ou
[Ada] Relax
a
ssertion on desi
g
nated t
y
pes f
o
r equality
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Justin Squirek
[Ad
a
] Include generic instance names in n
o
n-visible
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Etienne Ser
v
ais
[Ada
]
A
c
cept squar
e
brackets for expression fu
n
ctio
n
s
commit
|
commitdiff
|
tree
2022-01-11
Justi
n
Squirek
[
A
d
a] Task ar
r
ays tr
i
gger spuriou
s
unreferenced warn
i
ngs
commit
|
commitdiff
|
tree
2022-01-11
Piotr Troja
n
ek
[Ada] Remove
unrefere
n
c
e
d
CCG-specific rout
i
n
e
I
n
sert
_
Declar
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada] Avoid red
u
ndant
c
hecks for
e
mpty lists
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada] Remove n
a
me consta
n
t u
s
ed by GN
A
Tp
r
ove but n
o
t
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojan
e
k
[Ada] Reduce scope o
f
declare block
in
a
nal
y
sis
o
f
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piot
r
Tro
j
anek
[Ada]
Balance
p
arent
h
eses in co
m
m
ents about allocators
commit
|
commitdiff
|
tree
2022-01-11
Piotr Tro
j
anek
[A
d
a]
R
e
m
ove unreferenced name
c
onst
a
nts
commit
|
commitdiff
|
tree
2022-01-11
Yannick Moy
[Ada] Adapt
p
r
oof of
S
yste
m
.
Ar
i
th_Double
commit
|
commitdiff
|
tree
next