pub fn expr_reads_sender<'gcx>(
gcx: Gcx<'gcx>,
expr: &Expr<'_>,
seen: &mut HashSet<FunctionId>,
aliases: &HashSet<VariableId>,
) -> boolExpand description
Whether expr reads msg.sender/tx.origin, one of aliases, or calls a user function that
reads the sender.