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: Remove unneeded code in handling formal type defaults
2022-11-08
Piot
r
Trojanek
ada: Re
m
ove unnee
d
e
d
c
o
de in hand
l
i
ng f
o
rmal type defaults
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada:
Cleanup local variable
t
hat is o
n
ly set as an
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr
Trojanek
ada: Reject
limit
e
d objects in a
r
ray and record delt
a
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pi
o
tr Trojanek
ada: Allow initializati
o
n
o
f limited objects wi
t
h de
l
ta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Tro
j
a
nek
ada: Reject recor
d
de
l
ta aggr
e
gates
with limited exp
r
ess
i
ons
commit
|
commitdiff
|
tree
2022-11-08
Piotr T
r
oja
n
e
k
a
da: Raise Tag_Error when
A
da
.
Tags operations are called
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
Trojane
k
ada: Tune ha
s
h fu
n
ction for
c
ross-ref
e
rence en
t
ries
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Trojanek
ada: Fix per
f
orm
a
nce reg
r
e
s
sion related to references
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Troja
n
ek
ada:
I
n
l
ine co
m
posite node kind AST qu
e
ries
commit
|
commitdiff
|
tree
2022-11-07
Piotr Troj
a
n
ek
a
d
a:
F
ix
d
etect
i
on of external calls t
o
p
r
otected
objects
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: C
l
ean up un
n
ecessa
r
y nes
t
ing in
c
ode for DLL libraries
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojane
k
ada: Deconstruct Safe_To_Capture_In_Parameter_V
a
lue
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr Troja
n
ek
ada: Flip
w
arning supp
r
ess
i
o
n routine to posi
t
ive meaning
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
tr Trojanek
ada
:
Cleanup detecti
o
n of code within gene
r
ic instanc
e
s
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
tr Trojanek
ada: Remove redundant
suppression for n
o
n-modified
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Re
j
ect boxe
s
in delta array a
g
gregates
commit
|
commitdiff
|
tree
2022-11-07
Piotr
Trojanek
ada:
Allow
r
euse of
E
nclosing_Declar
a
tion_Or_Statement
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r Trojanek
ada:
Clean up
u
nn
e
cesary call i
n
resolution o
f
overl
o
aded
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ad
a
: Clean up code f
o
r visi
b
ility of ge
n
e
r
ic actuals
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
t
r
Trojane
k
ada:
Cleanup comment about mappi
n
g
parame
t
ers w
h
en
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
roj
a
nek
a
da: T
u
ne
l
a
yout after swit
c
hi
n
g to Ad
a
2022 a
g
greg
a
te
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojan
e
k
ada: Clea
n
up
W
ITH
c
l
auses after swi
t
c
h
ing from obsolescen
t
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Create operator
nodes in f
u
n
c
tio
n
al
style
commit
|
commitdiff
|
tree
2022-11-07
P
iotr Tro
j
anek
a
da: Do
n
't reuse
o
perator nodes
i
n
exp
a
nsio
n
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Simplify detection of pragm
a
s i
n
the co
n
text
i
te
m
s
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr
Troja
n
ek
ada: Reject misplaced prag
m
a
O
bsolescent
commit
|
commitdiff
|
tree
2022-11-07
P
i
ot
r
Trojanek
ada: Fix missin
g
tag for with
o
f an obsol
e
s
cent function
commit
|
commitdiff
|
tree
2022-11-07
Piotr T
r
ojanek
a
da: Remo
v
e usel
e
ss validity suppression fo
r
attribute
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
P
iotr Tro
j
anek
a
d
a:
Fix typo in commen
t
referring to pragma Res
t
rictions
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Clean
u
p code for
warnings a
b
ou
t
unref
e
renced formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Cleanup code for unreferenced var
i
abl
e
s
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada:
Cleanup
c
ode for warni
n
gs
a
bout
u
nse
t
references
commit
|
commitdiff
|
tree
2022-11-04
Piotr
Troja
n
ek
ada:
R
emove redundant calls in handli
n
g
o
f as
p
e
c
t
spec
i
f
i
cations
commit
|
commitdiff
|
tree
2022-11-04
Pio
t
r Trojanek
ada
:
Av
o
id r
e
peated it
e
ration over private protected
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojan
e
k
ada:
C
leanup clearing flags on packa
g
e
variables
commit
|
commitdiff
|
tree
2022-11-04
P
i
otr Trojanek
ada: Fix
v
arious ty
p
o
s in GNAT User
'
s
G
uide
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: F
i
x repe
a
t
e
d k
i
lling of private ent
i
ty values
commit
|
commitdiff
|
tree
2022-11-04
P
iotr Trojanek
ada: Simp
l
ify
d
etection of
c
o
n
tro
l
ling for
m
als
commit
|
commitdiff
|
tree
2022-11-04
Piotr
T
rojanek
ada: Fix
v
a
r
iou
s
typos in
n
o
de and entity desc
r
iption
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
P
i
o
t
r
Troj
a
n
e
k
ada: Fix various typos in
G
N
AT R
M
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Improve efficienc
y
of scope stack restoration
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojane
k
ada: Support loc
k
-free prot
e
cte
d
objects with pragma
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Tro
j
a
nek
ada:
R
eject expanded globa
l
n
ames in lo
c
k-free
p
rotected
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojanek
a
d
a:
R
eject
conditional got
o
in lock-
f
ree protected
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piotr Trojanek
ada: Cl
e
a
n
up relate
d
to lo
c
k-free pr
o
t
e
c
t
ed
subpro
g
ram
s
commit
|
commitdiff
|
tree
2022-10-06
Piotr
Trojan
e
k
ada:
F
i
x
ins
e
rting of
v
alidity checks
in lock-free
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piot
r
Trojanek
ada:
F
ix sp
u
rious warni
n
g on unre
f
eren
c
e
d
re
f
i
n
e
m
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
Pi
o
tr Tr
o
j
anek
ada: Fix
c
hecking o
f
Refined_State
with nest
e
d pa
c
kage
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Pi
o
t
r Trojan
e
k
ada: Fix locat
i
on of pragmas
c
o
ming fr
o
m
asp
e
cts
i
n
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada:
R
emove unreferen
c
e
d
Rtsfi
n
d entries
commit
|
commitdiff
|
tree
2022-09-26
P
i
otr Tr
o
janek
a
d
a:
R
emove un
r
eferenced C macro from OS con
s
tants
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr T
r
ojanek
ada: Del
a
y
expansion of
i
terator sp
e
cificat
i
on in preanalys
i
s
commit
|
commitdiff
|
tree
2022-09-26
Pi
o
tr T
r
ojanek
a
da: Delay expansion of it
e
rated componen
t
associat
i
on
commit
|
commitdiff
|
tree
2022-09-26
Piotr
T
rojanek
ada:
O
nly r
e
ject vo
l
a
t
ile
ghost objects when SPARK
_
M
ode
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Re
m
ove socke
t
definitio
n
s for a
n
cient
M
inG
W
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Re
m
ove d
e
finition of MA
X
P
A
THLEN
f
or ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Piot
r
Trojanek
ada: Decon
s
truct
b
ui
l
d
support for
a
ncient MinG
W
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada
:
Tu
n
e comment
o
f
routi
n
e
f
or detecting junk names
commit
|
commitdiff
|
tree
2022-09-12
Piotr
Tr
o
ja
n
ek
[Ada] Sync doc
u
mentati
o
n of jun
k
n
a
m
e
s with code
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] R
e
j
ect
'Valid
_
S
c
alars on Unchecked_Union regardless
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada]
S
pecial-case printing of SPARK
_
Mode
in error
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Cl
e
a
nup routine for handl
i
ng SPA
R
K_Mode
k
inds
commit
|
commitdiff
|
tree
2022-09-12
Piot
r
Trojanek
[
Ada] Fi
x
validity checking on
r
enamed Old attribut
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Pi
o
tr Trojanek
[Ada] R
e
ta
i
n
H
as_Pr
i
vate_View flag for actuals of inlined
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piot
r
Tr
o
j
anek
[Ad
a
] Fix
comment about mapping
of parameters an
d
i
nlining
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Tr
o
janek
[
Ada]
C
leanu
p
u
nnecessary s
h
adowing
in expansion of
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
P
io
t
r Trojanek
[Ada
]
T
u
ne mess
a
ge for illegal as
p
ect Rel
a
xed_Ini
t
ializa
t
i
on
commit
|
commitdiff
|
tree
2022-09-06
P
iotr Trojanek
[Ada] Add for
m
al v
e
r
i
fication depen
d
e
n
cies t
o
libgnat
commit
|
commitdiff
|
tree
2022-09-06
Pio
t
r Trojanek
[Ada] Im
p
r
o
ve d
e
tection
o
f illegal Ite
r
able aspects
commit
|
commitdiff
|
tree
2022-09-05
Piotr Troja
n
ek
[Ada] Mo
v
e check for n
u
ll
array aggregates to expansion
commit
|
commitdiff
|
tree
2022-09-05
Pio
t
r Tro
j
anek
[Ada] Fix
inconsis
t
ent bu
i
lding of
it
y
pes for null
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piot
r
Troja
n
ek
[Ada] F
i
x insertion of
a
runtime
c
heck for
n
ull array
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr
T
roj
a
n
ek
[Ada] Cleanup iteration
over a
g
g
r
e
g
a
te component associations
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojan
e
k
[A
d
a
]
Remov
e
V
M
S
s
p
ecific
routine
th
a
t
is no longer
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] C
r
eate int
e
r
nal type for
n
u
l
l
a
rray agg
r
egate
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Pio
t
r Trojanek
[Ada] Remove
no lo
n
ger referenc
e
d
G
NA
T
prove utility
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
P
i
otr Trojanek
[A
d
a] Fix detection of unused warni
n
g supp
r
ession
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[
A
da] Dete
c
t expan
s
i
on of i
t
er
a
ted
c
omponent associa
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piot
r
Troja
n
ek
[Ada] Fix double i
d
entif
i
ers in i
t
er
a
t
e
d component
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Pi
o
tr Trojanek
[Ada] Fix res
o
lu
t
io
n
of iterated
c
ompon
e
nt
a
ss
o
ciation
commit
|
commitdiff
|
tree
2022-09-05
Piotr T
r
ojanek
[Ada] Cleanup analys
i
s
of iterator specifications
commit
|
commitdiff
|
tree
2022-09-05
Piotr
Trojanek
[Ad
a
] Cleanup reso
l
ution of aggr
e
gate
s
with mix
e
d componen
t
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Pi
o
tr Trojanek
[Ada]
C
leanup
r
esolution of
i
terated c
o
mponent associa
t
ion
commit
|
commitdiff
|
tree
2022-09-05
Piotr Tro
j
anek
[Ada] Cleanup analysis of quantified exp
r
ess
i
ons with
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] Cleanup exp
a
ns
i
on
of attribute Priorit
y
commit
|
commitdiff
|
tree
2022-09-05
P
iotr Trojanek
[Ada] Fix expansion of attrib
u
t
e
Priority
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[A
d
a
]
Remov
e
excessive guards against inserting empty
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr T
r
ojanek
[
Ada] Improve pretty-p
r
i
n
ting
o
f iterated
component
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Piotr Trojanek
[
Ad
a
] F
i
x for visibil
i
ty of as
p
ect expression
s
insi
d
e
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Piotr Trojanek
[Ada] Handle bod
i
es-t
o
-inline just like g
e
neric te
m
p
l
ate
s
commit
|
commitdiff
|
tree
2022-07-13
Piotr Troj
a
nek
[Ada] Fix crash on frontend inlinin
g
o
f functions w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Piotr T
r
ojanek
[Ada]
R
efine type for ch
e
cking
n
umbe
r
of pragma a
r
gu
m
ents
commit
|
commitdiff
|
tree
2022-07-12
Piotr Trojanek
[Ada] Fix inconsi
s
t
e
nt
c
omme
n
t about expansion of
e
xceptio
n
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piotr Tro
j
anek
[Ada] Don't c
h
e
ck for misspelling of
Not_A_Rest
r
iction_Id
commit
|
commitdiff
|
tree
2022-07-12
Piotr Trojanek
[Ada] Fix confusing error expressi
o
n
on an unknown
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
P
i
otr Troj
a
nek
[Ada] Simp
l
ify rewri
t
ing of attrib
u
t
es into Boolean
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piotr
T
ro
j
a
nek
[Ada] F
i
x spurious warning
o
n
unre
f
erenced i
n
tern
a
l
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piotr Trojanek
[Ada
]
Warn on uns
e
t o
b
jects in pack
a
ges
with
n
o bo
d
ies
commit
|
commitdiff
|
tree
2022-07-12
Piotr
T
rojanek
[Ada]
A
ccept a
s
pect Yield on subprogra
m
bodies
acting
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Pio
t
r Trojanek
[Ada] W
a
rn about
u
nreachable code after ca
l
ls with
.
.
.
commit
|
commitdiff
|
tree
next