[Change]: [1.93] During const-evaluation, support copying pointers byte-by-byte

[PLeVasseur]

Change description

During const-evaluation, support copying pointers byte-by-byte

Area

const evaluation

Category

New content

FLS Paragraph ID

No response

Change description (extended)

During const-evaluation, support copying pointers byte-by-byte

[kirtchev-adacore]

I do not think there is anything to do here because the current version of the FLS already considers dereference expressions to be constant expressions, without the restriction which was removed from the Reference by the related PR.

The Reference states:

[const-eval.const-expr.list] The following expressions are constant expressions, so long as any operands are also constant expressions and do not cause any Drop::drop calls to be run.
. . .
[const-eval.const-expr.deref] * Dereference expressions.

The FLS states:

6.1.2:1 A constant expression is an expression that can be evaluated statically. The following constructs are constant expressions as long as their operands are also constant expressions and do not involve types that require destruction:
. . .
6.1.2:12 * Dereference expressions,

I think we just got lucky! Opinions @PLeVasseur , @tshepang , @ehuss , @traviscross ?

[PLeVasseur]

We didn't need to update the FLS in this case :)

Closing