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-07-12
Piotr
Trojanek
[Ada] Re
m
ove excessive guar
d
i
n
det
e
ction of acces
s
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
Pi
o
tr
T
rojanek
[Ada] Simplify regu
l
ar e
x
pression that
m
atc
h
es
8
consecutive
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
Piotr Trojanek
[Ada] Clea
n
up use
of local sca
l
a
r
s
in GNAT
.
Socket
.
Get_Ad
d
r
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
Pio
t
r Trojane
k
[Ada]
R
emove e
x
plic
i
t call to Make_Unchecked
_
Type_Conve
r
sion
commit
|
commitdiff
|
tree
2022-07-06
Piot
r
Tro
j
anek
[Ada] Resto
r
e
a
ccidentally remo
v
ed
p
art of a comment
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr T
r
ojan
e
k
[
Ada] Warn a
b
o
ut obsol
e
te uses
of r
e
named Ada 83
packages
commit
|
commitdiff
|
tree
2022-07-05
Pi
o
tr Tro
j
a
nek
[Ada] Re
m
ove
kludge for va
l
i
dity checks on
L
ong_Float
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr Trojanek
[Ada] Remove re
p
eat
e
d settin
g
of Never_Set_In
_
Source
commit
|
commitdiff
|
tree
2022-07-05
Piotr Troja
n
ek
[Ada] Reorder processing of defau
l
t express
i
ons to
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr
T
r
o
janek
[Ada]
Remove redu
n
dant pr
o
tec
t
i
on against empty lists
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[Ada]
R
e
m
ove
u
se
of
a g
l
obal nam
e
buffe
r
when locating
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr T
r
ojanek
[Ada] Reus
e
Get_Pra
g
ma_
A
rg to handle pra
g
ma
ar
g
ument
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[Ada] Remove repea
t
ed
a
n
aly
s
i
s
for pragma
T
hr
e
a
d
_Local_Storage
commit
|
commitdiff
|
tree
2022-07-05
Piotr T
r
ojanek
[Ada] Annotate GNAT
.
Sockets with No_Return
aspects
commit
|
commitdiff
|
tree
2022-07-05
Piotr Tr
o
jan
e
k
[Ada]
C
leanup re
p
eated co
d
e for aggregate const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Troja
n
ek
[Ada] Fix
c
ommen
t
s mentio
n
ing an
c
ien
t
flags rela
t
ed
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Troja
n
e
k
[Ada] Remove unnecessary
d
e
ad
c
o
d
e
af
t
er ca
l
ls to nonreturni
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr Trojanek
[Ada] Remove re
t
urn statem
e
nts after p
r
ocedur
e
ca
l
ls
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Troja
n
ek
[Ada] F
i
x
c
lear
l
y
u
nintention
a
l
dead analysis of
a
t
tribute
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
iotr Tr
o
janek
[Ad
a
]
Cleanu
p
in erro
r
abou
t
unrea
c
hable c
o
de
commit
|
commitdiff
|
tree
2022-07-05
Piotr T
r
o
janek
[Ada]
Remove redundant g
u
ard
s
in d
e
tection of un
r
eachable
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr Trojanek
[Ada] Remove r
e
dundant guard for call to Lis
t
_Le
n
gth
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Pi
o
t
r
Trojanek
[Ada]
A
dd
RM refere
n
ce
to check for functions without
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
iotr Tro
j
anek
[Ada] Rem
o
ve co
m
men
t
about
a
long
gone formal verificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Piotr Tr
o
janek
[
A
da]
R
efactor duplicated resolution of Count and Index
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Piotr Trojan
e
k
[Ad
a
] Fix for resolution o
f
o
verloaded sub
p
rogram for
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Pi
o
t
r
Trojanek
[Ad
a
] Remove redundant checks
for
m
issing lists
commit
|
commitdiff
|
tree
2022-06-01
Piotr
Tro
j
anek
[A
d
a] Fix missin
g
sp
a
ce in erro
r
m
e
ssa
g
e
commit
|
commitdiff
|
tree
2022-06-01
Piotr Trojanek
[Ada] Pr
o
pagate null-exclusion to anonymous acc
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada] Fix expansion of
s
tructura
l
s
u
bprogram va
r
iants
commit
|
commitdiff
|
tree
2022-05-30
Pi
o
tr Tr
o
janek
[Ada
]
Simplify
c
onstruction of a
path to fi
l
e
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada] Remove repea
t
ed des
c
ript
i
on o
f
support for Address
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Pi
o
tr
T
rojanek
[Ada] Decon
s
tr
u
ct d
e
f
e
rred referenc
e
s
commit
|
commitdiff
|
tree
2022-05-30
P
i
o
tr Trojane
k
[A
d
a] Fix
typo
i
n com
m
ent
fo
r
f
unctional sets
commit
|
commitdiff
|
tree
2022-05-19
Piotr
Trojanek
[Ada
]
Remove r
e
d
undant marking of i
l
l
e
gal pra
g
ma with
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piotr T
r
ojanek
[Ada] Fix
c
ontinuation message w
i
tho
u
t a prior error
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojanek
[Ada] I
g
nore Predicate_Fai
l
u
re in GNATprove mode
commit
|
commitdiff
|
tree
2022-05-19
Pi
o
tr Trojanek
[Ada] Fix invali
d
exp
a
nded code for entry f
a
m
i
l
i
es
commit
|
commitdiff
|
tree
2022-05-19
Piotr
T
roja
n
ek
[Ada] Clea
n
u
p expansio
n
o
f prote
c
te
d
en
t
ry families
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojanek
[
A
da] Re
m
o
v
e dead code
f
o
r
scope enti
t
y having E
_
Sub
p
rogram_
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Piotr T
r
ojanek
[Ada] Prevent overflow in
computa
t
ion of
aggregat
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
P
i
otr Trojane
k
[Ada] Restore defens
i
ve gua
r
d in che
c
ks for vo
l
atile
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Pi
o
t
r Trojanek
[Ada] Fix
d
ocumentation of usin
g
attribute Loop_Entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Piotr Trojanek
[Ada] Enable current value propagation wit
h
in p
r
a
g
m
a
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
P
i
otr Trojanek
[Ada] Fix expansi
o
n of attr
i
bute Loo
p
_Entry wr
t
value
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr
T
rojanek
[Ada] Remove useless code rel
a
ted to cur
r
ent
value
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr
T
rojanek
[
A
da] Remove dup
l
ic
a
ted detecti
o
n of u
s
er-defined equality
commit
|
commitdiff
|
tree
2022-05-16
Piotr
T
rojanek
[
A
da] Impr
o
ve building o
f
untagged equ
a
lity
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[
Ada] Pick volati
l
e
r
efinement pr
o
perty of a subtyp
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr Trojanek
[Ada] Clarify code fo
r
detecting vola
t
ile refine
m
ent
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Pio
t
r
Tr
o
janek
[
A
d
a] Remove duplicate
d
code fo
r
detecting
e
nabled
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Piotr Trojanek
[Ada] Remove obsol
e
te
uses o
f
U
n
checked
_
Conversion
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
P
i
otr Trojanek
[Ada]
R
emove o
b
so
l
e
te uses of
U
nchecke
d
_Deall
o
cat
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-05-13
Pio
t
r Troj
a
n
e
k
[A
d
a] Accep
t
effectively volatile componen
t
s in actual
s
commit
|
commitdiff
|
tree
2022-05-13
P
i
o
tr T
r
ojanek
[Ada] Remove re
d
u
ndant guard
i
n c
h
ecks for volatile
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojan
e
k
[Ada]
S
kip post
p
oned vali
d
a
t
ion c
h
ec
k
s
with
com
p
ilation
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr
T
rojanek
[Ada] Reuse coll
e
cti
v
e sub
t
ype for
compa
r
iso
n
oper
a
t
o
rs
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
P
i
otr
T
rojanek
[Ada] Remove un
r
eferenced Is_Selec
t
or_Name r
o
utine
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada
]
Fix wa
r
ning about generic subprogra
m
s wit
h
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Pi
o
t
r
T
r
oja
n
e
k
[A
d
a] Fix warning a
b
o
u
t generic subprogram
s
wit
h
ed
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
P
i
otr Troja
n
e
k
[Ada] Remove redunda
n
t guard
a
gainst Any_Str
i
ng
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada] Accept rai
s
e expressions
a
s operand
s
of bo
o
l
e
an
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[A
d
a] Fix scop
e
of
block in expanded
p
rotected entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr Tro
j
anek
[Ada
]
Fix
t
ypos in sy
n
tax for implementation-defined
.
.
.
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojanek
[Ada] Reuse ge
n
eric
s
t
r
ing ha
s
h
for invocat
i
on signa
t
ures
commit
|
commitdiff
|
tree
2022-05-12
Piotr Trojane
k
[
A
d
a
]
D
o
cument Aggregate_Indiv
i
dually_
A
ss
i
g
n
a
s a con
f
igurat
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
P
iotr T
r
oja
n
ek
[Ada] Sort Detect_Blocking al
p
habetically among
nam
e
s
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr
Tr
o
janek
[Ada] Fi
x
Compile_Time_(
E
rr
o
r|W
a
r
n
ing) as non-config
u
ration
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Troja
n
ek
[Ada] F
i
x unbalance
d
paren in documentat
i
o
n
ma
r
k
er
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr T
r
ojanek
[Ada] Fi
x
sty
l
e of body header bo
x
es
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada]
Detect infinite loops with operators in exit
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[A
d
a] Update cat
e
gori
z
ation of imp
l
ementation restrictions
commit
|
commitdiff
|
tree
2022-05-11
Piot
r
Troja
n
ek
[Ada]
F
ix "S p e c
"
and "B o d y
"
file
head
e
rs
commit
|
commitdiff
|
tree
2022-05-11
P
i
o
tr Trojanek
[Ada] Fix
f
orm
a
tting
g
litches in GNA
T
U
s
er's Guide
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr Trojanek
[
A
da] Use pygments for Ada code examp
l
es
o
f elaboration
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada] Rese
t
Reachable field
w
hen mu
t
a
t
ing label
i
nto
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Tro
j
anek
[Ad
a
] Fix layout
o
f
tables in
PDF versi
o
n of GNAT
R
M
commit
|
commitdiff
|
tree
2022-05-11
P
i
otr Trojanek
[Ada] F
i
x layout
i
n description of aspects and p
r
agmas
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada]
Fix markup in descript
i
on o
f
implementation
-
def
i
n
ed
.
.
.
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojane
k
[Ada] Fix
m
arkup in description of p
r
agma Elimi
n
ate
commit
|
commitdiff
|
tree
2022-05-11
Piotr Trojanek
[Ada] Add
g
uar
d
for
making only legal labels u
n
reacha
b
le
commit
|
commitdiff
|
tree
2022-05-11
Piotr Troj
a
nek
[Ada]
D
o
cument pragma Ada_2022
commit
|
commitdiff
|
tree
2022-05-11
Piotr Troj
a
n
ek
[Ada] Move Reachab
l
e flag to
E
_Label e
n
titi
e
s
commit
|
commitdiff
|
tree
2022-05-10
Pi
o
t
r Trojanek
[A
d
a] Simplify cal
l
to overloaded Earlie
r
_
In_E
x
tend
e
d_
U
nit
commit
|
commitdiff
|
tree
2022-05-10
P
i
otr Trojanek
[Ada] Remove
r
e
p
eated
convers
i
ons be
t
we
e
n Source_
P
tr
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Piotr Troj
a
nek
[Ad
a
] Fix style in resolution of expression with ac
t
ions
commit
|
commitdiff
|
tree
2022-05-10
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Subs
t
i
tut
i
on
where poss
i
ble
commit
|
commitdiff
|
tree
2022-05-10
Piotr Trojane
k
[Ada
]
Cleanup detection
of No_Elist wi
t
h No and P
r
e
sent
commit
|
commitdiff
|
tree
2022-05-10
Piotr
T
r
o
j
a
nek
[Ada] Preven
t
search for r
e
fe
r
e
nce
s
in p
o
s
t
con
d
itions
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Pio
t
r Troja
n
ek
[Ada] Remove tiny
a
nd
i
ncompl
e
te optimi
z
ation for uns
e
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Piotr
Troja
n
e
k
[Ada] Cleanup unneces
s
ary d
e
cla
r
e blo
c
k in Chec
k
_Un
r
eachable
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Piotr Tr
o
j
a
n
ek
[Ada] Refine iteration fr
o
m entities to formals
commit
|
commitdiff
|
tree
2022-05-10
Piot
r
Troja
n
e
k
[Ada] Check de
c
lar
e
and q
u
alified express
i
ons
f
or unse
t
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
P
i
otr Trojanek
[A
d
a] Che
c
k if- and case-expressions for u
n
s
et references
commit
|
commitdiff
|
tree
2022-05-10
Piotr Troja
n
ek
[
Ada]
Avoid repe
a
te
d
conversions from Int to
C
har
_
Code
commit
|
commitdiff
|
tree
2022-05-10
Pio
t
r T
r
ojanek
[
Ada] Re
p
lace var
i
ables
w
ith
constants
i
n e
x
panded
.
.
.
commit
|
commitdiff
|
tree
2022-05-10
Piotr
Trojanek
[Ada] Fix commen
t
about building
names in task arrays
commit
|
commitdiff
|
tree
2022-05-10
Piotr Trojanek
[A
d
a] Sim
p
lify conve
r
sion from
Character to
C
har_Co
d
e
commit
|
commitdiff
|
tree
2022-05-09
Pi
o
tr Trojanek
[Ada] Raise Con
s
tra
i
nt_
E
rr
o
r when con
v
er
t
i
n
g negative
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojanek
[
Ada] Simplify con
v
ersions from U
i
n
t to C
h
ar
_
Code
commit
|
commitdiff
|
tree
next