Exactcheck() fails to allow a pointer to index out of and then back into its intended referent

[llvmbot]

Bugzilla Link	11524
Resolution	FIXED
Resolved on	Jun 22, 2013 16:34
Version	unspecified
OS	All
Attachments	Modified test case from evaluation team, Regression test that triggers the bug
Reporter	LLVM Bugzilla Contributor

Extended Description

SAFECode should allow a pointer to leave and then index back into its intended referent so long as the pointer is not dereferenced while it is outside the bounds of the intended referent memory object. However, the exactcheck() check does not support this feature properly.

[llvmbot]

Fixed in Revision 184646 with previous commits adding necessary features to make it happen:
http://llvm.org/viewvc/llvm-project?rev=184646&view=rev