Struct invariants allegedy ignored, but they affect static analysis - by naasking

Status : 

  Fixed<br /><br />
		This item has been fixed in the current or upcoming version of this product.<br /><br />
		A more detailed explanation for the resolution of this particular item may have been provided in the comments section.

Sign in
to vote
ID 785047 Comments
Status Closed Workarounds
Type Bug Repros 0
Opened 4/18/2013 11:52:27 AM
Access Restriction Public


According to the code contracts documentation, section 6.6.1, struct invariants are supposed to be ignored. However, the static checker does seem to use them since it affects provable properties. See the link to stackoverflow post.
Sign in to post a comment.
Posted by Microsoft on 4/19/2013 at 5:14 AM
Thank you for submitting feedback on Visual Studio and .NET Framework. Your issue has been routed to the appropriate VS development team for investigation. We will contact you if we require any additional information.
Posted by Microsoft on 4/18/2013 at 11:56 AM
Thank you for your feedback, we are currently reviewing the issue you have submitted. If this issue is urgent, please contact support directly(