[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