Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
R
riscv-gcc-1
Overview
Overview
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
lvzhengyang
riscv-gcc-1
Commits
b9e48541
Commit
b9e48541
authored
Aug 02, 2011
by
Arnaud Charlet
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Minor reformatting.
From-SVN: r177106
parent
7394c8cc
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
3 additions
and
3 deletions
+3
-3
gcc/ada/sem_attr.adb
+1
-1
gcc/ada/sem_res.adb
+2
-2
No files found.
gcc/ada/sem_attr.adb
View file @
b9e48541
...
@@ -2064,7 +2064,7 @@ package body Sem_Attr is
...
@@ -2064,7 +2064,7 @@ package body Sem_Attr is
end
if
;
end
if
;
--
In
SPARK
or
ALFA
,
attributes
of
private
types
are
only
allowed
if
--
In
SPARK
or
ALFA
,
attributes
of
private
types
are
only
allowed
if
--
the
full
type
declaration
is
visible
--
the
full
type
declaration
is
visible
.
if
Formal_Verification_Mode
if
Formal_Verification_Mode
and
then
Comes_From_Source
(
Original_Node
(
N
))
and
then
Comes_From_Source
(
Original_Node
(
N
))
...
...
gcc/ada/sem_res.adb
View file @
b9e48541
...
@@ -7613,8 +7613,8 @@ package body Sem_Res is
...
@@ -7613,8 +7613,8 @@ package body Sem_Res is
("string operand for concatenation should be a literal", N);
("string operand for concatenation should be a literal", N);
end if;
end if;
-- Do not issue error on an operand that is neither a character nor
-- Do not issue error on an operand that is neither a character nor a
-- a
string, as the error is issued in Resolve_Op_Concat.
--
string, as the error is issued in Resolve_Op_Concat.
else
else
null;
null;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment