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: Repair support for user-defined literals in arithmetic operators
2023-05-29
E
ric Bot
c
az
o
u
a
d
a
: Repai
r
support for user-defi
n
ed li
t
erals in arithmetic
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Steve Baird
ada:
Default_Co
m
ponent_Value trumps Initiali
z
e/Normalize
_
S
calar
s
commit
|
commitdiff
|
tree
2023-05-29
Javier Mi
r
anda
ada: Crash on aggregate
f
or
t
a
g
ged
record
w
i
th discrim
i
nants
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojanek
ada: Reuse
r
outi
n
e for g
e
tting fro
m
body
entit
y
to
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada:
Fix retrieval
of spec en
t
ity
from entry body entit
y
commit
|
commitdiff
|
tree
2023-05-29
P
i
otr Trojan
e
k
ada
:
Restor
e
parent link fo
r
bot
h
lists and nodes in
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Arnaud Charlet
a
d
a: Re
f
ining handl
i
ng of inlining for
CCG
commit
|
commitdiff
|
tree
2023-05-29
E
ric Botcaz
o
u
ada:
F
ix spuri
o
us
e
r
ror on nested inst
a
ntiations with
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada:
T
une messa
g
e
fo
r
missing 'Result in Contract_Case
s
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Simplify
r
emova
l
o
f formal
s
from the scope
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada: Tune
m
e
s
sage for pre/post on access-t
o
-sub
p
rogra
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-29
Javi
e
r Mi
r
anda
ada:
Spurious
e
rr
o
r
on string
i
nterpolati
o
n
commit
|
commitdiff
|
tree
2023-05-29
Joh
a
nnes
K
liemann
a
da: Add
QNX spe
c
ifi
c
vers
i
o
n of Sys
t
em
.
Pa
r
ameters
commit
|
commitdiff
|
tree
2023-05-29
Yanni
c
k M
o
y
a
d
a: Res
t
ore
S
PARK_M
o
de On for numerical fun
c
tions
commit
|
commitdiff
|
tree
2023-05-29
Marc Poulhiès
ada: F
i
x re
s
tora
t
ion of
p
ar
e
nt
l
ink
commit
|
commitdiff
|
tree
2023-05-29
Piotr Trojanek
ada:
A
nalyze
pre/post on
a
ccess-to-subprogram wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada: Corrections to premature-refe
r
ences r
u
les
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada: Fix t
y
pos "statment" and "condtio
n
"
commit
|
commitdiff
|
tree
2023-05-26
Eric B
o
tcazou
a
d
a: Use
trunca
t
ion for dynamic conversions f
r
om floating
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Mirand
a
ada: Crash
o
n
fun
c
tion returning all
o
c
ated object conta
i
n
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Yanni
c
k Moy
ad
a
:
D
e
fault initialize enti
t
y to avo
i
d Code
P
eer me
s
sa
g
e
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
ada: Minor doc
c
larifi
c
ation
commit
|
commitdiff
|
tree
2023-05-26
Yannick Moy
ada: Complet
e
contracts o
f
SPARK units
commit
|
commitdiff
|
tree
2023-05-26
Bob Duff
ada
:
Fix crash on 'Img a
s
generic actua
l
function
commit
|
commitdiff
|
tree
2023-05-26
Piotr
Trojanek
ada: Re
m
o
ve redundan
t
guar
d
a
g
a
inst emp
t
y lists
commit
|
commitdiff
|
tree
2023-05-26
Eric Botc
a
z
o
u
a
d
a:
Fi
x
double f
r
ee
o
n
finalization of Vector in arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Er
i
c Botcazou
ada: Fix interna
l
error
o
n Big_Integer conversi
o
n ghost
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr
T
r
ojane
k
a
d
a: Simplify expans
i
on of set membership
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tr
o
janek
ada: Cleanup
e
xpansion of membership operators into
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pi
o
tr Trojane
k
ada: Remove leftover co
d
e
for
c
o
u
nting protecte
d
entries
commit
|
commitdiff
|
tree
2023-05-26
P
i
ot
r
Trojan
e
k
a
d
a
:
F
i
x
detecti
o
n of n
o
n-s
t
atic e
x
p
r
e
s
si
o
ns in r
e
cor
d
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botca
z
ou
ada: Reorder components i
n
A
d
a
.
C
on
t
ai
n
ers
.
Bou
n
ded_Doubly_Lin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Reorde
r
components
i
n Ada
.
Contai
n
ers
.
R
e
stric
t
ed
_
Do
u
bly_
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
a
da
:
Reject thi
n
'Unrestricted_Access
v
alue to aliased
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
io
t
r
Trojanek
ada:
S
i
mplify iteration over re
c
ord component it
e
ms
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piot
r
Trojanek
ada: Fi
x
handlin
g
of G
l
obal contracts inside g
e
neric
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
iotr
T
ro
j
an
e
k
ad
a
: T
u
ne detec
t
ion of expres
s
ion f
u
n
c
ti
o
ns wi
t
hin
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Javier Miranda
ada: Cr
a
sh on loop in
d
i
s
patchin
g
c
o
ndit
i
on
a
l ent
r
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
P
i
otr
Tro
j
anek
ada
:
Remov
e
redun
d
ant prot
e
c
t
ion agai
n
st
e
m
p
ty lists
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troj
a
n
ek
ada: Clea
n
ups in handling
o
f
aggregates
commit
|
commitdiff
|
tree
2023-05-26
P
iotr Trojanek
a
da: Fix iteration over compo
n
ent items with pragma
s
commit
|
commitdiff
|
tree
2023-05-26
Javie
r
Mi
r
anda
ada: Du
p
licate de
c
laration of _master
e
n
tity
commit
|
commitdiff
|
tree
2023-05-26
Piotr Trojane
k
a
da
:
R
e
move redun
d
ant guar
d
s from handling
of record
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric Botca
z
ou
ada: Remove Is_De
s
c
e
ndant_Of_Address flag from Stand
a
rd_Address
commit
|
commitdiff
|
tree
2023-05-26
Ghjuvan Lacambre
ada: H
a
ndle new Control
l
ing
_
Tag for
m
at when conver
t
ing
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Pio
t
r
Trojanek
ad
a
: Use
c
ontext variables in ex
p
ansion of
a
g
greg
a
tes
commit
|
commitdiff
|
tree
2023-05-26
E
ric Botcazou
a
da: F
i
x mi
s
sing fina
l
i
z
a
tion in
library-level
instance
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eri
c
B
o
tcazou
ada: Minor tweak in condition
commit
|
commitdiff
|
tree
2023-05-26
Piotr Troja
n
ek
ada: Simplify expansion of po
s
itional
aggr
e
gates
commit
|
commitdiff
|
tree
2023-05-26
D
oug Rupp
a
d
a: U
s
e computed va
l
ue
f
rom os_const
a
nts t
o
define
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
o
tcazou
ada: Fix another couple of unchecke
d
co
n
versions t
o
.
.
.
commit
|
commitdiff
|
tree
2023-05-26
Piotr T
r
ojane
k
ada:
R
efine typ
e
s for an acces
s
ibility-checking ro
u
t
ine
commit
|
commitdiff
|
tree
2023-05-26
Piotr Tro
j
a
nek
ada: Cl
e
an style i
n
expansion o
f
array
a
ggregates
commit
|
commitdiff
|
tree
2023-05-26
Ro
n
an Despl
a
n
ques
ada
:
Fi
x
lat
e
e
x
t
r
a
f
ormal
s
creation
commit
|
commitdiff
|
tree
2023-05-26
Eric Botcazou
ada: Add mi
s
si
n
g guards in
Se
l
ecte
d
_Range_Che
c
ks
commit
|
commitdiff
|
tree
2023-05-26
Eric
B
otcazou
ad
a
: Enhance I
s
_Null_Range and Not_Null_
R
an
g
e predi
c
ates
commit
|
commitdiff
|
tree
2023-05-25
J
a
vier
M
iranda
a
d
a: Mis
s
ing war
n
ing on
n
ull-
e
x
cluding array aggrega
t
e
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
ja
n
ek
ad
a
: Expect Exceptional_Cases as a cont
e
xt
f
or at
t
ri
b
ute Old
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Trojanek
ada: Use
procedural v
a
r
i
a
nt
o
f
Next_Index wh
e
re possible
commit
|
commitdiff
|
tree
2023-05-25
J
a
vier Mir
a
nda
a
d
a: Crash on
emp
t
y agg
r
egate
using the Ada 2022 notation
commit
|
commitdiff
|
tree
2023-05-25
J
o
hannes
Kliemann
ada:
E
nable Support_Atomi
c
_Primitives
on VxWor
k
s 7 PP
C
commit
|
commitdiff
|
tree
2023-05-25
Eric Bot
c
azou
a
d
a: Fix internal error o
n
de
c
la
r
e
-expressio
n
in
p
o
st
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
To
m
Tromey
ada
:
Require successful
b
ui
l
d of xsnamest
commit
|
commitdiff
|
tree
2023-05-25
Eric Botca
z
ou
ada: Mi
n
or adjustmen
t
s to S
t
anda
r
d_Address
commit
|
commitdiff
|
tree
2023-05-25
Eric
Botcazou
ada: Add s
i
ze clause
t
o
System
.
Address
commit
|
commitdiff
|
tree
2023-05-25
Marc Pou
l
hiès
ada: F
i
x e
r
ror messa
g
e
for Aggregate aspect
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Switch from E_Void to I
s
_N
o
t_Self_
H
id
d
en
commit
|
commitdiff
|
tree
2023-05-25
Eric Botc
a
zou
ada: Decouple
size of
addresses and pointer
s
from size
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piot
r
Trojanek
a
da: Fix co
p
ying of
q
uantifie
d
exp
r
essions
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
a
d
a: Deconstr
u
ct a no longer used parameter
o
f New_C
o
p
y_Tree
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada:
Cl
e
an up copyi
n
g of node trees
commit
|
commitdiff
|
tree
2023-05-25
Piotr Troja
n
ek
a
da: Simpli
f
y
c
opying of node lists
commit
|
commitdiff
|
tree
2023-05-25
Steve
B
aird
ada: Avoid
d
u
p
li
c
ated streaming
s
ubprograms
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ada:
F
ix c
r
ash during f
u
nction return
analy
s
i
s
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Remove unused initia
l
value o
f
a local variable
commit
|
commitdiff
|
tree
2023-05-25
M
arc Poulhiès
ada:
Fix
(again) inc
o
rrec
t
handling o
f
Aggregate
a
s
pect
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojan
e
k
ada: Pr
e
vent search of calls in precond
i
t
i
o
n
s from
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pio
t
r Trojanek
ada: Fix com
m
ents fo
r
recen
t
ly added
S
PARK a
s
pects
commit
|
commitdiff
|
tree
2023-05-25
P
i
otr Troj
a
nek
a
d
a
:
Add missi
n
g
s
upp
o
rtive code for recently ad
d
ed
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Tune han
d
l
i
ng of attributes O
l
d in contrac
t
Exceptio
n
al
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr Tr
o
janek
a
d
a: Remove
r
edun
d
ant guards from calls
t
o Mov
e
_A
s
pects
commit
|
commitdiff
|
tree
2023-05-25
Eric
B
o
t
c
a
zou
a
d
a: Small
t
w
eak to implem
e
nta
t
ion
o
f
b
y-copy sem
a
n
tics
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
P
iotr Tro
j
anek
ada
:
Fix cop
y
-paste
mistake
i
n analys
i
s of Ex
c
eptional_C
a
ses
commit
|
commitdiff
|
tree
2023-05-25
Ronan Desplanques
a
d
a: Enr
i
ch documentation o
f
s
ubpr
o
gram
commit
|
commitdiff
|
tree
2023-05-25
Rona
n
De
s
planques
ada: Maximize use of existing constant
commit
|
commitdiff
|
tree
2023-05-25
Ronan D
e
splanques
ada: Reduce span of variable
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Set Is_Not_Se
l
f_
H
i
d
den
f
lag in more
cases
commit
|
commitdiff
|
tree
2023-05-25
Ro
n
an Despl
a
n
qu
e
s
a
da
:
Handle controlling access parameters in DTWs
commit
|
commitdiff
|
tree
2023-05-25
Bob
D
u
ff
ada
:
Add
E
ntry_Cancel_Parameter to E_L
a
bel
commit
|
commitdiff
|
tree
2023-05-25
Eri
c
Botca
z
ou
ada
:
Mi
n
or fixes in description of
s
c
ope depth
commit
|
commitdiff
|
tree
2023-05-25
Piotr Trojanek
ada: Tune w
a
rnin
g
about
a
ssignment
j
ust b
e
fore a raise
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Pi
o
tr Troja
n
ek
ad
a
:
Accept
a
l
ia
s
ed parameters
in Exceptional_
C
ase
s
commit
|
commitdiff
|
tree
2023-05-25
M
arc Poulhiès
ada:
Fix in
c
orrect
h
a
n
dli
n
g
of
A
gg
r
egate
a
s
pect
commit
|
commitdiff
|
tree
2023-05-25
Bob Duff
ada: Fix o
b
sol
e
te comment in Sinf
o
.
Utils
commit
|
commitdiff
|
tree
2023-05-25
Marc Poulhiès
ad
a
:
F
i
x
S
PARK
context not
restor
e
d wh
e
n Load_Unit
.
.
.
commit
|
commitdiff
|
tree
2023-05-25
Piotr T
r
o
jane
k
a
da: R
e
st
r
ict use of
formal
parameters within
e
xc
e
ptiona
l
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Tr
o
j
anek
ada:
A
cce
p
t and analyze ne
w
a
s
pe
c
t Exc
e
pt
i
onal_Cases
commit
|
commitdiff
|
tree
2023-05-23
Er
i
c
Botcazo
u
ada
:
Rework fix for internal error o
n
quantifi
e
d expression
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
G
a
ry Dismukes
ada: ICE on BIP cal
l
in
class
-
wide
function
r
e
t
u
rn
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Patrick
B
erna
r
di
ada: R
e
mov
e
re
d
un
d
a
n
t parentheses from System
.
St
a
c
k
_Checkin
g
.
.
.
commit
|
commitdiff
|
tree
next