[oxc_semantics] cfg does not handle ternary or chain expression control flow

[TzviPM]

In general, we have chosen not to handle every expression explicitly in the CFG for performance reasons. That said, certain expressions also have implied control flow logic that we need to handle:

For example, was this used before super in each of these cases?

• Ternary expression: foo ? super() : null; this.a;
  • if foo is false, then super() is not called
• Optional chain: a?.(super()); this.a;
  • if a is undefined or null, then super() is not called

[TzviPM]

I'll have a PR up shortly:

Ternary (conditional) expression

Code:

class A extends B {
  constructor() {
    const foo = bar ? super() : null;
    this.a();
  }
}

In main branch:

In my PR branch (pending):

Optional Chaining (chain) expression

Code:

class A extends B {
  constructor() {
    foo?.(super());
    this.a();
  }
}

In main branch:

In my PR branch (pending):

[rzvxa]

fixed via #3127