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: Cleanup inconsistent iteration over exception handlers
2023-05-23
Piotr Trojanek
a
d
a: Cleanup
i
nconsis
t
ent iteration over exception
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
P
iotr
T
r
o
janek
ada: Turn asserti
o
ns into defensive c
o
de in error locations
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr
T
rojan
e
k
ad
a
: Fix endings o
f
pretty-
p
rinted
numeric literal
s
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojan
e
k
ad
a
: Sy
n
c
d
i
fferent va
r
i
ants of inte
r
rupt hand
l
er registra
t
ion
commit
|
commitdiff
|
tree
2023-05-23
Pio
t
r Trojanek
ada: Revert to ol
d
p
retty-
p
rint
i
ng of internal entiti
e
s
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr
Trojanek
ada: Ignore
a
ccessibilit
y
actuals in expres
s
i
on
pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Pi
o
tr Trojanek
ada:
Remove spe
c
ial-case for pa
r
entheses in expansion
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Tra
n
sfer fix
for pret
t
y-printed parenth
e
s
es
fro
m
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
Tr
o
janek
a
d
a:
F
ix expression pretty-p
r
inter f
o
r
S
PARK c
o
un
t
er
e
xa
m
ples
commit
|
commitdiff
|
tree
2023-05-23
Piot
r
T
rojanek
a
da: Suppress w
a
rning about Subprogram_Variant
failing
.
.
.
commit
|
commitdiff
|
tree
2023-05-23
Piotr Trojanek
ada: Minor fix ty
p
o
i
n
comment
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Avoid
r
epe
a
ted
c
a
lls when looking for
f
irst/last
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
P
i
o
t
r Troj
a
nek
ada
:
Fi
x
sour
c
e
lo
c
ation for
c
r
a
shes in expanded Loop_Ent
r
y
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r
Trojanek
ada: Further fixe
s
to
GNAT
p
rove
a
nd
CodePeer e
x
p
ression
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Pio
t
r T
r
oja
n
ek
ada: Clea
n
up redundan
t
con
d
ition in resolutio
n
of ent
i
ty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr
Trojanek
ada
:
Add warning on fr
o
ntend
i
nlining of Subpro
g
ram_Variant
commit
|
commitdiff
|
tree
2023-05-22
P
io
t
r Trojanek
ada: F
i
x spu
r
ious warning on Inline_A
l
ways and contra
c
ts
commit
|
commitdiff
|
tree
2023-05-22
Pi
o
tr Trojanek
ada: Remove
redund
a
nt pr
o
tection aga
i
nst
e
mpty
li
s
ts
commit
|
commitdiff
|
tree
2023-05-22
P
i
ot
r
Trojanek
ada: Remove unreferenced ut
i
lit
y
routine Is_
A
ctual_Tagged_Pa
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada
:
Fix tr
a
ver
s
al for
t
he ri
g
htmost n
o
de
o
f
a pretty
.
.
.
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojan
e
k
ad
a
:
Restrict
e
x
p
res
s
ion p
r
etty-printer to s
u
bexpressions
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada:
Don
'
t pretty-print DEL within expression images
commit
|
commitdiff
|
tree
2023-05-22
Piotr Trojanek
ada: Update Controlling_Argument wh
e
n copying trees
commit
|
commitdiff
|
tree
2023-05-16
P
i
otr Trojanek
ada
:
Apply
r
ange che
c
ks to prean
a
lyz
e
d aggregate expre
s
sions
commit
|
commitdiff
|
tree
2023-05-16
Piot
r
T
rojanek
ada:
B
ui
l
d
invari
a
nt procedure while
f
reez
i
ng in GNATprove
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr Trojanek
ada: Re
m
o
v
e
redundan
t
pro
t
ection aga
i
nst e
m
pty lists
commit
|
commitdiff
|
tree
2023-05-15
Piotr Trojan
e
k
ada: Accept
aggregate
s
wi
t
h
O
THE
R
S
c
lause in
unchecked
.
.
.
commit
|
commitdiff
|
tree
2023-05-15
Piotr Trojanek
a
d
a
:
Reje
c
t attri
b
ute
I
n
itializ
e
on unchecke
d
unions
commit
|
commitdiff
|
tree
2023-05-15
Piot
r
Tro
j
anek
ada: Fix link to parent when cop
y
i
n
g w
i
t
h
C
opy_
S
eparate_Tree
commit
|
commitdiff
|
tree
2023-01-05
P
i
ot
r
Trojanek
ada: Flag renamin
g
-as-spec as a body to inl
i
ne
commit
|
commitdiff
|
tree
2023-01-05
P
i
ot
r
Trojanek
ada: Remove
u
nhelpful sp
e
cial case for re
n
ame
d
bodies
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Pio
t
r Tro
j
anek
ada:
A
ccept aspects
Gl
o
b
al
a
nd Depends o
n
abstract
.
.
.
commit
|
commitdiff
|
tree
2022-11-22
Piotr Trojane
k
a
d
a: Adjust number of
e
rrors when re
m
oving warn
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Pi
o
tr Trojanek
ada: Ad
j
u
st locatio
n
s in aspects on gener
i
c formal
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Troja
n
e
k
ada
:
Fix style
i
n code for g
e
neric formal sub
p
rogr
a
ms
.
.
.
commit
|
commitdiff
|
tree
2022-11-14
Piotr Tr
o
janek
ada: Expand ge
n
er
i
c f
o
r
m
al subprograms with contracts
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Tr
o
j
a
nek
ada:
Clea
n
up cal
l
to check if aspe
c
ts are pr
e
sent
commit
|
commitdiff
|
tree
2022-11-08
P
i
o
tr Troj
a
nek
ada: Propagate aspect Ghost when instantia
t
ing nul
l
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
i
ot
r
T
r
ojanek
ada: Fix e
x
pansion
of 'Wide_Image and 'Wi
d
e_
W
ide_Image
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Pio
t
r Trojanek
ada: Fix inconsiste
n
t
w
hitesp
a
ce i
n
Ada
.
Numerics
.
Gener
i
c_Com
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
i
otr Trojane
k
ada: R
e
mov
e
unneeded code in handling formal t
y
pe
de
f
aults
commit
|
commitdiff
|
tree
2022-11-08
Pi
o
tr
T
roja
n
ek
ada: Cleanup local var
i
able that is only set as an
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Rejec
t
limited objects i
n
array
a
n
d record delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
a
da:
A
ll
o
w
i
nitial
i
zat
i
on o
f
limited
o
bj
e
cts with delta
.
.
.
commit
|
commitdiff
|
tree
2022-11-08
P
iotr Trojanek
a
da: Reject record
delta
a
g
g
regates
w
ith limite
d
ex
p
re
s
sions
commit
|
commitdiff
|
tree
2022-11-08
Piotr Trojanek
ada: Raise Tag_Erro
r
when
Ada
.
Tags
o
perations are called
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ad
a
: Tune hash function for cross-reference
entrie
s
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
rojanek
ada: Fix performa
n
ce
r
egressio
n
related to references
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
Trojanek
ada: Inline compo
s
ite node
ki
n
d AST querie
s
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r Trojanek
ad
a
: Fi
x
det
e
ction of external calls t
o
p
rotected o
b
jects
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Cl
e
an up unnecessary nest
i
ng in code for DLL
libraries
commit
|
commitdiff
|
tree
2022-11-07
Piotr Tr
o
janek
ada
:
Deconstruct S
a
fe_
T
o_Capture_In_Parameter_Value
commit
|
commitdiff
|
tree
2022-11-07
Piotr
T
r
o
janek
ada
:
Flip warning suppr
e
s
sion
routine to positiv
e
meani
n
g
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
T
rojanek
ada: Cle
a
nup detection of
code within ge
n
eric inst
a
nces
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
tr T
r
o
jane
k
ada
:
Remov
e
redundant s
u
pp
r
e
ss
i
on for non-mod
i
fied
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
iotr
Trojanek
ada: Reje
c
t b
o
xe
s
in de
l
ta ar
r
ay aggregates
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: A
l
low r
e
use of Enclosing_Declaration_Or_
S
tatement
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr
Trojanek
ada: Clean up
u
nn
e
c
esary cal
l
i
n resolution of overl
o
aded
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Pio
t
r Trojanek
a
d
a
:
Clean
up code for visi
b
ility of
g
e
n
e
ric actuals
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
T
r
ojan
e
k
ad
a
: Cleanup
comment about mappin
g
para
m
eters
w
hen
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada:
Tun
e
layout after
s
witching
to Ada 2
0
22 aggr
e
gate
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
a
d
a:
C
lean
u
p WITH cla
u
ses af
t
er swi
t
c
h
ing from obsol
e
scent
.
.
.
commit
|
commitdiff
|
tree
2022-11-07
P
i
otr T
r
ojanek
a
da: Create operator nodes in functional
s
tyle
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
t
r
T
rojanek
ada: Don'
t
reu
s
e opera
t
or
nodes in expa
n
sion
commit
|
commitdiff
|
tree
2022-11-07
Piotr Trojanek
ada: Simplify dete
c
ti
o
n
of pragmas in the con
t
ext
i
tems
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
T
rojanek
ada: Reje
c
t misplaced pragma Obsolescent
commit
|
commitdiff
|
tree
2022-11-07
Piot
r
Tr
o
janek
ada: Fix missi
n
g tag
f
or wi
t
h
of a
n
obsol
e
scent function
commit
|
commitdiff
|
tree
2022-11-07
Pi
o
tr T
r
ojanek
ada: R
e
move
u
seless
v
alidity suppression for a
t
tribute
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
ada: Fix typo in comment re
f
erring to prag
m
a Restr
i
ct
i
ons
commit
|
commitdiff
|
tree
2022-11-04
Pi
o
tr Troja
n
e
k
ada
:
C
l
eanup
code for warnings
a
bout un
r
e
f
e
renc
e
d f
o
rmal
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
P
iotr T
r
ojane
k
ada: Clean
u
p code for
u
nr
e
f
e
renced
v
a
r
iables
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
a
da: Cleanup cod
e
for warnings about
unset references
commit
|
commitdiff
|
tree
2022-11-04
Piotr Tr
o
jane
k
ada:
R
e
m
ove
redund
a
nt calls i
n
h
a
ndl
i
ng
o
f
aspect specific
a
tions
commit
|
commitdiff
|
tree
2022-11-04
P
i
otr Tro
j
anek
ada: Avoid repeated iteration over
p
rivate protected
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piot
r
Tro
j
anek
ada: Cleanu
p
clearing
flags on package var
i
ables
commit
|
commitdiff
|
tree
2022-11-04
P
iotr Trojanek
ada: Fi
x
various t
y
pos i
n
GNAT Us
e
r
'
s
Guide
commit
|
commitdiff
|
tree
2022-11-04
Piot
r
T
r
oja
n
ek
ada:
Fix repeated
k
illing
o
f private entity v
a
l
ues
commit
|
commitdiff
|
tree
2022-11-04
Piot
r
Trojanek
ada: Sim
p
lify detec
t
ion of con
t
r
o
ll
i
ng formals
commit
|
commitdiff
|
tree
2022-11-04
Piotr Trojanek
a
d
a: F
i
x various typos in n
o
de and entity descri
p
tion
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Piotr Tr
o
janek
ada: Fix vari
o
u
s
typos i
n
GNAT RM
commit
|
commitdiff
|
tree
2022-11-04
Piotr Tro
j
a
n
e
k
ada: Improve efficiency
o
f
sco
p
e stack restoratio
n
commit
|
commitdiff
|
tree
2022-11-04
Piot
r
Tro
j
anek
a
da: Support
l
ock-
f
ree protected objects with prag
m
a
.
.
.
commit
|
commitdiff
|
tree
2022-11-04
Pio
t
r Trojane
k
ada: Reject exp
a
nded gl
o
bal names in
l
ock-fr
e
e p
r
otecte
d
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Pio
t
r T
r
ojanek
a
d
a: Reject co
n
di
t
ional goto in
l
ock-free pro
t
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piotr T
r
o
jan
e
k
ada: Cl
e
anu
p
rel
a
ted to lock-f
r
ee protected s
u
bp
r
og
r
ams
commit
|
commitdiff
|
tree
2022-10-06
Pio
t
r
Trojanek
a
d
a: Fix inserting
o
f validity checks in lock-free
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piot
r
Trojanek
ada: Fix spurious w
a
rning on unrefe
r
enced
refinemen
t
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
Piot
r
Tro
j
anek
a
da: Fix checking of Ref
i
ned_State wi
t
h ne
s
ted package
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
P
i
otr T
r
ojanek
ada: F
i
x location of
pra
g
mas coming f
r
om
a
spec
t
s in
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr T
r
o
j
a
n
e
k
ada: Remove unrefer
e
n
c
ed
R
tsfind
e
ntries
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: R
e
m
o
ve unreferenced
C
mac
r
o
f
r
om OS
c
o
nstan
t
s
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
P
iotr T
r
ojanek
ada: Delay e
x
pansion
o
f iter
a
tor specification i
n
p
reanalysis
commit
|
commitdiff
|
tree
2022-09-26
Piotr Tr
o
janek
a
d
a:
Dela
y
expansion of it
e
ra
t
e
d com
p
o
nent associat
i
o
n
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Only reject vol
a
tile ghost obj
e
cts when
SPARK_Mode
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Tro
j
anek
ada:
R
emove
socket definitions for ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: R
e
move definition of MAXPATHLEN fo
r
ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Pio
t
r Trojane
k
ada
:
Deconstruct build support for ancien
t
MinGW
commit
|
commitdiff
|
tree
2022-09-26
P
iotr Troj
a
nek
ad
a
:
T
une comment of routine fo
r
detecting junk names
commit
|
commitdiff
|
tree
2022-09-12
P
iotr Trojanek
[Ada
]
S
y
n
c documentation of
j
unk names with code
commit
|
commitdiff
|
tree
2022-09-12
P
iotr Trojanek
[Ada] Rej
e
ct
'
Valid_Sca
l
ar
s
on Unchecked_
U
nion
r
eg
a
r
dl
e
ss
.
.
.
commit
|
commitdiff
|
tree
next