Function writes_bad_vaddr 

pub const fn writes_bad_vaddr(exc: Exception) -> bool

Does this exception write BadVAddr?

Only address errors and TLB exceptions. UM §6.3.2 (p. 164) carries an explicit Caution that a Bus Error does not write it, because a bus error is not an address error — the address was fine, the transaction failed.