[move-function] Implement the false conditional test for move-function

I forgot to include this in the previous test commit I updated. This is a
particularly important one since it shows given the following code:

```
let k = Klass()
if alwaysFalse() {
  let _ = _move(k)
}
// <== (A)
```

that at point A, the debugger views k as being uninitialized. This is the
correct behavior since:

1. The lifetime of k needs to be defined by static PC regions in the binary. We
can not model the notion that k's availability is control dependent on the
conditional alwaysFalse unless we cloned code. So fundamentally, we have to be
conservative and say that since (A) is reachable from the _move that the value
isn't available.

2. move semantics means that k can not be used at any point reachable from the
_move. Thus we know that k can not have any uses after the conditional. Thus it
is reasonable that k would not necessarily be available in the debugger at that
point since it is guaranteed to not have any later uses in the function.

Thus we are forced by 1 into this solution with the solice of 2 that it does fit
the model.

Author: gottesmm

lldb/test/API/lang/swift/variables/move_function/TestSwiftMoveFunction.py

@@ -207,5 +207,29 @@ def do_check_copyable_value_ccf_true(self):
         # should still be None.
         self.assertIsNone(varK.value, "varK should not have a value!")
 
+        # Run again so we go and run to the next test.
+        self.runCmd('continue')
+
     def do_check_copyable_value_ccf_false(self):
-        pass
+        frame = self.thread.frames[0]
+        self.assertTrue(frame.IsValid(), "Couldn't get a frame.")
+        varK = frame.FindVariable('k')
+
+        # Check at our start point that we do not have any state for varK and
+        # then continue to our next breakpoint.
+        self.assertIsNone(varK.value, "varK should not have a value?!")
+        self.runCmd('continue')
+
+        # At this breakpoint, k should be defined since we are going to do
+        # something with it.
+        self.assertIsNotNone(varK.value, "varK should have a value?!")
+        self.runCmd('continue')
+
+        # At this breakpoint, we are now past the end of the conditional
+        # statement. We know due to the move checking that k can not have any
+        # uses that are reachable from the move. So it is safe to always not
+        # provide the value here.
+        self.assertIsNone(varK.value, "varK should have a value?!")
+
+        # Run again so we go and run to the next test.
+        self.runCmd('continue')

lldb/test/API/lang/swift/variables/move_function/main.swift

@@ -83,8 +83,8 @@ public func copyableValueCCFTrueTest() {
 
 public func copyableValueCCFFalseTest() {
     let k = Klass() // Set breakpoint copyableValueCCFFalseTest here 1
-    k.doSomething()
-    if falseBoolValue { // Set breakpoint copyableValueCCFFalseTest here 2
+    k.doSomething() // Set breakpoint copyableValueCCFFalseTest here 2
+    if falseBoolValue {
         let m = _move(k)
         m.doSomething()
     }