Port to new Q_UNREACHABLE_RETURN()

This is a semantic patch using ClangTidyTransformator to convert
sequences of Q_UNREACHABLE() + return into Q_UNREACHABLE_RETURN(),
newly added to qtbase.

    const std::string unr = "unr", val = "val", ret = "ret";
    auto makeUnreachableReturn = cat("Q_UNREACHABLE_RETURN(",
                                    ifBound(val, cat(node(val)), cat("")),
                                    ")");
    auto ignoringSwitchCases = [](auto stmt) {
        return anyOf(stmt, switchCase(subStmt(stmt)));
    };

    makeRule(stmt(ignoringSwitchCases(stmt(isExpandedFromMacro("Q_UNREACHABLE")).bind(unr)),
                  nextStmt(returnStmt(optionally(hasReturnValue(expr().bind(val)))).bind(ret))),
             {changeTo(node(unr), cat(makeUnreachableReturn,
                                      ";")), // TODO: why is the ; lost w/o this?
              changeTo(node(ret), cat(""))},
             cat("use ", makeUnreachableReturn));

a.k.a qt-use-unreachable-return.

subStmt() and nextStmt() are non-standard matchers.

There was one false positive, suppressed it with NOLINTNEXTLINE.

It's not really a false positiive, it's just that Clang sees the world
in one way and if conditonal compilation (#if) differs for other
compilers, Clang doesn't know better. This is an artifact of matching
two consecutive statements.

Change-Id: I3855b2dc8523db1ea860f72ad9818738162495c6
Reviewed-by: Qt CI Bot <qt_ci_bot@qt-project.org>
Reviewed-by: Fabian Kosmale <fabian.kosmale@qt.io>

1 files changed, 27 insertions, 54 deletions

diff --git a/src/qml/compiler/qv4codegen.cpp b/src/qml/compiler/qv4codegen.cpp
index 2f5a9bd55f..6f8e572702 100644
--- a/src/qml/compiler/qv4codegen.cpp
+++ b/src/qml/compiler/qv4codegen.cpp
@@ -759,86 +759,72 @@ void Codegen::destructurePattern(Pattern *p, const Reference &rhs)
 
 bool Codegen::visit(ArgumentList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(CaseBlock *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(CaseClause *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(CaseClauses *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(Catch *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(DefaultClause *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(Elision *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(Finally *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(FormalParameterList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(Program *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(PatternElement *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(PatternElementList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(PatternProperty *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(PatternPropertyList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(ExportDeclaration *ast)
@@ -879,68 +865,57 @@ bool Codegen::visit(TypeAnnotation *ast)
 
 bool Codegen::visit(StatementList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiArrayMemberList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiImport *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiHeaderItemList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiPragma *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiObjectInitializer *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiObjectMemberList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiParameterList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiProgram *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(UiQualifiedId *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(VariableDeclarationList *)
 {
-    Q_UNREACHABLE();
-    return false;
+    Q_UNREACHABLE_RETURN(false);
 }
 
 bool Codegen::visit(ClassExpression *ast)
@@ -4473,8 +4448,7 @@ void Codegen::Reference::storeAccumulator() const
     }
     switch (type) {
     case Super:
-        Q_UNREACHABLE();
-        return;
+        Q_UNREACHABLE_RETURN();
     case SuperProperty:
         Instruction::StoreSuperProperty store;
         store.property = property.stackSlot();
@@ -4562,8 +4536,7 @@ void Codegen::Reference::loadInAccumulator() const
     case Accumulator:
         return;
     case Super:
-        Q_UNREACHABLE();
-        return;
+        Q_UNREACHABLE_RETURN();
     case SuperProperty:
         tdzCheckStackSlot(property, subscriptRequiresTDZCheck);
         Instruction::LoadSuperProperty load;