Gracias Nocturno, ahora creo que sí lo entiendo. La cuestión es que el PWM está regido por el timer 2, y el special event trigger afecta al timer1 o timer3, por lo que entiendo que no sería aplicable en mi caso:
Like the standard CCP modules, the ECCP module can
utilize Timers 1, 2 or 3, depending on the mode
selected. Timer1 and Timer3 are available for modules
in Capture or Compare modes, while Timer2 is
available for modules in PWM mode. Interactions
between the standard and Enhanced CCP modules are
identical to those described for standard CCP modules.
Additional details on timer resources are provided in
Section 15.1.1 “CCP Modules and Timer
Resources”.
Otra posibilidad que me han apuntado: parece ser que aunque el pin esté configurado como salida para el PWM, podríamos leer cuál es su valor en cualquier instante, al menos, sí se puede con ASM. He rebuscado en el manual de CCS y creo que la función equivalente sería INPUT_STATE(). ¿Alguien con más experiencia podría confirmármelo?
La cuestión es que parece ser, según me han comentado, que para leer el estado de un pin se produce una cierta demora. ¿alguien sabe dónde aparece esto en el datasheet?
Siento estar tan preguntón...