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 comment about building names in task arrays
2022-05-10
Piotr Trojanek
[Ada
]
F
ix comm
e
nt about buildin
g
names in task arrays
commit
|
commitdiff
|
tree
2022-05-10
Piotr Troj
a
nek
[Ada
]
S
i
m
pl
i
fy conve
r
s
i
on
f
rom Character to Char
_
C
ode
commit
|
commitdiff
|
tree
2022-05-09
Piotr Tro
j
anek
[Ada] Rais
e
C
o
nstraint_Error w
h
en convertin
g
ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
P
iotr Tr
o
jan
e
k
[A
d
a] Simplify
c
onv
e
rs
i
ons from Uint to Char_
C
ode
commit
|
commitdiff
|
tree
2022-05-09
Piotr Tro
j
anek
[A
d
a] Remove
e
x
t
ra s
p
ace around binar
y
ope
r
ators
commit
|
commitdiff
|
tree
2022-05-09
Piotr Tr
o
j
a
nek
[Ada] Remove Co
d
ePee
r
annotation
s
for pragma Loop_Vari
a
nt
commit
|
commitdiff
|
tree
2022-05-09
Piotr
T
rojanek
[Ada]
P
revent
inl
i
ning-f
o
r-proof f
o
r call
s
i
n
si
d
e ELSIF
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojanek
[Ada
]
Remove redundant guards for empty list
commit
|
commitdiff
|
tree
2022-05-09
P
i
otr T
r
ojanek
[Ada] Fix indentati
o
n of
"
Start of processing for
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr T
r
ojan
e
k
[Ada] Refine desc
r
iption of SPARK with s
t
ati
c
Boolean
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Piotr Trojanek
[Ada] Allow Big_
I
nteger in lo
o
p
a
n
d s
u
bp
r
ogram vari
a
nt
s
commit
|
commitdiff
|
tree
2022-05-09
Piotr Troja
n
ek
[Ada] Add ut
i
l
i
t
y to prea
n
a
ly
z
e asser
t
expression without
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
Pi
o
tr Trojan
e
k
[Ada] Remov
e
repeated analysis o
f
attribut
e
pr
e
fixes
commit
|
commitdiff
|
tree
2022-05-09
P
i
otr Tr
o
j
a
nek
[Ad
a
] Remove redundant call
t
o Set_Etype for att
r
ibute
.
.
.
commit
|
commitdiff
|
tree
2022-05-09
P
i
o
tr Trojanek
[
Ada] Remove
d
oubly-ne
g
ated test
s
f
or empty li
s
t
s
commit
|
commitdiff
|
tree
2022-01-11
Pi
o
t
r
Trojanek
[Ada] R
e
move
unref
e
renced CCG-specific rout
i
ne Inser
t
_Declar
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[
Ada] Avoid redundant
c
h
ecks for emp
t
y lists
commit
|
commitdiff
|
tree
2022-01-11
P
i
o
tr Trojanek
[Ada] Remove
n
ame c
o
nst
a
nt used by GNAT
p
rove but
n
ot
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada] Reduce
s
cope of
declare blo
c
k in an
a
l
y
s
i
s
of
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
P
iotr Troj
a
nek
[
Ada]
Balance parenthe
s
es in comments abo
u
t all
o
cators
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada] Remove u
n
referenced name constants
commit
|
commitdiff
|
tree
2022-01-11
Piotr Troj
a
nek
[Ad
a
]
D
econstruct a VMS util
i
t
y
routine
w
hi
c
h is only
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada
]
Remove unnecessary b
l
ock in
c
ode f
o
r
expansion
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Tro
j
anek
[Ada] Reuse
M
ake_T
e
mporary w
h
e
r
e possible
commit
|
commitdiff
|
tree
2022-01-11
P
iotr Trojane
k
[
Ada]
S
impli
f
y constr
u
ction of message
s
ab
o
ut configurable
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr T
r
ojanek
[Ada] Remove redunda
n
t initialization of Test_A
n
d_Set_F
l
ag
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr
T
r
ojan
e
k
[A
d
a] Tun
e
i
n
c
onsist
e
nt messa
g
e about fixed-lower-
b
ound
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Troj
a
nek
[
A
d
a] Remove extra space in single object declarat
i
on
s
commit
|
commitdiff
|
tree
2022-01-11
P
i
otr Trojan
e
k
[Ada] R
e
move warnings-as-errors ab
o
ut const
r
aints error
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada
]
E
s
calate
p
re-continuat
i
o
n
messages from wa
r
nings
.
.
.
commit
|
commitdiff
|
tree
2022-01-11
Piotr Trojanek
[Ada
]
Use atomic builtin
s
f
o
r a
t
omic counters on
x
86
.
.
.
commit
|
commitdiff
|
tree
2022-01-10
Piotr Troj
a
nek
[Ada]
Switch fro
m
__sync
t
o
__a
t
omic builtins for Lock_F
r
ee_
.
.
.
commit
|
commitdiff
|
tree
2022-01-10
Pi
o
tr
T
rojanek
[Ada]
Re
m
ove Code
P
eer
a
nnotations f
o
r p
r
agma Loop_Vari
a
nt
commit
|
commitdiff
|
tree
2022-01-10
Pi
o
tr T
r
ojane
k
[Ada
]
Dis
a
ble expan
s
ion
o
f
pr
a
g
m
a Loop
_
Variant in CodePeer
.
.
.
commit
|
commitdiff
|
tree
2022-01-10
Pi
o
tr Trojanek
[Ada] Fix typo in commen
t
a
b
o
u
t uni
t
families
commit
|
commitdiff
|
tree
2022-01-10
Piotr
T
rojanek
[Ada] Switch from __sync to __atom
i
c
builtins for a
t
omic
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr Trojanek
[Ada]
F
ix
l
ayout
o
f
pragma Inline in gene
r
a
t
ed
AST
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
P
i
o
t
r Trojanek
[Ad
a
] Fix style in expa
n
s
i
on o
f
multi-dime
n
sional array
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr
T
r
o
ja
n
ek
[
Ada] M
o
re default
initiali
z
ati
o
n
for mu
l
t
i
-dim array
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr Trojanek
[
Ada] Remove
r
epeated routines for p
r
inting AST in
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr Trojanek
[
A
da] S
i
mp
l
ify traversal in hook
i
ng of trans
i
en
t
scopes
commit
|
commitdiff
|
tree
2022-01-07
Piotr Tr
o
jan
e
k
[Ada] Rem
o
ve ex
t
ra space before THEN keywords
commit
|
commitdiff
|
tree
2022-01-07
Piotr Trojanek
[
A
da] Re
m
o
ve explicit expansion of b
l
ock with general
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Pio
t
r Trojanek
[Ada] Fi
x
comme
n
t about subprogram un
n
esting
and u
n
co
n
stra
i
n
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr
T
r
o
janek
[A
d
a]
Fix inc
o
n
sistent quoting in messages about
comp
i
l
e
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr
T
rojanek
[
A
da] Consisten
t
sup
p
ression for warnings inside null
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
P
i
otr Trojanek
[
A
d
a
]
Remove unnecessary guard f
o
r i
n
sert
i
n
g
non-empty
.
.
.
commit
|
commitdiff
|
tree
2022-01-07
Piotr Trojanek
[
Ada] Remove unnece
s
sary
guard
s
for appe
n
din
g
non-e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
P
i
otr
T
rojanek
[
Ada] Remov
e
unnecessary declare blo
c
k
commit
|
commitdiff
|
tree
2022-01-06
Piot
r
Troja
n
e
k
[Ada] Simplify traversal f
o
r removing warn
i
n
gs from
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Piotr Trojanek
[
A
da] Remo
v
e a lo
c
ally handled excepti
o
n
commit
|
commitdiff
|
tree
2022-01-06
P
iotr
T
r
o
j
a
nek
[
Ada]
M
ove messages on division by zer
o
to the r
i
ght
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Piotr
T
r
ojanek
[
Ada] Remove unnece
s
sary guards for non-empty
list
s
commit
|
commitdiff
|
tree
2022-01-06
Piotr
T
rojanek
[Ada] Remo
v
e unre
f
eren
c
ed Warn_On_Instance
commit
|
commitdiff
|
tree
2022-01-06
Piotr Trojanek
[
A
da] Fix sty
l
e
in comments about warning messages
commit
|
commitdiff
|
tree
2022-01-06
Piotr T
r
ojanek
[Ada] Simp
l
ify type
c
onversi
o
ns i
n
source poi
n
t
e
r arithmeti
c
commit
|
commitdiff
|
tree
2022-01-06
Piotr Trojanek
[Ada] Refacto
r
repeated
im
p
lic
i
t conversion
f
rom Cha
r
_Code
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
P
i
ot
r
Tr
o
jane
k
[Ada] Fix style
i
n c
a
lls to
C
om
p
ile_Tim
e
_Constr
a
i
n
t_Error
commit
|
commitdiff
|
tree
2022-01-06
Piotr Troja
n
ek
[A
d
a] Remove du
p
l
i
cates of empty st
r
ings
commit
|
commitdiff
|
tree
2022-01-06
Piotr Trojane
k
[
Ada]
S
uppress spurio
u
s
CodePeer check on
g
eneric
a
ctual
.
.
.
commit
|
commitdiff
|
tree
2022-01-06
Piotr Trojanek
[A
d
a] S
i
mplify repeated calls i
n
printing
o
f
GNAT AST
commit
|
commitdiff
|
tree
2022-01-06
P
i
otr Trojanek
[Ada] Simplify GNAT AST pri
n
ting with
s
imple GNAT hash
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr Troja
n
e
k
[Ada
]
Simpli
f
y detection
o
f a
l
p
h
abe
t
ic chara
c
t
ers wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr
T
roja
n
e
k
[A
d
a] Expand controlling fu
n
c
tion
wrapper
in
t
o expression
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr T
r
ojanek
[Ada] Expan
d
controlling
f
unctions wrappers in
G
NATprov
e
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piot
r
Tro
j
anek
[Ada] Us
e
Add_Cha
r
_To
_
Name_Buffer for 1-character str
i
ng
s
commit
|
commitdiff
|
tree
2022-01-05
P
iotr
T
ro
j
anek
[Ada] Simplify c
a
lls t
o
Name_Find with known
string
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr
T
roja
n
ek
[
Ada] Remove extra w
h
ites
p
a
c
e in declaration
s
and paramete
r
s
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr Trojanek
[Ada] Rem
o
ve explicit
"
in" in
i
nternal parameter a
s
so
c
iation
commit
|
commitdiff
|
tree
2022-01-05
Piotr T
r
ojanek
[Ada] A
l
ig
n
arrows
in parameter
as
s
o
c
iations
commit
|
commitdiff
|
tree
2022-01-05
Pio
t
r
Trojanek
[A
d
a]
R
em
o
ve extra space in parameter associati
o
ns
commit
|
commitdiff
|
tree
2022-01-05
Piotr Trojanek
[A
d
a] Fix layout of
p
arameters in calls to Prede
f
_Spec_Or
_
Body
commit
|
commitdiff
|
tree
2022-01-05
Piotr Tro
j
ane
k
[Ada
]
Simplify h
a
ndlin
g
of user-def
i
ned numeric literals
commit
|
commitdiff
|
tree
2022-01-05
Piotr Trojanek
[
A
da] Remov
e
unnecessary chec
k
for
m
i
s
s
ing p
a
r
a
meter
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr Trojanek
[Ada
]
Simplify making of null proc
e
du
r
e wrappers
commit
|
commitdiff
|
tree
2022-01-05
Pi
o
tr Troj
a
nek
[Ada]
R
emo
v
e re
d
u
n
dant cod
e
rel
a
ted to in
s
ta
n
ces with
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr Trojan
e
k
[Ada] Fi
x
sh
a
r
ing of form
a
l paramete
r
s be
t
ween wra
p
per
.
.
.
commit
|
commitdiff
|
tree
2022-01-05
Piotr Trojan
e
k
[Ada] Deconstruct dead
w
rap
p
ers
added fo
r
e
xternal
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Troj
a
ne
k
[Ada] Cleanup d
e
tect
i
on of suspension obj
e
cts
commit
|
commitdiff
|
tree
2021-12-02
Piotr T
r
oj
a
nek
[Ada] C
l
e
a
nup
inse
r
t
i
on
o
f
s
i
ngl
e
freezing acti
o
ns
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[Ad
a
] Cleanups relate
d
to expan
s
ion of dispat
c
hin
g
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Troj
a
n
ek
[
A
da] Inline all calls i
n
A
d
a
.
Task_Identifica
t
ion
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[Ada] Enabl
e
expansion of dispatching
eq
u
ality
for
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[Ada] Separ
a
t
e building of eq
u
ality f
r
om othe
r
d
i
spatching
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
P
iotr Trojanek
[Ada] Spl
i
t
s
pec
an
d
body
o
f expression function with
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Tr
o
janek
[Ada] Re
m
o
v
e
e
xtra
sp
a
c
e
a
fter
a
ssign
m
ent sym
b
o
l
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[A
d
a] S
i
m
p
lify iteration over record compone
n
ts
commit
|
commitdiff
|
tree
2021-12-02
Piot
r
Trojanek
[Ada] R
e
factor nested loops in
w
a
rning o
n
unass
i
g
n
ed
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojan
e
k
[Ada]
R
em
o
ve duplicated conditi
o
n in warnings about
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[Ada] Add con
t
rac
t
to Ada
.
T
ask_Identification
.
Act
i
vation_
I
s_
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[A
d
a] More i
n
tuitive
n
ames in sanity-ch
e
cking of derived
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr T
r
o
j
anek
[Ada] Tune wh
i
t
e
sp
a
ce of the
boun
d
ed li
s
ts Aggregate
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Troj
a
nek
[Ada]
R
e
place
low-level
d
e
t
ect
i
o
n of subprograms
with
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Pi
o
tr Troja
n
ek
[Ada] Sync whitespace between
v
ariants of Indefinite_H
o
lders
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Troj
a
ne
k
[Ada] Sort lis
t
of Ada runtim
e
units
in Makefile
.
rtl
commit
|
commitdiff
|
tree
2021-12-01
Piotr Trojane
k
[Ad
a
] Whitespa
c
e
c
leanup in Ma
k
efile
.
rtl dependency
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Tro
j
a
n
e
k
[Ada
]
Document Syst
e
m
.
Atomic_Coun
t
ers as supported
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Tro
j
an
e
k
[Ada] Simpl
i
fy
b
uilding of inequali
t
y functi
o
n bo
d
y
commit
|
commitdiff
|
tree
2021-12-01
P
i
otr Tro
j
anek
[Ada] Clean
u
p listing of representation
i
nfo
commit
|
commitdiff
|
tree
2021-11-10
Piotr Troj
a
n
e
k
[Ada] F
i
x
c
o
m
m
ents abou
t
expansion of arra
y
e
quality
commit
|
commitdiff
|
tree
next