#2561·prepack

Constructors incorrectly forming conditionals when a throw exists in execution

Author: trueadmCreated Sep 21, 2018Updated Nov 2, 2018
Labelsbugpriority: highreact compiler

Here's a strange issue that I've been running into with the React Native bundle. Our module system initializes and when doing so, can run into cases where there's an abstract conditional that might throw. The throw seems to break the execution flow for function constructors, something that shouldn't happen.

Here's a repro:

javascript
function module() {
  var x = global.__abstract ? __abstract("boolean", "(true)") : true;

  // if the throw is remove, the string below gets inlined correctly
  if (!x) {
    throw new Error("An error");
  }

  var Component = function () {
    function Component() {
      this.someMethod = function() {
        return "This should be inlined!";
      };
    }
  
    return Component;
  }();
  
  function fn(x) {
    var instance = new Component();
    return instance.someMethod();
  }
  
  global.__optimize && __optimize(fn);

  return fn;
}

global.result = module();

When we get to var instance = new Component();. Prepack wrongly thinks that Component is a conditional abstract value of undefined | Constructor, because of the above throw. This results in bailing out and the code never inlining – something that break the React reconciler when dealing with React class components (we don't support conditional constructors).