user4072: I can use the CTC waveform generation mode to loop to OCRnA and trigger the corresponding TIMER1_COMPA_vect interrupt.
// CTC mode
TCCR1A &= ~(1 << WGM10);
TCCR1A &= ~(1 << WGM11);
TCCR1B |= (1 << WGM12);
TCCR1B &= ~(1 << WGM13);    
TIMSK1 |= (1 << OCIE1A);   
OCR1A = 250;

ISR(TIMER1_COMPA_vect) {}

But if I use CTC mode with ICRn as "TOP" is there a corresponding interrupt vector?
TCCR1A &= ~(1 << WGM10);
TCCR1A &= ~(1 << WGM11);
TCCR1B |= (1 << WGM12);
TCCR1B |= (1 << WGM13);    
TIMSK1 |= (1 << ???);    // which interrupt to enable?
ICR1 = 250;

ISR(???) {}              // which interrupt vector?


user7508: No, there isn't. But you do have a simple alternative: use WGM 14
(fast PWM with TOP = ICR1). Then the TOV1 flag will be set after
the timer reaches TOP:
TIMSK1 |= (1 << TOIE1);  // enable Timer 1 overflow interrupt

ISR(TIMER1_OVF_vect) {}  // Timer 1 overflow vector

Note that this waveform generation mode behaves very much like the CTC
mode. If you do not set any of the COM1 bits in TCCR1A, then there will
be no PWM output.

Edit: My bad. As noted by Gerben and confirmed by you, the
TIMER1_CAPT_vect can be used, and it is specified in the datasheet,
although maybe not very prominently:
In section 17.9.2 “Clear Timer on Compare Match (CTC) Mode”:

An interrupt can be generated at each time the counter value reaches
  the TOP value by either using the OCFnA or ICFn Flag according to the
  register used to define the TOP value.

In section 17.11.40 “TIFR5 – Timer/Counter5 Interrupt Flag Register”, in
the description of bit 5 (Input Capture Flag):

When the Input Capture Register (ICRn) is set by the WGMn3:0 to be
  used as the TOP value, the ICFn Flag is set when the counter reaches
  the TOP value.


user4072: It does actually seem to work with CTC mode and ICRn as TOP, by using the TIMER1_CAPT_vect interrupt.
// CTC mode with ICRn as TOP
TCCR1A &= ~(1 << WGM10);
TCCR1A &= ~(1 << WGM11);
TCCR1B |= (1 << WGM12);
TCCR1B |= (1 << WGM13);

// enable interrupt
TIMSK1 |= (1 << ICIE1);

// TOP value
ICR1 = 100;

// interrupt at TOP
ISR(TIMER1_CAPT_vect) {}


4072: <p>I can use the CTC waveform generation mode to loop to <code>OCRnA</code> and trigger the corresponding <code>TIMER1_COMPA_vect</code> interrupt.</p>

<pre><code>// CTC mode
TCCR1A &amp;= ~(1 &lt;&lt; WGM10);
TCCR1A &amp;= ~(1 &lt;&lt; WGM11);
TCCR1B |= (1 &lt;&lt; WGM12);
TCCR1B &amp;= ~(1 &lt;&lt; WGM13);    
TIMSK1 |= (1 &lt;&lt; OCIE1A);   
OCR1A = 250;

ISR(TIMER1_COMPA_vect) {}
</code></pre>

<p>But if I use CTC mode with <code>ICRn</code> as "TOP" is there a corresponding interrupt vector?</p>

<pre><code>TCCR1A &amp;= ~(1 &lt;&lt; WGM10);
TCCR1A &amp;= ~(1 &lt;&lt; WGM11);
TCCR1B |= (1 &lt;&lt; WGM12);
TCCR1B |= (1 &lt;&lt; WGM13);    
TIMSK1 |= (1 &lt;&lt; ???);    // which interrupt to enable?
ICR1 = 250;

ISR(???) {}              // which interrupt vector?
</code></pre>
 7508: <p><s>No, there isn't.</s> But you do have a simple alternative: use WGM&nbsp;14
(fast PWM with TOP =&nbsp;ICR1). Then the TOV1 flag will be set after
the timer reaches TOP:</p>

<pre class="lang-cpp prettyprint-override"><code>TIMSK1 |= (1 &lt;&lt; TOIE1);  // enable Timer 1 overflow interrupt

ISR(TIMER1_OVF_vect) {}  // Timer 1 overflow vector
</code></pre>

<p>Note that this waveform generation mode behaves very much like the CTC
mode. If you do not set any of the COM1 bits in TCCR1A, then there will
be no PWM output.</p>

<hr>

<p><strong>Edit</strong>: My bad. As noted by Gerben and confirmed by you, the
<code>TIMER1_CAPT_vect</code> can be used, and <em>it is specified in the datasheet</em>,
although maybe not very prominently:</p>

<p>In section 17.9.2 “Clear Timer on Compare Match (CTC) Mode”:</p>

<blockquote>
  <p>An interrupt can be generated at each time the counter value reaches
  the TOP value by either using the OCFnA or ICFn Flag according to the
  register used to define the TOP value.</p>
</blockquote>

<p>In section 17.11.40 “TIFR5 – Timer/Counter5 Interrupt Flag Register”, in
the description of bit 5 (Input Capture Flag):</p>

<blockquote>
  <p>When the Input Capture Register (ICRn) is set by the WGMn3:0 to be
  used as the TOP value, the ICFn Flag is set when the counter reaches
  the TOP value.</p>
</blockquote>
 4072: <p>It does actually seem to work with CTC mode and <code>ICRn</code> as TOP, by using the <code>TIMER1_CAPT_vect</code> interrupt.</p>

<pre><code>// CTC mode with ICRn as TOP
TCCR1A &amp;= ~(1 &lt;&lt; WGM10);
TCCR1A &amp;= ~(1 &lt;&lt; WGM11);
TCCR1B |= (1 &lt;&lt; WGM12);
TCCR1B |= (1 &lt;&lt; WGM13);

// enable interrupt
TIMSK1 |= (1 &lt;&lt; ICIE1);

// TOP value
ICR1 = 100;

// interrupt at TOP
ISR(TIMER1_CAPT_vect) {}
</code></pre>
