Microchip's datasheets are often buggy with significant copy/paste errors of information from similar devices that doesn't apply. The device specific includes can be more accurate than the datasheet, so check out that pin by reading/writing the whole port under a hardware debugger before reporting it.
I would strongly recommend raising the issue on Microchip's
XC32 forum, and give it a day or so to see what the community's opinion is first. If you get confirmation, you can always point the support team at the forum thread, and it often gets escalated faster that way because they know that PEBKAC issues have already been eliminated. Also some of the various compiler team members hang out on the forums on their coffee breaks, and 'adopt' issues they have discussed with you as soon as your ticket goes in the queue.
To actually raise a support ticket (or whatever they are calling the process this month), you need to log in to microchip.com, goto
http://www.microchip.com/support/hottopics.aspx, then click [My Support] then [Cases] then [New Case]
N.B. the main Microchip site (including support) shares logins with microchipdirect.com, but the Microchip community forums are a completely different login system with separate registration and user names.