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] Add pragma Annotate for CodePeer analysis
2021-12-02
Yannick Mo
y
[Ad
a
] Add
p
ra
g
ma Annotate
f
or Code
P
eer analysis
commit
|
commitdiff
|
tree
2021-12-02
Yannick Moy
[
Ada] Proo
f
o
f
support unit
s
for
'Width on si
g
n
e
d integers
commit
|
commitdiff
|
tree
2021-12-02
Pi
o
t
r
Trojanek
[Ada]
Cle
a
nup
d
et
e
ction of su
s
pension objects
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[Ada] Cleanup insertion
o
f
single f
r
e
e
z
i
n
g act
i
ons
commit
|
commitdiff
|
tree
2021-12-02
P
i
ot
r
Trojanek
[Ada] Cl
e
anups related to ex
p
ansion of d
i
spa
t
c
h
ing
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Marc Pou
l
hiès
[
Ada] Use bracket aggregates
i
n
Ada2022
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[
Ada] I
n
l
i
ne all calls in Ada
.
T
ask_Identif
i
cation
commit
|
commitdiff
|
tree
2021-12-02
Eric Bo
t
cazou
[
Ada] Enhance
f
reezing cod
e
f
o
r instantiations
commit
|
commitdiff
|
tree
2021-12-02
Piotr T
r
ojanek
[Ada
]
Ena
b
le
expansi
o
n of dispatc
h
ing
equality for
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr Tr
o
janek
[
Ada]
S
epa
r
a
te building of equality from othe
r
di
s
patching
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Pi
o
tr Trojanek
[Ada] Split spec and body
o
f expr
e
ssion
function wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piot
r
T
r
ojanek
[Ad
a
]
Rem
o
ve ext
r
a
s
pace a
f
ter assig
n
ment symbol
commit
|
commitdiff
|
tree
2021-12-02
Richard Kenner
[Ada] Don't
allow
ent
r
y
in implicit with chain t
o
be
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Piotr
T
rojanek
[Ada] Simplify
iteration
o
ver rec
o
rd component
s
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[A
d
a] Refa
c
t
or nested
lo
o
p
s
i
n
warnin
g
on un
a
ssi
g
ned
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
P
i
otr Trojanek
[Ad
a
] Remove duplicated
c
on
d
ition i
n
w
arnings about
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Dou
g
Rupp
[Ada] vx7r2cert/light-tas
k
ing-rtp: undefined ref
s
on
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Y
a
n
n
ick
M
o
y
[Ada
]
Proof of
Inte
r
faces
.
C w
i
t
h SPARK
commit
|
commitdiff
|
tree
2021-12-02
Piotr Trojanek
[Ada] Add con
t
ract to Ada
.
Task_Identificat
i
on
.
Activation_Is_
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
P
io
t
r Troj
a
ne
k
[Ada] M
o
re intui
t
ive
n
ames in sani
t
y-checking of
deriv
e
d
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Yannick Moy
[Ada]
Pr
o
o
f
of System
.
Val_Util utilities for 'Value
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Yan
n
ick Moy
[Ada] Proo
f
of Boolean'Image and Boolean'Value
commit
|
commitdiff
|
tree
2021-12-02
Pasc
a
l O
b
ry
[Ada] Fix pos
s
ible
memory corruption
for
hos
t
names
.
.
.
commit
|
commitdiff
|
tree
2021-12-02
Pascal Obry
[Ada] Minor style fix (no dot o
n
single
line comment)
commit
|
commitdiff
|
tree
2021-12-01
Eric Botcazou
[A
d
a]
Fix incorre
c
t fixed-point computa
t
ion in expr
e
ssio
n
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr T
r
oj
a
n
e
k
[Ad
a
]
Tune whi
t
espace
o
f
the bounded lists Aggregate
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Ga
r
y Dismukes
[Ada] Al
l
ow
f
orm
a
l functions
to
h
a
ve a default
i
n the
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Eric Botcazou
[Ada] Do not return freeze n
o
des for sta
r
t of e
a
rly
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Bob
D
uf
f
[A
d
a]
F
ix
c
rash
on pragma Compile_
T
i
m
e_War
n
ing
/
Er
r
or
commit
|
commitdiff
|
tree
2021-12-01
Bob Duff
[Ada]
S
ynta
x
err
o
r o
n
"not
n
u
ll procedur
e
"
commit
|
commitdiff
|
tree
2021-12-01
Eri
c
Bo
t
cazou
[
Ada] Tidy up
freezing cod
e
for in
s
tantiati
o
ns (continued)
commit
|
commitdiff
|
tree
2021-12-01
Eric Botc
a
zou
[
A
d
a]
T
idy up
f
reezing code
f
or i
n
stantiations
commit
|
commitdiff
|
tree
2021-12-01
Etie
n
ne Servais
[Ada] Fix typ
o
in
comment
commit
|
commitdiff
|
tree
2021-12-01
Ste
v
e Baird
[A
d
a] Improve support for casing o
n
t
y
pes with
c
ontrolle
d
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Richard Kenner
[Ada] Fix issues with ignored ghost code and un
n
esting
commit
|
commitdiff
|
tree
2021-12-01
Ghjuvan Lacambre
[Ada] Mak
e
Time
d
_Task_Entry_Cal
l
's
defe
r
_abort nestab
l
e
commit
|
commitdiff
|
tree
2021-12-01
Ghjuvan Lacambre
[Ada] Do no
t
free task for
_
parent
commit
|
commitdiff
|
tree
2021-12-01
Justin Squirek
[Ada] Spurious warn
i
ng
w
hen using 'Type_Key on
gen
e
ric
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Richard
K
enner
[Ada]
C
reat
e
obj
e
c
t
file f
o
r ignored ghost compil
a
tion
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Patrick Bernardi
[Ad
a
] RTEM
S
: add
tracebac
k
s
upport
f
or AArch6
4
commit
|
commitdiff
|
tree
2021-12-01
Patri
c
k
B
ernar
d
i
[Ada] A
d
d signal to excepti
o
n
m
apping fo
r
RTEMS
commit
|
commitdiff
|
tree
2021-12-01
E
ric Botcazou
[A
d
a] Fi
x
s
m
a
ll di
s
crepancy between -gnatG and -
g
na
t
D
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Ya
n
nick Moy
[Ada] Imp
r
ove er
r
or messages for d
o
t notation
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Y
a
n
nick Moy
[
A
da] A
d
d query fo
r
extended precision floating-po
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr T
r
ojanek
[
Ada]
R
eplace
low-
l
evel detection
of subprogr
a
m
s
with
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Tro
j
a
nek
[Ada] Sync white
s
pac
e
betw
e
en variants o
f
In
d
efini
t
e_Holders
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Troja
n
ek
[Ad
a
]
Sort list of Ada runtim
e
unit
s
in Makefile
.
rtl
commit
|
commitdiff
|
tree
2021-12-01
Piotr Trojan
e
k
[Ada
]
Whitespace clea
n
up in Makefile
.
rtl dep
e
nd
e
ncy
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Piotr Tro
j
anek
[
A
da] Document System
.
Atomic_Counters as
s
u
p
por
t
ed
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Yannick M
o
y
[Ada
]
Improve messages on incorrect state refinem
e
nt
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Ga
r
y D
i
smukes
[
A
da] Storage
e
r
ror o
n
un
t
agged
p
re
f
ixed
subprogram
.
.
.
commit
|
commitdiff
|
tree
2021-12-01
Etienne Se
r
vai
s
[Ada] Avoid duplicatio
n
for
Sets
f
unctions
commit
|
commitdiff
|
tree
2021-12-01
Pi
o
t
r
Trojanek
[
Ada] Simpli
f
y bui
l
di
n
g of inequality function
b
o
d
y
commit
|
commitdiff
|
tree
2021-12-01
Piotr Trojanek
[
A
da] Cleanup
listing of representation info
commit
|
commitdiff
|
tree
2021-11-10
E
r
ic
B
otcazou
[Ad
a
] Minor cleanup in transla
t
ion of
c
alls to subprograms
commit
|
commitdiff
|
tree
2021-11-10
Bob D
u
ff
[Ada] Warn for bidire
c
tional character
s
commit
|
commitdiff
|
tree
2021-11-10
Bob Duff
[Ada
]
Avoid warnin
g
s
r
e
ga
r
ding rep clauses in
generics
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Pi
o
tr Trojanek
[Ada] Fix
com
m
ents abo
u
t
e
x
pansion
o
f a
r
ray equal
i
ty
commit
|
commitdiff
|
tree
2021-11-10
Bob
Duff
[Ada]
Avoid warni
n
gs regar
d
ing rep clauses in
generic
s
commit
|
commitdiff
|
tree
2021-11-10
Eti
e
n
ne Se
r
vais
[A
d
a] ACAT
S
BDC
1
00
2
s
h
all
n
ot error
on arbitrary aspect
commit
|
commitdiff
|
tree
2021-11-10
Patrick Bernardi
[Ada
]
Do not assume a pr
i
or
i
ty value of zero is a
valid
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Pierre-
A
lexan
d
re
.
.
.
[A
d
a] Prove d
o
u
bl
e
p
re
c
ision
inte
g
e
r
arithme
t
i
c
u
nit
commit
|
commitdiff
|
tree
2021-11-10
P
iotr Troj
a
nek
[Ada] Don't carry
action
bodies for expansion of array
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Piotr Tro
j
anek
[Ada] Use
predefined equal
i
ty for array
s
insid
e
re
c
ords
commit
|
commitdiff
|
tree
2021-11-10
Eric Botcazou
[
Ada] Fix ov
e
r
s
igh
t
in latest change to Has
_
Compatibl
e
_
T
ype
commit
|
commitdiff
|
tree
2021-11-10
Yannick Moy
[Ada] Cre
a
te explicit gh
o
s
t mirror unit for b
i
g in
t
egers
commit
|
commitdiff
|
tree
2021-11-10
Eti
e
nn
e
Servais
[A
d
a] Fix C
o
nstraint er
r
or
on rex
g
exp cl
o
se
b
racket
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
P
iotr Tr
o
janek
[Ada] Ex
t
end opt
i
m
i
zed
e
quality of
2
-ele
m
ent ar
r
ays
commit
|
commitdiff
|
tree
2021-11-10
Etienne
S
ervais
[
A
da] W
a
r
n
w
hen int
e
rf
a
c
e
s swapp
e
d between fu
l
l
a
nd
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Eric Botcazou
[Ad
a
]
Ad
d
guard aga
i
n
s
t
previous erro
r
for peculiar
.
.
.
commit
|
commitdiff
|
tree
2021-11-10
Y
annick
M
oy
[Ada] Bett
e
r error m
e
ssage
on mi
s
sin
g
parent
h
eses
commit
|
commitdiff
|
tree
2021-11-09
Ghjuvan
L
acambre
[A
d
a] Fix Codepeer war
n
i
ng
commit
|
commitdiff
|
tree
2021-11-09
Eric Botc
a
zou
[Ada] Tidy
u
p implementati
o
n of Has_Compatib
l
e_T
y
p
e
commit
|
commitdiff
|
tree
2021-11-09
Justi
n
Squirek
[
Ada] Invali
d
GPR_PROJECT_PATH_F
I
LE confuses gnatls
commit
|
commitdiff
|
tree
2021-11-09
E
r
ic Botc
a
zou
[Ada
]
P
rint St
o
r
age_P
o
ol and Procedure_To_Call fiel
d
s
commit
|
commitdiff
|
tree
2021-11-09
Patric
k
Bern
a
rdi
[
A
da] Do not indicate a pending
a
b
o
rt if the
t
ask i
s
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Patrick Bernardi
[Ada] RTEMS: use atomic primitive pa
c
k
ages on
aarch64
commit
|
commitdiff
|
tree
2021-11-09
Justin S
q
uirek
[Ada] Hang on compila
t
ion
of un
i
t wit
h
t
ype exte
n
sion
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Jus
t
in Squirek
[Ada] Cra
s
h
o
n expansion
of tag
g
ed membership test
commit
|
commitdiff
|
tree
2021-11-09
Al
e
xandre O
l
iva
[Ada]
I
m
p
r
ov
e
integration of
s
t
rub
w
ith ty
p
e systems
commit
|
commitdiff
|
tree
2021-11-09
E
t
ienne S
e
rvais
[Ada] Initialize Curre
n
t
_Source_Unit
commit
|
commitdiff
|
tree
2021-11-09
Piot
r
T
r
ojanek
[A
d
a] Use atomics in runtime on ARM and Aarch64 VxWorks
commit
|
commitdiff
|
tree
2021-11-09
G
hjuva
n
Lacambre
[Ada]
A
ccessibility fix
commit
|
commitdiff
|
tree
2021-11-09
Johannes Kliemann
[Ada] Add gcc spe
c
s with vx
w
orks7 base addr
e
sses for
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Pio
t
r T
r
o
j
anek
[Ada] Cleanup copying of
param
e
ter lists
commit
|
commitdiff
|
tree
2021-11-09
Piotr Trojanek
[Ada] Cle
a
nup building
of r
e
n
am
e
d equalit
y
commit
|
commitdiff
|
tree
2021-11-09
Piotr Troja
n
ek
[A
d
a] Refine
type in
expansion
o
f array e
q
uality
commit
|
commitdiff
|
tree
2021-11-09
Piotr Trojanek
[Ada]
Simp
l
ify building of entity occurrences
commit
|
commitdiff
|
tree
2021-11-09
Et
i
enne Servais
[Ada]
Re
t
urn
a
valid val
u
e w
h
en handling
Constrai
n
t_Error
commit
|
commitdiff
|
tree
2021-11-09
Piotr T
r
ojanek
[Ada] Simpli
f
y expansio
n
of array eq
u
ality
commit
|
commitdiff
|
tree
2021-11-09
Piotr Tr
o
janek
[Ada] Reference
i
n Unbou
n
de
d
_Str
i
ng is almost nev
e
r
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
G
hjuv
a
n Lacambre
[Ada] sem_util
.
adb: fix typos in Accessibilit
y
_Level
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Tom Trom
e
y
[
Ada] Document the SuSE kernel bug
commit
|
commitdiff
|
tree
2021-11-09
Gary Dism
u
kes
[Ada] Errors on globals in expr
e
ssion
s
of
p
r
e
dicate
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Pi
o
tr Trojanek
[Ada] Tune comment about expansion
o
f array equalit
y
commit
|
commitdiff
|
tree
2021-11-09
Steve Baird
[Ada]
Add
m
issin
g
r
e
gula
r
express
i
o
n syntax e
r
ror check
commit
|
commitdiff
|
tree
2021-11-09
Yannick
M
o
y
[Ad
a
] C
o
mplete su
p
port for prefixed call on
s
ubtypes
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
P
iotr Trojanek
[Ad
a
] Fix detection o
f
a
r
ray aggr
e
gates with single
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Yan
n
ick Moy
[Ad
a
] Fix support
f
or prefixe
d
c
a
l
l with
incomp
l
ete
.
.
.
commit
|
commitdiff
|
tree
2021-11-09
Piotr Trojanek
[Ada]
G
uard a
g
a
i
nst il
l
egal items i
n
G
lobal but n
o
t
.
.
.
commit
|
commitdiff
|
tree
next