- ia32_assign_exc_label() cannot take a const node: this fixes some warning