Revision: 23723
Author: [email protected]
Date: Fri Sep 5 09:47:36 2014 UTC
Log: Fix another assertion in the context typer.
[email protected]
Review URL: https://codereview.chromium.org/540283002
https://code.google.com/p/v8/source/detail?r=23723
Modified:
/branches/bleeding_edge/src/compiler/typer.cc
=======================================
--- /branches/bleeding_edge/src/compiler/typer.cc Mon Sep 1 11:17:39 2014
UTC
+++ /branches/bleeding_edge/src/compiler/typer.cc Fri Sep 5 09:47:36 2014
UTC
@@ -95,8 +95,9 @@
Type* ContextType(Node* node) {
Bounds result =
NodeProperties::GetBounds(NodeProperties::GetContextInput(node));
- DCHECK(result.upper->Is(Type::Internal()));
- DCHECK(result.lower->Equals(result.upper));
+ DCHECK(result.upper->Maybe(Type::Internal()));
+ // TODO(rossberg): More precisely, instead of the above assertion, we
should
+ // back-propagate the constraint that it has to be a subtype of
Internal.
return result.upper;
}
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
