On Jan 21, 2012, at 11:42 PM, Aaron Ballman wrote:
> I've attached a patch to fix bug 6800 (and test cases) so that a
> proper fixit is output when dereferencing using -> instead of . We
> were missing the fixit when looking up overloaded operator -> and
> emitting a diagnostic.
This goes in the right direction, but there's a bit more we need. We only emit
a Fix-It when the compiler can recover as if you had typed when we're
suggesting. In this case, we'll still end up returning an error expression,
which suppresses a lot of important type checking. In this particular case,
we'd need to communicate up to the caller that the user meant to type a "." but
typed an "->" instead.
Moreover, you should customize the error message in this case. Perhaps
something like "type %0 is not a pointer and does not have an overloaded
'operator->'; did you mean to use '.'?".
- Doug
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
