Crash if the variable is not certain in LetStmt

Questions
1

Hello, recently I found a bug that the test file crashed if I used the Letstmt and did not bound the variable with the certain value and used the same variable v1 in the variable and value. I’m curious about the reason that the test file crashes.I’d be appreciated if anyone can help me. :smiley:It seems that this problem occurs in the LetStmt rather than the let expression.

The TVM version is TVM0.10.dev0, the git commit is 5019dcee0efb526cc26858eb87e38f32e4f1a464

import tvm
from tvm import tir
v1=tir.Var('v1','int32')
s1=tir.if_then_else(v1>0,1,2)
let1 = tir.Let(v1, s1, v1)
f1 = tir.PrimFunc({v1},tir.Evaluate(let1))
let2 = tir.LetStmt(v1, s1, tir.Evaluate(v1))
f2 = tir.PrimFunc({v1},let2)