commit b73879691f816b0874d9dec0c09e2db7889c4e8e
Author: Juergen Spitzmueller <[email protected]>
Date: Sat Aug 12 08:59:26 2017 +0200
Another (IMHO false) fall-through warning silenced
With a FIXME. The case should be checked.
---
src/frontends/qt4/GuiApplication.cpp | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/frontends/qt4/GuiApplication.cpp
b/src/frontends/qt4/GuiApplication.cpp
index b21d86e..1e84746 100644
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -2723,7 +2723,8 @@ bool GuiApplication::notify(QObject * receiver, QEvent *
event)
#endif
// In release mode, try to exit gracefully.
this->exit(1);
-
+ // FIXME: GCC 7 thinks we can fall through here. Can we?
+ // fall through
case BufferException: {
if (!current_view_ ||
!current_view_->documentBufferView())
return false;