[pypy-commit] pypy default: More precision, needed for 938e7328779b

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: 
Changeset: r69897:c0059044fa35
Date: 2014-03-12 12:18 +0100
http://bitbucket.org/pypy/pypy/changeset/c0059044fa35/

Log:	More precision, needed for 938e7328779b

diff --git a/rpython/rtyper/llannotation.py b/rpython/rtyper/llannotation.py
--- a/rpython/rtyper/llannotation.py
+++ b/rpython/rtyper/llannotation.py
@@ -6,7 +6,7 @@
 from rpython.annotator.model import (
     SomeObject, SomeSingleFloat, SomeFloat, SomeLongFloat, SomeChar,
     SomeUnicodeCodePoint, SomeInteger, SomeString, SomeImpossibleValue,
-    s_None, s_Bool, UnionError, AnnotatorError)
+    s_None, s_Bool, UnionError, AnnotatorError, SomeBool)
 from rpython.rtyper.lltypesystem import lltype, llmemory
 
 class SomeAddress(SomeObject):
@@ -155,7 +155,10 @@
         return ll_to_annotation(v)
 
     def bool(self):
-        return s_Bool
+        result = SomeBool()
+        if self.is_constant():
+            result.const = bool(self.const)
+        return result
 
 
 class SomeInteriorPtr(SomePtr):