On Sat, Apr 21, 2012 at 11:00 AM, Matthieu Monrocq < matthieu.monr...@gmail.com> wrote:
> Two remarks: > > > if there is no statement between two cases, then fallthrough is most > probable > > otherwise it is not possible to actually distinguish between a possible > fallthrough or break > > I don't think that providing a fixit is reasonable, because fixit should > be provided only when they are right, taking chances is risking > miscompilation. > Note that these are fixit hints on *notes* attached to the diagnostic. Those are never automatically applied, they always require user action to apply them. Also, I think that its important to provide the "insert [[fallthrough]]" fixit because it preserves the existing semantics, right or wrong. Optionally providing a second fixit hint (still attached to a note!) also seems fine.
_______________________________________________ cfe-commits mailing list cfe-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits