<div class="gmail_quote">On Sat, Apr 21, 2012 at 11:00 AM, Matthieu Monrocq <span dir="ltr"><<a href="mailto:matthieu.monrocq@gmail.com">matthieu.monrocq@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":f5c">Two remarks:<br><br>> if there is no statement between two cases, then fallthrough is most probable<br>> otherwise it is not possible to actually distinguish between a possible fallthrough or break<br>

<br>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.</div></blockquote></div><br><div>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.</div>
<div><br></div><div>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.</div>