Interrupts on DUE. Odd behaviour of attachinterrupt()

Oh, wait, this doesn't configure pins, just the IRQ status. The same thing should apply to interrupt status flags. It's normal that you need to clear them. There may be cases (not saying I can say which) where you don't want to alter those.

Probably, in the case of other interrupts like an input pin interrupt, the hardware itself clears the IRQ flags.