[Bug c++/53479] Control flow analysis reports warnings in switch over an enum class even if all possible values have their branches

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53479

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-24 
19:57:19 UTC ---
  Foo f = Foo(2);
  assert( DoFoo( f ) );

Undefined behaviour.