From b7aedf26f105793793c66c39c85abe76e1510e66 Mon Sep 17 00:00:00 2001
From: Josh Stone <jistone@redhat.com>
Date: Thu, 25 Feb 2010 16:20:50 -0800
Subject: Expand @defined to support more cases

* tapsets.cxx (var_expanding_visitor::visit_defined_op): If no error was
  raised or replacement made on a target_symbol, then its @defined state
  is still indeterminate.  Some later pass (like @cast) might handle it.
* elaborate.cxx (const_folder::visit_defined_op): Squash any escapees.
* testsuite/semok/thirtysix.stp: Add more variants.
---
 tapsets.cxx | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'tapsets.cxx')

diff --git a/tapsets.cxx b/tapsets.cxx
index ca439ede..d470b043 100644
--- a/tapsets.cxx
+++ b/tapsets.cxx
@@ -1982,7 +1982,12 @@ var_expanding_visitor::visit_defined_op (defined_op* e)
     else if (foo2 && foo2->probe_context_var != "") // successful
       resolved = true;
     else if (foo2) // unresolved but not marked either way
-      assert (0); // should not happen
+      {
+        // it might be resolved by some other pass
+        e->operand = foo2;
+        provide (e);
+        return;
+      }
     else // resolved, rewritten to some other expression type
       resolved = true;
   } catch (const semantic_error& e) { 
-- 
cgit