binaryen icon indicating copy to clipboard operation
binaryen copied to clipboard

ConstantExpressionRunner cannot handle `drop` case

Open HerrCai0907 opened this issue 3 years ago • 0 comments

when I use ConstantExpressionRunner in FlagValues::DEFAULT mode to calculate code like

(block $label$4 (result i32)
 (drop
  (local.tee $7
   (local.get $8)
  )
 )
 (i32.const 0)
)

current implement will return NONCONSTANT_FLOW instead of i32.const 0 if local $8 is unknown.

HerrCai0907 avatar Sep 04 '22 06:09 HerrCai0907