Select and if_then_else


#1

I’m a little confused about “if_then_else” used for unsafe memory access, I think it same as select. so why need use the “rewrite_unsafe_select.cc” to detect and rewrite unsafe select that contains memory access


#2

Select evaluates all operands, if_then_else only evaluates the condition and the one corresponding operand.