[tests] Add regression tests to SILOptimizer/return.swift

Author: LucianoPAlmeida

test/SILOptimizer/return.swift

@@ -2,12 +2,12 @@
 
 func singleBlock() -> Int {
   _ = 0
-} // expected-error {{missing return in a function expected to return 'Int'}}
+} // expected-error {{missing return in a global function expected to return 'Int'}}
 
 func singleBlock2() -> Int {
   var y = 0 
   y += 1
-} // expected-error {{missing return in a function expected to return 'Int'}}
+} // expected-error {{missing return in a global function expected to return 'Int'}}
 
 enum NoCasesButNotNever {}
 
@@ -46,7 +46,7 @@ func multipleBlocksSingleMissing(b: Bool) -> (String, Int) {
   } else if (y == 0) {
     y += 1
   }
-} // expected-error {{missing return in a function expected to return '(String, Int)'}}
+} // expected-error {{missing return in a global function expected to return '(String, Int)'}}
 
 func multipleBlocksAllMissing(x: Int) -> Int {
   var y : Int = x + 1 
@@ -56,15 +56,15 @@ func multipleBlocksAllMissing(x: Int) -> Int {
   }
   var x = 0
   x += 1
-} // expected-error {{missing return in a function expected to return 'Int'}}
+} // expected-error {{missing return in a global function expected to return 'Int'}}
 
 @_silgen_name("exit") func exit () -> Never
 
 func diagnose_missing_return_in_the_else_branch(i: Bool) -> Int {
   if (i) {
     exit() 
   } 
-} // expected-error {{missing return in a function expected to return 'Int'}}
+} // expected-error {{missing return in a global function expected to return 'Int'}}
 
 func diagnose_missing_return_no_error_after_noreturn(i: Bool) -> Int {
   if (i) {
@@ -92,7 +92,7 @@ func whileLoop(flag: Bool) -> Int {
     }
     b += 1
   }
-} //expected-error {{missing return in a function expected to return 'Int'}}
+} //expected-error {{missing return in a global function expected to return 'Int'}}
 
 struct S {}
 extension S:ExpressibleByStringLiteral {
@@ -177,7 +177,7 @@ func testSR13753() {
         get { 0 }
         set { }
     }
-    x // expected-error {{missing return in a function expected to return 'Int'; did you mean to return the last expression?}} {{5-5=return }}
+    x // expected-error {{missing return in a local function expected to return 'Int'; did you mean to return the last expression?}} {{5-5=return }}
     // expected-warning@-1 {{setter argument 'newValue' was never used, but the property was accessed}}
     // expected-note@-2 {{did you mean to use 'newValue' instead of accessing the property's current value?}}
     // expected-warning@-3 {{variable is unused}}
@@ -203,7 +203,7 @@ func testSR13753() {
     // expected-warning@-1 {{setter argument 'newValue' was never used, but the property was accessed}}
     // expected-note@-2 {{did you mean to use 'newValue' instead of accessing the property's current value?}}
     // expected-warning@-3 {{variable is unused}}
-  } // expected-error {{missing return in a function expected to return 'Int'}}
+  } // expected-error {{missing return in a local function expected to return 'Int'}}
 
   let _ : () -> Int = {
     var x : Int = 0 // expected-warning {{variable 'x' was never mutated; consider changing to 'let' constant}}
@@ -213,3 +213,39 @@ func testSR13753() {
     //expected-warning@-1{{variable is unused}}
   }
 }
+
+// SR-14505
+struct SR14505 {
+    let b = true
+    var x: Int {
+        if b {
+            return 0
+        }
+    } // expected-error {{missing return in a getter expected to return 'Int'}}
+
+    var y: Int {
+        get {
+            if b {
+                return 0
+            }
+        } // expected-error {{missing return in a getter expected to return 'Int'}}
+        set {}
+    } 
+}
+
+class SR14505_C {
+  static let a = false
+  let b = true
+
+  func method() -> Int {
+    if b {
+      return 0
+    }
+  } // expected-error {{missing return in a instance method expected to return 'Int'}}
+
+  class func method1() -> Int {
+    if a {
+      return 0
+    }
+  } // expected-error {{missing return in a class method expected to return 'Int'}}
+}