Page MenuHomePhabricator

RalfJung (Ralf)
User

Projects

User does not belong to any projects.

User Details

User Since
Feb 1 2019, 9:58 AM (29 w, 1 d)

Recent Activity

Thu, Aug 15

RalfJung added inline comments to D65718: [LangRef] Document forward-progress requirement.
Thu, Aug 15, 11:18 PM · Restricted Project
RalfJung added a comment to D65718: [LangRef] Document forward-progress requirement.

A fence is not an atomic operation on its own in C++. See http://eel.is/c++draft/atomics.fences where it says "is a synchronization operation *if* [...]".

Thu, Aug 15, 11:15 PM · Restricted Project

Mon, Aug 12

RalfJung added inline comments to D65718: [LangRef] Document forward-progress requirement.
Mon, Aug 12, 2:16 AM · Restricted Project
RalfJung added a comment to D65718: [LangRef] Document forward-progress requirement.

Does this need a side effect? Per the current definition, no. Per C++, yes.

Mon, Aug 12, 2:13 AM · Restricted Project

Jul 23 2019

RalfJung added a comment to D65134: Clarify where the indirect UB due to write-write races comes from.

I cannot land commits myself, could you help with that?

Jul 23 2019, 9:25 AM · Restricted Project
RalfJung created D65134: Clarify where the indirect UB due to write-write races comes from.
Jul 23 2019, 2:16 AM · Restricted Project

Feb 26 2019

RalfJung added a comment to D57600: update docs of memcpy/memmove/memset re: alignment and len=0.

I fixed the typo.

Feb 26 2019, 3:28 AM · Restricted Project
RalfJung updated the diff for D57600: update docs of memcpy/memmove/memset re: alignment and len=0.

Fix typo.

Feb 26 2019, 3:28 AM · Restricted Project
RalfJung added a comment to D57600: update docs of memcpy/memmove/memset re: alignment and len=0.

Please make sure you have llvm-commits added as a subscriber when creating patches in the future

Feb 26 2019, 1:45 AM · Restricted Project

Feb 1 2019

RalfJung created D57600: update docs of memcpy/memmove/memset re: alignment and len=0.
Feb 1 2019, 10:08 AM · Restricted Project