Primitaint: Inconsistent behavior in switch-cases

[0drai]

While switch-cases are typically strictly checked, they are optimized for small integer constants.

This results in the following inconsistency:

switch (Number.tainted(1234567)) {
  case 1234567:
    console.log("1"); // prints 1
    break;
  default:
    console.log("0");
    break;
}

switch (Number.tainted(1)) {
  case 1:
    console.log("1");
    break;
  default:
    console.log("0"); // prints 0
    break;
}

My approach to resolving this issue (akin to af544cf) is to check for taints in the discriminant and unbox it if necessary.

[tmbrbr]

Good catch, the fix looks good!