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
[multiple changes]
2016-04-21
Arnaud Charlet
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-21
Arnaud C
h
arlet
[m
u
ltiple
chan
g
es]
commit
|
commitdiff
|
tree
2016-04-21
Arnaud Char
l
et
a-tasatt
.
adb,
[
.
.
.
] (Fast_Path
)
: Rewritte
n
to avoid
.
.
.
commit
|
commitdiff
|
tree
2016-04-21
A
rnaud
C
harlet
gnat_r
m
.
texi, [
.
.
.
]
:
Update
d
o
c
.
commit
|
commitdiff
|
tree
2016-04-21
Arnaud Charlet
[m
u
ltiple
c
han
g
es]
commit
|
commitdiff
|
tree
2016-04-21
Arnaud
Charlet
[multiple cha
n
ge
s
]
commit
|
commitdiff
|
tree
2016-04-21
H
ristian Kirtchev
l
i
b
-writ
.
a
d
b
,
[
.
.
.
]: Mi
n
or
ref
o
rma
t
t
i
ng and code cleanup
.
commit
|
commitdiff
|
tree
2016-04-21
A
rnaud C
h
arlet
[multipl
e
changes]
commit
|
commitdiff
|
tree
2016-04-21
Hr
i
stian Kirtc
h
e
v
sem_ch3
.
adb, [
.
.
.
]: Minor
reformatting
.
commit
|
commitdiff
|
tree
2016-04-21
J
a
vier Miranda
exp_ag
g
r
.
adb (Compo
n
ent_Check): Extend
the check that
.
.
.
commit
|
commitdiff
|
tree
2016-04-21
Arn
a
ud Charlet
[multip
l
e
changes]
commit
|
commitdiff
|
tree
2016-04-21
A
rnaud Charlet
[multiple cha
n
ges]
commit
|
commitdiff
|
tree
2016-04-21
Arn
a
ud Charlet
[multiple
cha
n
ges]
commit
|
commitdiff
|
tree
2016-04-21
Arnaud
Char
l
et
exp_
a
ggr
.
adb (Component_Not_OK_For_Backen
d
): Re
f
ine
.
.
.
commit
|
commitdiff
|
tree
2016-04-21
Arnaud
Charlet
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-21
A
r
n
aud Charlet
[
m
ultiple changes]
commit
|
commitdiff
|
tree
2016-04-21
Arnaud Charlet
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-21
Arnau
d
Charlet
Minor
r
eformatting
.
commit
|
commitdiff
|
tree
2016-04-21
E
d Schonberg
freeze
.
adb: Freeze profile in ASIS m
o
de
.
commit
|
commitdiff
|
tree
2016-04-21
Arnaud
Charlet
[multiple chang
e
s]
commit
|
commitdiff
|
tree
2016-04-21
Arnaud
Charlet
[
mult
i
p
le changes]
commit
|
commitdiff
|
tree
2016-04-21
Ed Schonber
g
sem
_
ch6
.
adb
(Analyze_Subp
r
ogram_
B
ody_Helper)
:
I
f the
.
.
.
commit
|
commitdiff
|
tree
2016-04-21
Jav
i
er
M
iranda
sem_ch6
.
ad
b
(Build_S
u
bprogram_Declara
t
ion): Propag
a
te
.
.
.
commit
|
commitdiff
|
tree
2016-04-21
Arnaud
C
ha
r
let
[multiple c
h
ang
e
s]
commit
|
commitdiff
|
tree
2016-04-21
Javier Miranda
fronten
d
.
ad
b
: Update call to Unnest_Subprogr
a
ms
.
commit
|
commitdiff
|
tree
2016-04-21
Arnaud Ch
a
rlet
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-20
A
r
na
u
d Charlet
* gnat
.
dg/s
e
l
f
1
.
adb: Remove now in
c
orrect
t
est
.
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charle
t
[mult
i
ple cha
n
ges]
commit
|
commitdiff
|
tree
2016-04-20
A
r
n
aud Charlet
[mult
i
ple changes]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud
Charlet
[multiple
c
hange
s
]
commit
|
commitdiff
|
tree
2016-04-20
Ed Schonberg
sem_util
.
ads
,
[
.
.
.
] (Is_
E
xp
a
nded_Priority_Att
r
ibu
t
e
.
.
.
commit
|
commitdiff
|
tree
2016-04-20
Arna
u
d C
h
arlet
[multiple changes
]
commit
|
commitdiff
|
tree
2016-04-20
Yannick
Moy
sem_ch4
.
adb: Fix
typos i
n
comments
.
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charlet
Min
o
r re
f
ormatting
.
commit
|
commitdiff
|
tree
2016-04-20
A
r
n
aud Charlet
[multiple changes
]
commit
|
commitdiff
|
tree
2016-04-20
Arn
a
ud Charlet
[mul
t
iple changes]
commit
|
commitdiff
|
tree
2016-04-20
H
ri
s
tia
n
Kirt
c
hev
e
x
p_unst
.
adb: Minor
reformatting
.
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charlet
[multip
l
e
ch
a
nges]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud C
h
a
r
l
e
t
[multi
p
le
ch
a
n
g
e
s
]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charle
t
[m
u
ltiple changes]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charlet
[
m
ultiple changes]
commit
|
commitdiff
|
tree
2016-04-20
Hr
i
s
t
i
an Kir
t
chev
sem_ch12
.
adb (Qualify_Univer
s
al_O
p
er
a
nds): Ne
w
routine
.
commit
|
commitdiff
|
tree
2016-04-20
Arnaud
C
h
arle
t
[multiple change
s
]
commit
|
commitdiff
|
tree
2016-04-20
Hr
i
stian
K
irtchev
s-imgllu
.
adb, [
.
.
.
]:
Mi
n
or
r
eformatting
.
commit
|
commitdiff
|
tree
2016-04-20
Hristian
K
irtch
e
v
s
e
m_re
s
.
a
d
b (Rewrite_Renamed_Operator): Do n
o
t rewr
i
te
.
.
.
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Cha
r
let
[multiple cha
n
ges]
commit
|
commitdiff
|
tree
2016-04-20
Arna
u
d
Charlet
ex
p
_attr
.
adb (Expand_N_Attr
i
but
e
_Reference [
A
ttribute_Va
l
id
.
.
.
commit
|
commitdiff
|
tree
2016-04-20
Hristian Kirt
c
hev
s
em_util
.
a
db, [
.
.
.
]:
M
inor reformat
t
i
n
g
.
commit
|
commitdiff
|
tree
2016-04-20
Javi
e
r
Mir
a
nda
c
ontracts
.
adb (Build_Postconditions_Proced
u
re): Co
d
e
.
.
.
commit
|
commitdiff
|
tree
2016-04-20
A
rnaud
Char
l
et
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Char
l
e
t
[m
u
ltiple changes]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charlet
[m
u
ltip
l
e changes]
commit
|
commitdiff
|
tree
2016-04-20
A
r
nau
d
Charlet
[multiple cha
n
g
es]
commit
|
commitdiff
|
tree
2016-04-20
Arnaud
C
harlet
[multiple
c
hanges]
commit
|
commitdiff
|
tree
2016-04-20
Hristian Kirtchev
sem_ch13
.
adb (Build
_
Invariant
_
Pr
o
cedure)
:
Reimp
l
e
m
ent
.
.
.
commit
|
commitdiff
|
tree
2016-04-20
Arnaud Charlet
[multipl
e
chan
g
e
s
]
commit
|
commitdiff
|
tree
2016-04-19
Arnaud C
h
arlet
stand
a
rd_and_im
p
lementation_defined_re
s
trictions
.
rs
t
.
.
.
commit
|
commitdiff
|
tree
2016-04-19
Arnaud Charlet
[multi
p
le
c
h
a
nge
s
]
commit
|
commitdiff
|
tree
2016-04-19
Olivier
Hainque
sem_util
.
adb (Build_Elabo
r
at
i
o
n_En
t
ity): Always reque
s
t
.
.
.
commit
|
commitdiff
|
tree
2016-04-19
Arn
a
ud Charl
e
t
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-19
A
r
naud
C
harl
e
t
[mu
l
tiple change
s
]
commit
|
commitdiff
|
tree
2016-04-19
Arnaud Cha
r
let
sem_re
s
.
adb (Within_
S
ubpro
g
r
a
m
_
C
a
ll): Detect also node
s
.
.
.
commit
|
commitdiff
|
tree
2016-04-19
Arnaud Charlet
sem_ch6
.
a
db (
P
rocess_Formals): Mark suspicious
r
efe
r
ence
.
.
.
commit
|
commitdiff
|
tree
2016-04-19
Eric Botcazou
sem_ch
6
.
adb (Possible_Freeze): If the type is an incomplete
.
.
.
commit
|
commitdiff
|
tree
2016-04-19
Ar
n
aud Charlet
[multiple
changes]
commit
|
commitdiff
|
tree
2016-04-19
Arnaud Charlet
sem_util
.
adb (Copy_No
d
e_W
i
th_Replacement
)
: u
s
e S
e
t_Comes_Fro
.
.
.
commit
|
commitdiff
|
tree
2016-04-19
Arnau
d
Charlet
[multiple
c
h
ang
e
s]
commit
|
commitdiff
|
tree
2016-04-19
Arnaud
C
harlet
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[mul
t
ip
l
e c
h
anges]
commit
|
commitdiff
|
tree
2016-04-18
Ar
n
au
d
Charlet
[multiple cha
n
ges]
commit
|
commitdiff
|
tree
2016-04-18
Arnau
d
Charlet
[
multiple c
h
ang
e
s]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
Mi
n
or ed
i
ting
.
commit
|
commitdiff
|
tree
2016-04-18
Arna
u
d Charlet
[multiple chan
g
es]
commit
|
commitdiff
|
tree
2016-04-18
A
rnaud Charlet
[mu
l
tipl
e
changes]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
sem_res
.
adb (Resolve_Short
_
Circuit)
:
Do not us
e
e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2016-04-18
Arnaud
Charlet
[m
u
ltiple changes]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[
m
u
ltiple chan
g
es]
commit
|
commitdiff
|
tree
2016-04-18
Arna
u
d
Charl
e
t
[multiple
c
h
an
g
es]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[mu
l
t
iple cha
n
ge
s
]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Cha
r
let
[mul
t
ip
l
e
c
hanges]
commit
|
commitdiff
|
tree
2016-04-18
Hristian
Kir
t
chev
par-ch2
.
adb (P_E
x
pression_
O
r_Reserved
_
Word): New routine
.
commit
|
commitdiff
|
tree
2016-04-18
B
o
b Duff
sem_ch6
.
adb (Is_Inli
n
e_Pra
g
ma): The
p
ra
g
ma argument
.
.
.
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charle
t
[
m
u
ltiple changes]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud C
h
arlet
[mult
i
pl
e
changes]
commit
|
commitdiff
|
tree
2016-04-18
Bo
b
Duff
sin
p
ut
.
ads, sinput
.
a
d
b
(Bu
i
ld_L
o
cation_String): Take
.
.
.
commit
|
commitdiff
|
tree
2016-04-18
Arnaud
C
harlet
M
inor
c
ode cleanup
s
.
commit
|
commitdiff
|
tree
2016-04-18
A
rnaud Char
l
et
[multipl
e
changes
]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[
multiple changes]
commit
|
commitdiff
|
tree
2016-04-18
Arn
a
ud Cha
r
let
[multiple changes
]
commit
|
commitdiff
|
tree
2016-04-18
Ar
n
aud Charlet
[multiple c
h
ange
s
]
commit
|
commitdiff
|
tree
2016-04-18
Ar
n
au
d
C
h
a
r
let
[
m
ultiple chang
e
s]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud C
h
a
r
l
et
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-18
Hr
i
stian K
i
rtchev
sem_ch3
.
adb
(
Analy
z
e_Obje
c
t_Declar
a
tion):
D
o not consi
d
er
.
.
.
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[
multiple ch
a
nges
]
commit
|
commitdiff
|
tree
2016-04-18
Hrist
i
a
n Kirtc
h
ev
cont
r
acts
.
adb (An
a
lyze_Ob
j
ect_Contract):
U
pdate references
.
.
.
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[multiple changes]
commit
|
commitdiff
|
tree
2016-04-18
A
rnaud Charlet
[m
u
ltip
l
e
c
h
a
nge
s
]
commit
|
commitdiff
|
tree
2016-04-18
Arnaud Charlet
[mult
i
ple changes]
commit
|
commitdiff
|
tree
2016-04-18
Arn
a
ud Charlet
[multiple
c
hanges]
commit
|
commitdiff
|
tree
2016-04-18
Ar
n
au
d
C
h
arlet
gnatvs
n
.
a
ds (Lib
r
ary_Ver
s
io
n
): Bump to 7
.
commit
|
commitdiff
|
tree
next