The visit() methods, which are the main way Ion generates code, can only fail on OOM. In such cases the OOM can be more cleanly indicated within the macro assembler. The attached patch makes the visit methods infallible in this fashion, along with many other CodeGenerator methods called by the visit methods. 35 files changed, 2528 insertions(+), 3469 deletions(-)

Comment on attachment 8531399 [details] [diff] [review] patch Review of attachment 8531399 [details] [diff] [review]: ----------------------------------------------------------------- Seems reasonable, it's similar to what we're already doing in the MacroAssembler. ::: js/src/jit/CodeGenerator.cpp @@ -867,5 @@ > > OutOfLineCode *ool = oolCallVM(IntToStringInfo, lir, (ArgList(), input), > StoreRegisterTo(output)); > - if (!ool) > - return false; The OutOfLineCode allocation is infallible so we shouldn't get a nullptr ool right?

(In reply to Jan de Mooij [:jandem] from comment #1) > The OutOfLineCode allocation is infallible so we shouldn't get a nullptr ool > right? Yes, the code was already assuming that OutOfLineCode allocations were infallible, and the only way this function could fail earlier was if we failed to append to some vector.