marky1991 has quit [Remote host closed the connection]
marky1991 has joined #pypy
<kenaan>
arigo sandbox-2 7658f5db8ad6 /: A branch to revive sandboxing for Anvil, with a new idea that should move to burden of keeping it up-to-date out ...
Rhy0lite has joined #pypy
marky1991 has quit [Ping timeout: 272 seconds]
marky1991 has joined #pypy
marky1991 has quit [Remote host closed the connection]
marky1991 has joined #pypy
<fijal>
do we want arm64 pypy buildslave?
<arigato>
up to you I guess, but it's certainly not a bad thing
<fijal>
yeah
kiwi_58 has quit [Remote host closed the connection]
antocuni has joined #pypy
<kenaan>
arigo sandbox-2 2b1d31cf3e3e /rpython/: Remove support for the outdated register_external(sandboxsafe=False)
<kenaan>
arigo sandbox-2 e1fde97711a7 /rpython/: Remove support for register_replacement_for(sandboxed_name=...)
lritter has joined #pypy
jcea has joined #pypy
<arigato>
ah ah argh, playing around with sandboxing arbitrary functions
<arigato>
an external function call f() is replaced with some calls to rpy_sandbox_arg...()
<arigato>
but I was surprised that the C code compiles, even though I have never implemented rpy_sandbox_arg...()
<arigato>
it turns out that rpy_sandbox_arg...() is an external function call, so it's replaced by... some more calls to rpy_sandbox_arg...()
<arigato>
we get perfectly valid C code that throws itself into an infinite recursion
<antocuni>
:)
<kenaan>
rlamy __debug__-optimize e3c0c0d858a7 /pypy/module/__builtin__/test/apptest_compile.py: update test to match lib-python
<kenaan>
rlamy __debug__-optimize 25c246923b60 /pypy/interpreter/astcompiler/: add space and compile_info parameters to as_constant()
marky1991 has quit [Ping timeout: 245 seconds]
antocuni has quit [Ping timeout: 258 seconds]
jcea has quit [Quit: jcea]
marky1991 has joined #pypy
jcea has joined #pypy
<kenaan>
arigo sandbox-2 f2a2ec0e2a42 /: in-progress: implementing another approach for sandboxing
<kenaan>
rlamy __debug__-optimize 2c5d479229ac /pypy/interpreter/astcompiler/optimize.py: remove dead code