[Continued from D11826; sans 'writeonce' annotations.]
Ready to submit for review upstream, based on design doc review.
Please let me know if you see any red flag so far?
Differential D13031
[Red Flag?] Generating invariant_start/end intrinsics. lvoufo on Sep 21 2015, 12:56 PM. Authored by
Details
Diff Detail Event TimelineComment Actions This is pretty much it.
Comment Actions Add test cases for mutable fields, const references and pointers and (basic) inheritance. Comment Actions Allow objects with mutable fields to be candidates for writeonce semantics; and specify writeonce candidates as trivial objects with no non-trivial method that may write to memory. Comment Actions Some drive-by comments.
Comment Actions Good catches. I'll make sure to incorporate these observations in the initial patch.
Comment Actions Cool. Roger. Thanks!
Comment Actions Thanks for all the comments. All should be addressed with D13603.
|