Author: Armin Rigo <ar...@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))
_______________________________________________
pypy-commit mailing list
pypy-commit@python.org
https://mail.python.org/mailman/listinfo/pypy-commit
