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: Fix inserting of validity checks in lock-free protected subprograms
2022-10-06
Piotr Tr
o
jan
e
k
ad
a
:
Fix inserting of v
a
lidity ch
e
cks
in
l
ock-free
.
.
.
commit
|
commitdiff
|
tree
2022-10-06
Piotr T
r
ojanek
a
da: Fix spurious warning
o
n unrefe
r
e
nced refineme
n
t
.
.
.
commit
|
commitdiff
|
tree
2022-09-29
Pio
t
r Troj
a
nek
ad
a
: Fix checking of Refined_St
a
t
e with
n
ested packag
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojan
e
k
ada: Fix
l
ocation of pr
a
g
m
as coming
f
rom aspects in
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
P
i
otr T
r
ojanek
ada:
R
emove unref
e
renced Rtsfind en
t
rie
s
commit
|
commitdiff
|
tree
2022-09-26
Piotr Tro
j
anek
ad
a
: R
e
m
o
ve unreferenced
C m
a
cro
f
rom
OS
constants
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Trojanek
ada: Delay expansion
of iterator sp
e
cification in
pre
a
nalysis
commit
|
commitdiff
|
tree
2022-09-26
Piotr
Tro
j
anek
ada
:
Delay ex
p
an
s
ion of
iterate
d
c
omponent associ
a
tion
commit
|
commitdiff
|
tree
2022-09-26
Piotr T
r
o
j
anek
ada: Only reje
c
t volatile ghost objects when
SP
A
RK_Mo
d
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-26
Piotr Troja
n
ek
a
d
a: Rem
o
ve sock
e
t
definiti
o
ns for anc
i
ent MinGW
commit
|
commitdiff
|
tree
2022-09-26
P
iotr Trojanek
ada:
Remove
d
e
f
i
nition of M
A
XPATHLEN for ancient MinGW
commit
|
commitdiff
|
tree
2022-09-26
Pio
t
r Trojanek
ad
a
:
D
e
construc
t
b
u
il
d
suppo
r
t f
o
r
a
ncie
n
t MinGW
commit
|
commitdiff
|
tree
2022-09-26
P
i
otr T
r
o
j
a
nek
ada: Tune com
m
ent of routine
f
or detecting junk names
commit
|
commitdiff
|
tree
2022-09-12
Piotr
T
roj
a
nek
[Ada] Sync docum
e
ntation
of junk names with code
commit
|
commitdiff
|
tree
2022-09-12
Piot
r
Trojanek
[Ada
]
Reject 'Valid_Scal
a
rs on Unchecked_Union regardless
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
P
i
o
t
r Trojanek
[
Ada]
S
p
e
cial-
c
ase pr
i
nt
i
ng of SPARK_Mode
in error
.
.
.
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[
A
da
]
Clean
u
p
ro
u
tin
e
for h
a
nd
l
i
n
g SP
A
RK_Mode kinds
commit
|
commitdiff
|
tree
2022-09-12
Piotr Trojanek
[Ada] Fix validity checking
o
n renamed Old attribu
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Pio
t
r Tro
j
anek
[Ada] Re
t
ain Ha
s
_Private_View flag
for actuals of inli
n
e
d
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Piotr Trojanek
[Ada] Fix comment a
b
out mapp
i
ng of
p
arameters and inlin
i
ng
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Pi
o
tr Trojane
k
[Ada]
Cleanup unne
c
essary shadowing in e
x
pan
s
ion of
.
.
.
commit
|
commitdiff
|
tree
2022-09-06
Pi
o
tr Trojanek
[Ada] Tune messa
g
e for illeg
a
l aspect Relaxe
d
_In
i
t
i
a
li
z
ation
commit
|
commitdiff
|
tree
2022-09-06
P
i
o
tr T
r
ojanek
[A
d
a]
A
d
d
f
ormal verificat
i
on dependencie
s
to libgna
t
commit
|
commitdiff
|
tree
2022-09-06
Piot
r
T
rojanek
[Ada] Impro
v
e
d
etectio
n
of
i
l
l
e
g
al
I
ter
a
ble aspects
commit
|
commitdiff
|
tree
2022-09-05
Piotr
T
rojanek
[
Ada
]
Move check for null
a
rray aggregates to expansion
commit
|
commitdiff
|
tree
2022-09-05
Pio
t
r Tr
o
jan
e
k
[
A
d
a] Fix inconsistent building of itypes for null
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Pi
o
tr Troja
n
ek
[Ada] Fix insertio
n
of a run
t
ime check fo
r
null array
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piot
r
Troj
a
nek
[
A
da] Cleanup iter
a
t
i
o
n
over a
g
g
re
g
ate compone
n
t
a
ssoc
i
ations
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[A
d
a] Re
m
o
v
e VMS specific
routine that is no lo
n
ger
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] Create internal typ
e
for null array agg
r
egate
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] Remove no lo
n
ger refe
r
enc
e
d GN
A
Tprov
e
utility
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada]
F
ix det
e
ctio
n
of unused wa
r
ning suppres
s
io
n
commit
|
commitdiff
|
tree
2022-09-05
Piotr Troj
a
n
ek
[
A
da] Detect expans
i
on of iterated component associ
a
tions
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
P
iotr Trojanek
[Ada] Fix
d
o
uble identifiers in iterat
e
d component
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
P
i
otr
T
rojanek
[Ada] Fi
x
resolut
i
on of iterated compone
n
t as
s
oc
i
at
i
o
n
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojan
e
k
[A
d
a]
C
l
e
anup
analysis of
i
terator specifications
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[Ada] Cleanup
r
esolution of aggregates with mixe
d
component
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[
Ada] Cl
e
anup resolution of ite
r
ated
c
om
p
onent asso
c
iation
commit
|
commitdiff
|
tree
2022-09-05
Piotr Tr
o
j
a
n
ek
[Ada] Cl
e
anup analysis of quantifi
e
d expr
e
ssions with
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
Piot
r
T
r
oja
n
e
k
[
Ad
a
] Cl
e
anup expansion
of attribute Priority
commit
|
commitdiff
|
tree
2022-09-05
Piotr Trojanek
[
A
da
]
Fix exp
a
n
s
ion of attribute Priority
commit
|
commitdiff
|
tree
2022-09-05
Piotr T
r
oja
n
ek
[Ada]
Remove excessive
g
uar
d
s again
s
t ins
e
rtin
g
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2022-09-05
P
iotr Troja
n
ek
[Ada] Improve pretty-printing o
f
iter
a
t
e
d compo
n
ent
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Piotr Troja
n
ek
[Ada]
F
i
x
f
or visibility of a
s
pect exp
r
ess
i
ons inside
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
P
i
otr Trojan
e
k
[A
d
a]
H
and
l
e bodies-
t
o-i
n
line just like generic templates
commit
|
commitdiff
|
tree
2022-07-13
Piotr Trojanek
[Ad
a
]
Fix crash on fronten
d
i
n
l
ining of functions wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2022-07-13
Piotr T
r
ojan
e
k
[Ada] Refine type f
o
r
c
hecking number of pragma
a
rguments
commit
|
commitdiff
|
tree
2022-07-12
Piotr Trojane
k
[
A
d
a
] Fix inconsisten
t
comment ab
o
ut exp
a
nsion of except
i
on
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Pio
t
r
T
rojanek
[Ada
]
Don't check for misspel
l
ing of
Not_A
_
Restriction_Id
commit
|
commitdiff
|
tree
2022-07-12
Piotr
Trojanek
[Ad
a
] Fix confusing error expressio
n
o
n
an unknown
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piotr
Troja
n
ek
[A
d
a]
Sim
p
l
i
fy
r
ewr
i
ti
n
g
o
f attributes into Bool
e
an
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piot
r
Trojanek
[
Ada] Fix spu
r
io
u
s warning
o
n unreferenced internal
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piotr T
r
o
janek
[Ad
a
] Warn on unset ob
j
ects in packages w
i
th
n
o b
o
dies
commit
|
commitdiff
|
tree
2022-07-12
Piotr Trojanek
[Ada] Accept
aspect Yiel
d
on subprogram bodies
a
c
t
ing
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piot
r
Trojanek
[Ada] W
a
rn
a
bou
t
u
nreacha
b
le code after c
a
lls
w
ith
.
.
.
commit
|
commitdiff
|
tree
2022-07-12
Piotr
Trojanek
[Ada] Remov
e
exces
s
ive guard in detection of access
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
Piotr
Trojan
e
k
[
Ada]
S
impl
i
fy regular
e
xpr
e
ssion that matches 8
c
o
n
secutive
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
P
iotr
Trojanek
[
A
da] Cleanup use
o
f local scala
r
s in GN
A
T
.
So
c
ket
.
Ge
t
_A
d
dres
.
.
.
commit
|
commitdiff
|
tree
2022-07-06
Piotr
T
rojanek
[
A
d
a
]
Remove explic
i
t call to Make_Unchecked_Type_Conversion
commit
|
commitdiff
|
tree
2022-07-06
Piotr Trojanek
[Ada
]
Re
s
tore accide
n
tally rem
o
ve
d
p
a
rt of a
c
omment
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[Ada
]
W
arn about obsolete
u
ses o
f
renam
e
d Ada 83 package
s
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr Tro
j
anek
[A
d
a
] Remove kludge for
v
alid
i
ty checks on Lon
g
_Float
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piot
r
Trojanek
[Ad
a
] Remove
r
epeated setting of Never_Set_In
_
Sourc
e
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[Ada] Reorder proces
s
ing of def
a
ult expressions to
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
iotr Troja
n
ek
[
A
da
]
Re
m
ove re
d
undant protection aga
i
nst e
m
p
ty li
s
t
s
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[Ada] Remove
u
s
e o
f
a
g
l
ob
a
l name b
u
f
fer when locating
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
o
tr Trojanek
[Ada] Re
u
se Get_Pragma_Arg to handle p
r
agma a
r
g
u
ment
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[Ada] Remove repeated
a
n
alysi
s
f
or prag
m
a Thread
_
L
ocal_Storage
commit
|
commitdiff
|
tree
2022-07-05
Piotr Tro
j
anek
[Ada
]
Ann
o
t
a
te
GNAT
.
Sockets
with No_Retu
r
n aspects
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojanek
[A
d
a] Cleanup repeated cod
e
for
ag
g
re
g
ate
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojane
k
[
A
d
a
]
Fix comments
m
entioning anc
i
ent fl
a
gs r
e
lated
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr
Troja
n
ek
[Ada] Rem
o
ve
unnece
s
s
ary dea
d
c
ode afte
r
calls
to nonretur
n
i
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piot
r
Trojanek
[Ada] Remove r
e
turn state
m
en
t
s after procedure ca
l
ls
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojan
e
k
[Ada] Fix
clearl
y
unintentional dead
analysis of at
t
ribute
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr Trojanek
[Ada] Cle
a
nup in error
about
unreachable
code
commit
|
commitdiff
|
tree
2022-07-05
Pio
t
r
Trojanek
[Ada
]
Re
m
ove re
d
undant guards
in d
e
tec
t
ion of unreacha
b
le
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr Trojan
e
k
[Ada] Re
m
ove redundant
guard fo
r
call to List_Length
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
Piotr
Trojanek
[Ada] Add
RM reference t
o
check for funct
i
ons wi
t
hout
.
.
.
commit
|
commitdiff
|
tree
2022-07-05
P
i
otr
T
r
oj
a
n
e
k
[Ada]
R
emov
e
comment about a l
o
n
g gone
f
orma
l
verif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
Pi
o
t
r
Trojanek
[
A
da] Refact
o
r du
p
licated resolut
i
on of Count and Index
.
.
.
commit
|
commitdiff
|
tree
2022-07-04
P
i
otr Trojanek
[
A
da] Fix
fo
r
resolution
o
f
overloaded su
b
pro
g
ra
m
for
.
.
.
commit
|
commitdiff
|
tree
2022-06-02
Piot
r
Trojanek
[Ada] Remove redund
a
nt ch
e
ck
s
for missing
l
ists
commit
|
commitdiff
|
tree
2022-06-01
Piot
r
Trojanek
[Ada]
Fix missing spac
e
in error me
s
sage
commit
|
commitdiff
|
tree
2022-06-01
Piotr Trojan
e
k
[Ada] Propa
g
ate
null-exclusion to
a
non
y
m
o
us access
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
Piotr Tr
o
ja
n
ek
[Ada] Fix expansion
o
f structural s
u
b
program
variants
commit
|
commitdiff
|
tree
2022-05-30
Piotr Trojanek
[Ada] Simplify
constru
c
tio
n
of a path to f
i
le
commit
|
commitdiff
|
tree
2022-05-30
Piotr T
r
ojanek
[Ada] Remove
repe
a
t
e
d descr
i
ption of support for A
d
dress
.
.
.
commit
|
commitdiff
|
tree
2022-05-30
P
i
otr Trojanek
[Ada] Deconstruct deferred
refe
r
enc
e
s
commit
|
commitdiff
|
tree
2022-05-30
Pi
o
tr Troja
n
ek
[
A
da] Fix typo in comm
e
nt for f
u
nct
i
o
n
al
s
ets
commit
|
commitdiff
|
tree
2022-05-19
Piotr Troja
n
ek
[Ada]
R
emove redund
a
nt
m
arking
o
f illegal p
r
a
g
ma with
.
.
.
commit
|
commitdiff
|
tree
2022-05-19
Piot
r
Trojanek
[Ada]
F
ix contin
u
a
tion message without a p
r
ior
error
commit
|
commitdiff
|
tree
2022-05-19
Piotr T
r
o
ja
n
ek
[Ada] Ignore Pre
d
i
cate_Failure
i
n GNATp
r
o
v
e mode
commit
|
commitdiff
|
tree
2022-05-19
Piotr Trojan
e
k
[
Ada]
F
ix i
n
val
i
d expanded code fo
r
entry fa
m
i
l
ies
commit
|
commitdiff
|
tree
2022-05-19
P
iotr Trojanek
[Ada]
C
l
e
a
n
up expansion of protected entry f
a
milies
commit
|
commitdiff
|
tree
2022-05-19
P
i
otr Trojane
k
[Ad
a
] Remo
v
e dead c
o
d
e for
s
cope
e
n
tity
having
E_Subprogram_
.
.
.
commit
|
commitdiff
|
tree
2022-05-18
Piotr Trojanek
[Ada] Preve
n
t
overflow in
c
om
p
u
tation of aggre
g
a
t
e
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
Piotr Trojane
k
[Ada
]
Restore
defe
n
s
ive
g
u
ar
d
in checks
for volatile
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
P
iotr
Troj
a
n
ek
[Ada] Fix documen
t
ation of using attribu
t
e Loop
_
Entry
.
.
.
commit
|
commitdiff
|
tree
2022-05-17
P
i
otr Trojanek
[Ad
a
] E
n
ab
l
e cu
r
rent val
u
e pr
o
p
a
g
a
t
ion within p
r
agma
.
.
.
commit
|
commitdiff
|
tree
2022-05-16
Piotr T
r
ojanek
[
A
d
a
] Fix
e
x
pansion of
a
ttribute Loop_Entry wrt value
.
.
.
commit
|
commitdiff
|
tree
next