vyper Version (output of vyper --version OR linkable commit hash vyperlang/vyper@): vyperlang/vyper@b43fface148b45cbd2c90b5d24f77398a63745b5
Issue Description
In abi_encode(), the following branch is unreachable given that if
ir_node.typ.is_prim_word,
abi_encoding_matches_vyper(ir_node.typ) will always evaluate to
true and the "fast path" will be taken before reaching this branch.
if ir_node.typ._is_prim_word:
ir_ret.append(make_setter(dst, ir_node))
In Expr.handle_external_call(), the following branch is
unreachable given that the logic in ExprVisitor.visit_Call()
prevents to have an extcall or staticcall calling a builtin:
if isinstance(func_t, BuiltinFunctionT):
return func_t.build_IR(call_node, context)
Version Information
vyper Version (output of): vyperlang/vyper@b43fface148b45cbd2c90b5d24f77398a63745b5
vyper --version
OR linkable commit hash vyperlang/vyper@Issue Description
abi_encode()
, the following branch is unreachable given that ifir_node.typ.is_prim_word
,abi_encoding_matches_vyper(ir_node.typ)
will always evaluate to true and the "fast path" will be taken before reaching this branch.Expr.handle_external_call()
, the following branch is unreachable given that the logic inExprVisitor.visit_Call()
prevents to have anextcall
orstaticcall
calling a builtin: