Fix PR3281:crash08.ll with this diagnostic: