--- Comment #1 from Alex R´┐Żnne Petersen <> 2012-04-11 
19:26:33 PDT ---
OK, the first one is probably not due to an invisible copy, but rather just a
bug in the assignment analysis (it follows that if the function returns
properly, it must have returned a proper S instance, so the error is wrong).

The second case is only caused when C has an invariant, since the result of
every function is then stored in a temporary in order to call the invariant
before exiting the function.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to