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
pair-fusion: fix for older GCC
13 days ago
Piotr
T
rojanek
a
da:
Remove unused dependencies from gn
a
tbind obje
c
t
.
.
.
commit
|
commitdiff
|
tree
13 days ago
P
iotr Trojanek
ada: Fix la
y
out in
a list of aspects
commit
|
commitdiff
|
tree
13 days ago
Piotr Trojanek
ada:
S
i
mplify mana
g
em
e
n
t
of scopes
w
hile
i
nlining
commit
|
commitdiff
|
tree
13 days ago
Piotr Trojan
e
k
ada
:
Fix
for
m
atting in
l
ist of impl
e
mented
A
da
2
012
.
.
.
commit
|
commitdiff
|
tree
13 days ago
Piotr Trojanek
a
d
a: Sort lis
t
of imp
l
em
e
nted A
d
a
2
012 featur
e
s
commit
|
commitdiff
|
tree
13 days ago
Piotr Trojanek
ada: Fix index entr
y
for
a
n implemented AI feature
commit
|
commitdiff
|
tree
13 days ago
Piotr Tr
o
janek
a
d
a: Do
not leak tagged type names when D
i
scard_Names
.
.
.
commit
|
commitdiff
|
tree
13 days ago
P
i
o
tr Trojanek
ada: Remove
conversion fro
m
St
r
i
ng_Id to St
r
ing a
n
d
.
.
.
commit
|
commitdiff
|
tree
13 days ago
Piotr Troja
n
ek
a
da: Remove trailing NUL in minimal exp
a
nsion
o
f Put_Image
.
.
.
commit
|
commitdiff
|
tree
2024-05-20
Piotr Trojanek
a
d
a: Fix list o
f
implementation-defi
n
ed attrib
u
tes
commit
|
commitdiff
|
tree
2024-05-20
Piotr Trojanek
ada: Fix list of attributes d
e
fined
by Ada 2012
commit
|
commitdiff
|
tree
2024-05-20
P
iotr Tro
j
anek
ad
a
:
Apply
restriction No_Implementation_Attribut
e
s
.
.
.
commit
|
commitdiff
|
tree
2024-05-20
P
i
otr Tro
j
anek
ada:
R
emove repeat
e
d c
o
nditi
o
n in check for i
m
p
lementation
.
.
.
commit
|
commitdiff
|
tree
2024-05-20
Piotr T
r
ojanek
ad
a
:
U
se
discrete choi
c
e list in decl
a
ration of un
i
versal
.
.
.
commit
|
commitdiff
|
tree
2024-05-20
P
i
otr Trojanek
a
d
a: Fix style i
n
list of implemen
t
at
i
on-defined
attributes
commit
|
commitdiff
|
tree
2024-05-20
Pi
o
t
r
Trojanek
ad
a
: Fix static
'Img for e
n
umeration ty
p
e
with Discard
_
Names
commit
|
commitdiff
|
tree
2024-05-20
Piotr Trojanek
ada: F
i
x for attribute Width on
e
numeration typ
e
s
w
ith
.
.
.
commit
|
commitdiff
|
tree
2024-05-17
Piotr Trojan
e
k
ada: Fix for val
i
di
t
y
checking
a
nd
conditiona
l
evaluation
.
.
.
commit
|
commitdiff
|
tree
2024-05-17
Piotr Trojanek
ada:
Ex
p
ose uti
l
ity
routine
f
or processing of D
e
pe
n
ds
.
.
.
commit
|
commitdiff
|
tree
2024-05-17
Piotr T
r
ojanek
ada: Onl
y
r
ecord ty
p
es with discriminants can be unconst
r
ained
commit
|
commitdiff
|
tree
2024-05-17
Piot
r
T
r
o
janek
ada: Simplify code for private types with un
k
n
o
w
n
discriminants
commit
|
commitdiff
|
tree
2024-05-17
Piotr Tro
j
anek
ada:
A
llow priv
a
te items
w
ith
u
nknown discrimi
n
a
n
ts
.
.
.
commit
|
commitdiff
|
tree
2024-05-17
Piotr
Trojanek
a
da: Tune detec
t
ion
o
f unconstra
i
ned and t
a
gged
items
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Piotr
Troja
n
ek
a
da: Ignore ghos
t
nodes in call graph inform
a
tio
n
for
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Pio
t
r Trojanek
ada: Im
p
rove
r
e
c
overy from illegal
o
ccurre
n
ce
of 'Old
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Piotr Troj
a
n
e
k
ada: No need to follow New_
O
ccur
r
en
c
e_Of with
Se
t
_Etype
commit
|
commitdiff
|
tree
2024-05-16
P
iotr Troja
n
ek
ad
a
: Fix detection
o
f if_ex
p
ressions th
a
t are known
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Piotr
Trojanek
ada: Fix typo in CUDA error message
commit
|
commitdiff
|
tree
2024-05-16
Piotr Tro
j
anek
ada: Fix
casing of CU
D
A
in error messages
commit
|
commitdiff
|
tree
2024-05-16
Piotr Tro
j
a
n
ek
a
d
a: Remov
e
A
s
p
e
ct_Sp
e
cifi
c
ations field from
N
_Procedure_Spe
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Pio
t
r Trojanek
ada: Reuse e
x
i
s
tin
g
expression when rewriting aspe
c
ts
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Pio
t
r Trojanek
ad
a
: Cle
a
n
up reporting lo
c
ation
s
for Ada 2022 and GNAT
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Piotr Trojanek
a
d
a: Fix alp
h
abetic
o
rderi
n
g o
f
aspect identifiers
commit
|
commitdiff
|
tree
2024-05-16
Piotr Trojanek
ada: F
i
x
orde
r
ing
o
f code for pragma Preelaborable_Initia
l
iz
.
.
.
commit
|
commitdiff
|
tree
2024-05-16
Pio
t
r Tro
j
a
n
ek
ada: F
i
x casing in error mess
a
g
es
commit
|
commitdiff
|
tree
2024-05-16
Piotr Troj
a
nek
a
da:
Fix docs and comments about pragm
a
s for
Boolean
.
.
.
commit
|
commitdiff
|
tree
2024-05-14
Piotr Troj
a
nek
ada:
F
ix
c
lassif
i
c
ation
of
S
PARK Boolean aspects
commit
|
commitdiff
|
tree
2024-05-13
Pi
o
tr T
r
ojanek
a
da: Remove code that exp
e
c
t
e
d pre/post being split
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
Piotr
Trojanek
ada: R
e
v
er
t
recent change f
o
r Put_Image and Obj
e
ct_Si
z
e
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
P
iotr Tro
j
anek
a
da: Attributes Put_Image and
Object_Size are defined
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
Piotr Trojanek
ad
a
: Remov
e
g
uards
a
g
ainst traversal of emp
t
y list
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
Piotr Trojanek
ada
:
Deconstru
c
t
fl
a
g Split_PPC since s
p
litting no
w
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
Piotr Trojanek
ada: Move splitti
n
g
of pre/pos
t
a
spect exp
r
ess
i
ons
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
P
i
o
t
r Trojanek
ad
a
: Fix style in
c
o
mmen
t
s
commit
|
commitdiff
|
tree
2024-05-13
Piotr Trojanek
ada: Refine type
o
f a local variable
commit
|
commitdiff
|
tree
2024-05-13
P
i
otr Troj
a
n
e
k
ada: Recognize pragm
a
Lock_Free as specific to
G
NAT
commit
|
commitdiff
|
tree
2024-05-13
Pio
t
r T
r
ojanek
ada: De
c
onstruct unused flag
Is_Expanded_Contract
commit
|
commitdiff
|
tree
2024-05-13
Piotr Troja
n
ek
a
da: Refact
o
r
re
p
eated code for qu
e
rying Boolean-valued
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
Piotr Tro
j
anek
ada:
Com
p
lete implementation
o
f
Ada 2022 a
s
pe
c
t E
x
clusive_Fu
.
.
.
commit
|
commitdiff
|
tree
2024-05-13
Piotr
Trojan
e
k
ada: Avoid cra
s
h
o
n ill
e
gal c
o
n
s
train
e
d t
y
pe d
e
clarations
commit
|
commitdiff
|
tree
2024-05-13
Piotr Trojane
k
a
da: Simplify uses of readdir
_
gn
a
t
w
i
th object overlay
commit
|
commitdiff
|
tree
2024-05-13
Pi
o
tr
Trojanek
ada: Ref
a
ctor GN
A
T
.
Directory_Operat
i
ons
.
Read to minimise
.
.
.
commit
|
commitdiff
|
tree
2024-05-07
Pio
t
r Trojanek
ad
a
:
Fix cal
c
ulation
o
f tasks i
n
n
u
ll a
r
rays
commit
|
commitdiff
|
tree
2024-05-07
Piotr Tr
o
j
a
nek
a
d
a: Pre
v
ent
c
alcu
l
ation of negative st
a
ck counts
commit
|
commitdiff
|
tree
2024-05-07
Piotr Tro
j
anek
a
da: Clean
u
p cal
c
ula
t
ion of ta
s
k stacks
commit
|
commitdiff
|
tree
2024-05-07
Pio
t
r Trojanek
ada:
Fix grammar in
co
m
ment
commit
|
commitdiff
|
tree
2024-05-07
P
iot
r
T
r
ojanek
a
d
a: Remove redundant
g
uard against empty list of de
c
la
r
ations
commit
|
commitdiff
|
tree
2024-05-07
Piotr Trojan
e
k
ada: Re
m
ove
redundant guard
a
g
ainst e
m
p
ty list of a
c
tion
s
commit
|
commitdiff
|
tree
2024-05-07
Piot
r
T
r
ojanek
ada: Cleanup detection
o
f per
-
object constrai
n
ts in
.
.
.
commit
|
commitdiff
|
tree
2024-05-07
Piotr
Trojanek
ada: Si
m
pl
i
fy detection of the enclosing scop
e
commit
|
commitdiff
|
tree
2024-05-07
Piotr Trojanek
ada:
R
educe scope in the analysis of ac
c
ess attribute
s
commit
|
commitdiff
|
tree
2024-05-07
Piotr
T
rojanek
a
d
a
:
F
ix detect
i
o
n
of components with per-objec
t
c
o
nstra
i
nts
commit
|
commitdiff
|
tree
2024-05-07
P
i
otr Trojanek
ad
a
: A
c
c
ept constant
s
of acc
e
ss ty
p
es as
g
lob
a
ls of
.
.
.
commit
|
commitdiff
|
tree
2024-05-07
P
io
t
r
Trojan
e
k
a
d
a
:
U
p
date
c
o
m
ment abou
t
implic
i
t inp
u
ts of Depends
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
Piotr Trojanek
ada: All
o
w
u
se of writable
para
m
eters
i
n
s
i
de func
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
P
iotr
T
rojanek
ada:
C
leanup collecting of implic
i
t outpu
t
s
commit
|
commitdiff
|
tree
2024-05-06
Piotr
Trojanek
ada: S
u
pp
o
r
t wr
i
table parameters in Depends with s
i
de
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
Piot
r
Trojan
e
k
ad
a
: Deconstruct
support for abstract states wi
t
h Relaxed_In
.
.
.
commit
|
commitdiff
|
tree
2024-05-06
P
io
t
r Trojanek
ada: Re
p
lac
e
redundant conditions
w
ith
assertions
commit
|
commitdiff
|
tree
2024-05-06
P
iotr Trojanek
ada: Fix
missing
a
ss
o
ciated
n
ode fo
r
packed array
itypes
commit
|
commitdiff
|
tree
2024-04-15
P
i
o
tr
Tr
o
janek
ada: Add doc
u
mentat
i
on for Ex
c
eptional_
C
ases
commit
|
commitdiff
|
tree
2024-01-09
Piotr
Trojanek
ada: Remove s
i
de eff
e
cts depend
i
n
g
on
th
e
cont
e
x
t of
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
Piot
r
T
rojanek
ada: More agg
r
essive inlini
n
g of subprogram calls in
.
.
.
commit
|
commitdiff
|
tree
2024-01-09
P
iotr
Trojanek
ada: Remove
d
ead detection of recursive inl
i
ned subprogr
a
ms
commit
|
commitdiff
|
tree
2024-01-09
Piotr Trojanek
ada: Remove dead
c
od
e
for
GNA
T
prove
i
n
l
ini
n
g
commit
|
commitdiff
|
tree
2024-01-09
Pio
t
r Trojanek
ada: F
i
x uses
o
f not Present
commit
|
commitdiff
|
tree
2024-01-09
Pi
o
tr Tro
j
a
n
ek
ada: Do
c
ument ne
w
S
PARK aspect and pr
a
gma A
l
wa
y
s_T
e
rminates
commit
|
commitdiff
|
tree
2023-12-19
Piotr Troj
a
n
ek
ada: F
i
x style and typ
o
s in comme
n
ts
commit
|
commitdiff
|
tree
2023-12-19
Pio
t
r
Trojan
e
k
ada: Remove
unreferenced utility routi
n
e G
e
t_
L
og
i
cal_Lin
e
_Nu
.
.
.
commit
|
commitdiff
|
tree
2023-12-19
P
i
ot
r
T
rojanek
ada:
Ignore
un
c
o
nstraine
d
components as inputs for
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
iotr Troj
a
nek
a
d
a: F
i
x e
x
pans
i
o
n
of
t
yp
e
asp
e
c
t
s with handlin
g
of
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Tr
o
j
a
n
e
k
ada: C
l
e
a
nup "
n
ot Present"
o
n List_Id
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Cleanup more
"
not Present"
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojane
k
ada:
R
emo
v
e duplicated
code for ex
p
ansio
n
of packed
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Simplify expan
s
ion of packed
array assignme
n
ts
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Fix
extra
w
hit
e
space after
END key
w
ords
commit
|
commitdiff
|
tree
2023-11-07
Piotr Trojanek
ada: Av
o
id
extra conversion i
n
expansion of packed
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr
T
rojanek
ada:
Si
m
plify handling of
kno
w
n values in expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Pio
t
r
Trojane
k
a
da: Change
local v
a
riab
l
es to constants i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
Piotr Troj
a
ne
k
a
d
a
: Fix style i
n
declaration of routine
for
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2023-11-07
P
iotr Trojanek
ada:
C
lea
n
up gettin
g
of actual subtypes
commit
|
commitdiff
|
tree
2023-11-07
Piot
r
Trojane
k
ada:
F
ix handling of actua
l
subtypes for expanded names
commit
|
commitdiff
|
tree
2023-10-19
Pi
o
tr Tr
o
janek
ada: Simplify
"
not Present" with "No"
commit
|
commitdiff
|
tree
2023-09-15
Piotr T
r
ojanek
ada
:
Explicitly analyze and expand
nu
l
l
array aggregat
e
s
commit
|
commitdiff
|
tree
2023-09-05
Piot
r
Tro
j
a
n
ek
ada: R
e
mo
v
e
r
edu
n
da
n
t protecti
o
n against empty list
commit
|
commitdiff
|
tree
2023-09-05
P
i
otr Troja
n
ek
a
d
a
: Add g
u
ard be
f
ore q
u
erying
the type for its interfaces
commit
|
commitdiff
|
tree
2023-09-05
Piotr Tr
o
janek
a
da: Remov
e
r
edundan
t
g
u
ard
against an empty list of
.
.
.
commit
|
commitdiff
|
tree
2023-08-07
Piot
r
Trojanek
ada:
E
x
te
n
d precondi
t
io
n
of In
t
erfaces
.
C
.
String
.
Value
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojanek
ada
:
Add guar
d
for de
t
ection of class-wide pr
e
condition
.
.
.
commit
|
commitdiff
|
tree
2023-07-28
Piotr Trojan
e
k
a
da: Leave dete
c
tion of mi
s
sing
retu
r
n in fun
c
tio
n
s
.
.
.
commit
|
commitdiff
|
tree
next