Interrupts on DUE. Odd behaviour of attachinterrupt()

No example code can be comprehensive. I think you would find that those examples work because they don't behave like this special case. The special case should be documented there. If it isn't, that is a problem...