[Joke] C++ and D namings
Steven Schveighoffer
schveiguy at gmail.com
Wed Jan 20 19:20:32 UTC 2021
On 1/20/21 12:08 PM, Imperatorn wrote:
> On Wednesday, 20 January 2021 at 16:07:26 UTC, Steven Schveighoffer wrote:
>> On 1/20/21 10:31 AM, Paul Backus wrote:
>>> On Wednesday, 20 January 2021 at 15:17:09 UTC, Steven Schveighoffer
>>> wrote:
>>>> On 1/20/21 10:13 AM, Paul Backus wrote:
>>>>> [...]
>>>>
>>>> That seems like a bug. Writing the x directly fails in @safe code.
>>>>
>>>
>>> I agree. Though now that I take a look at the spec, it seems like the
>>> bug may actually be in the line
>>>
>>> writeln(a.y);
>>>
>>> ...since accessing immutable data that's overlapped with mutable data
>>> breaks safe aliasing [1].
>>>
>>
>> Thanks for that link, I wasn't aware of that list.
>>
>> In my Dconf online presentation, I found numerous bugs surrounding
>> unions and @safe code.
>>
>> For instance, a union between a pointer and a scalar is considered
>> "safe" to access the scalar (even writing it!)
>>
>
> Are those bugs reported?
I don't know if I reported mine. I assumed at the time that it was just
the expected behavior, but the spec seems to suggest otherwise.
I'll report it. Looks like Paul did his.
-Steve
More information about the Digitalmars-d
mailing list