diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-10 21:55:27 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-07 05:26:52 -0400 |
| commit | c0ceffbebdd2946068c1b10c898e6da689ac6507 (patch) | |
| tree | 3fbf10ae6271f1cb8458fa7006310a2fe8b409dc | |
| parent | aeef2df9376cb8080d37224ff57bb6ce61c5130f (diff) | |
| download | gcc-c0ceffbebdd2946068c1b10c898e6da689ac6507.zip gcc-c0ceffbebdd2946068c1b10c898e6da689ac6507.tar.gz gcc-c0ceffbebdd2946068c1b10c898e6da689ac6507.tar.bz2 | |
[Ada] Style fixes in the description of Analysis-Resolution-Expansion
gcc/ada/
* sem.ads (Sem): Fix description.
| -rw-r--r-- | gcc/ada/sem.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem.ads b/gcc/ada/sem.ads index d7f8cdb..2383ed0c 100644 --- a/gcc/ada/sem.ads +++ b/gcc/ada/sem.ads @@ -32,7 +32,7 @@ -- Analysis implements the bulk of semantic analysis such as -- name analysis and type resolution for declarations, --- instructions and expressions. The main routine +-- instructions and expressions. The main routine -- driving this process is procedure Analyze given below. -- This analysis phase is really a bottom up pass that is -- achieved during the recursive traversal performed by the @@ -51,7 +51,7 @@ -- recursive calls to itself to resolve operands. -- Expansion if we are not generating code this phase is a no-op. --- otherwise this phase expands, i.e. transforms, original +-- Otherwise this phase expands, i.e. transforms, original -- declaration, expressions or instructions into simpler -- structures that can be handled by the back-end. This -- phase is also in charge of generating code which is @@ -72,7 +72,7 @@ -- up. For instructions and declarations, before the call to the Analyze -- routine completes we perform expansion since at that point we have all -- semantic information needed. For expression nodes, after the call to --- Analysis terminates we invoke the Resolve routine to transmit top-down +-- Analyze terminates we invoke the Resolve routine to transmit top-down -- the type that was gathered by Analyze which will resolve possible -- ambiguities in the expression. Just before the call to Resolve -- terminates, the expression can be expanded since all the semantic @@ -178,7 +178,7 @@ -- needs to be called 100 times.) -- The reason this mechanism does not work is that the expanded code for the --- children is typically inserted above the parent and thus when the father +-- children is typically inserted above the parent and thus when the parent -- gets expanded no re-evaluation takes place. For instance in the case of -- aggregates if "new Thing (Function_Call)" is expanded before the aggregate -- the expanded code will be placed outside of the aggregate and when |