[pypy-commit] pypy default: Reintroduce definite crashes when using @elidable in a way that cannot be satisfied.

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: 
Changeset: r71130:350eca4d9a9d
Date: 2014-05-01 13:41 +0200
http://bitbucket.org/pypy/pypy/changeset/350eca4d9a9d/

Log:	Reintroduce definite crashes when using @elidable in a way that
	cannot be satisfied.

diff --git a/rpython/jit/codewriter/call.py b/rpython/jit/codewriter/call.py
--- a/rpython/jit/codewriter/call.py
+++ b/rpython/jit/codewriter/call.py
@@ -266,14 +266,14 @@
         # check that the result is really as expected
         if loopinvariant:
             if extraeffect != EffectInfo.EF_LOOPINVARIANT:
-                from rpython.jit.codewriter.policy import log; log.WARNING(
+                raise Exception(
                 "in operation %r: this calls a _jit_loop_invariant_ function,"
                 " but this contradicts other sources (e.g. it can have random"
                 " effects): EF=%s" % (op, extraeffect))
         if elidable:
             if extraeffect not in (EffectInfo.EF_ELIDABLE_CANNOT_RAISE,
                                    EffectInfo.EF_ELIDABLE_CAN_RAISE):
-                from rpython.jit.codewriter.policy import log; log.WARNING(
+                raise Exception(
                 "in operation %r: this calls an _elidable_function_,"
                 " but this contradicts other sources (e.g. it can have random"
                 " effects): EF=%s" % (op, extraeffect))