@RichFelker @ch3root It tells the compiler that the returned data (not just the outer pointer) cannot alias an existing pointer.
@ch3root @CopperheadSec If program never inspects repr I see potential justification for treating them as different.
-
-
@ch3root@CopperheadSec But if same reprs are observed I see no way the impl can treat them as not the same. -
@RichFelker@CopperheadSec So the example which started this discussion is fine with you? -
@ch3root@CopperheadSec For a weird definition of "fine". I see a plausible way to justify it & the code as written is "morally wrong" C. ;) -
@RichFelker@CopperheadSec If you allow it then I guess you cannot optimize all similar cases when iter count is unknown. -
@RichFelker@CopperheadSec A compiler has to assume that the loop could touch all variables following the original array.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.