diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowProcessor.java b/compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowProcessor.java
index 4fa0b558482..b47ed777e11 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowProcessor.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/cfg/JetControlFlowProcessor.java
@@ -1203,7 +1203,9 @@ public class JetControlFlowProcessor {
             JetExpression left = expression.getLeft();
             if (operationType == JetTokens.COLON || operationType == JetTokens.AS_KEYWORD || operationType == JetTokens.AS_SAFE) {
                 generateInstructions(left);
-                copyValue(left, expression);
+                if (builder.getBoundValue(left) != null) {
+                    createNonSyntheticValue(expression, MagicKind.CAST, left);
+                }
             }
             else {
                 visitJetElement(expression);
diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/instructions/eval/operationInstructions.kt b/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/instructions/eval/operationInstructions.kt
index fd62a4e6cf1..97e8685ace0 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/instructions/eval/operationInstructions.kt
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/cfg/pseudocode/instructions/eval/operationInstructions.kt
@@ -139,6 +139,7 @@ public enum class MagicKind {
     NOT_NULL_ASSERTION
     EQUALS_IN_WHEN_CONDITION
     IS
+    CAST
     CALLABLE_REFERENCE
     // implicit operations
     LOOP_RANGE_ITERATION
diff --git a/compiler/testData/cfg/expressions/casts.instructions b/compiler/testData/cfg/expressions/casts.instructions
new file mode 100644
index 00000000000..37eb376d56e
--- /dev/null
+++ b/compiler/testData/cfg/expressions/casts.instructions
@@ -0,0 +1,29 @@
+== foo ==
+fun foo(a: Any) {
+    a : String
+    a as String
+    a as? String
+}
+---------------------
+L0:
+  1 <START>
+    v(a: Any)
+    magic[FAKE_INITIALIZER](a: Any) -> <v0>
+    w(a|<v0>)
+  2 mark({ a : String a as String a as? String })
+    mark(a : String)
+    r(a) -> <v1>
+    magic[CAST](a : String|<v1>) -> <v2>
+    mark(a as String)
+    r(a) -> <v3>
+    magic[CAST](a as String|<v3>) -> <v4>
+    mark(a as? String)
+    r(a) -> <v5>
+    magic[CAST](a as? String|<v5>) -> <v6>
+L1:
+  1 <END>                                            NEXT:[<SINK>]
+error:
+    <ERROR>                                          PREV:[]
+sink:
+    <SINK>                                           PREV:[<ERROR>, <END>]
+=====================
\ No newline at end of file
diff --git a/compiler/testData/cfg/expressions/casts.kt b/compiler/testData/cfg/expressions/casts.kt
new file mode 100644
index 00000000000..bca0f907b05
--- /dev/null
+++ b/compiler/testData/cfg/expressions/casts.kt
@@ -0,0 +1,5 @@
+fun foo(a: Any) {
+    a : String
+    a as String
+    a as? String
+}
\ No newline at end of file
diff --git a/compiler/testData/cfg/expressions/casts.values b/compiler/testData/cfg/expressions/casts.values
new file mode 100644
index 00000000000..ea9f97f7838
--- /dev/null
+++ b/compiler/testData/cfg/expressions/casts.values
@@ -0,0 +1,16 @@
+== foo ==
+fun foo(a: Any) {
+    a : String
+    a as String
+    a as? String
+}
+---------------------
+                                          <v0>: {<: Any}   NEW: magic[FAKE_INITIALIZER](a: Any) -> <v0>
+a                                         <v1>: *          NEW: r(a) -> <v1>
+a : String                                <v2>: *          NEW: magic[CAST](a : String|<v1>) -> <v2>
+a                                         <v3>: *          NEW: r(a) -> <v3>
+a as String                               <v4>: *          NEW: magic[CAST](a as String|<v3>) -> <v4>
+a                                         <v5>: *          NEW: r(a) -> <v5>
+a as? String                              <v6>: *          NEW: magic[CAST](a as? String|<v5>) -> <v6>
+{ a : String a as String a as? String }   <v6>: *          COPY
+=====================
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java b/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java
index 61d7e5c8002..5202f45ea51 100644
--- a/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java
@@ -374,6 +374,11 @@ public class ControlFlowTestGenerated extends AbstractControlFlowTest {
             doTest("compiler/testData/cfg/expressions/callableReferences.kt");
         }
         
+        @TestMetadata("casts.kt")
+        public void testCasts() throws Exception {
+            doTest("compiler/testData/cfg/expressions/casts.kt");
+        }
+        
         @TestMetadata("chainedQualifiedExpression.kt")
         public void testChainedQualifiedExpression() throws Exception {
             doTest("compiler/testData/cfg/expressions/chainedQualifiedExpression.kt");
diff --git a/compiler/tests/org/jetbrains/jet/cfg/PseudoValueTestGenerated.java b/compiler/tests/org/jetbrains/jet/cfg/PseudoValueTestGenerated.java
index 4e55d0e22fc..1f9f1c327fe 100644
--- a/compiler/tests/org/jetbrains/jet/cfg/PseudoValueTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/cfg/PseudoValueTestGenerated.java
@@ -378,6 +378,11 @@ public class PseudoValueTestGenerated extends AbstractPseudoValueTest {
                 doTest("compiler/testData/cfg/expressions/callableReferences.kt");
             }
             
+            @TestMetadata("casts.kt")
+            public void testCasts() throws Exception {
+                doTest("compiler/testData/cfg/expressions/casts.kt");
+            }
+            
             @TestMetadata("chainedQualifiedExpression.kt")
             public void testChainedQualifiedExpression() throws Exception {
                 doTest("compiler/testData/cfg/expressions/chainedQualifiedExpression.kt");