Destroy the buffer. * @param b a buffer created with yy_create_buffer() * */
| 1557 | * |
| 1558 | */ |
| 1559 | void yy_delete_buffer (YY_BUFFER_STATE b ) |
| 1560 | { |
| 1561 | |
| 1562 | if ( ! b ) |
| 1563 | return; |
| 1564 | |
| 1565 | if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ |
| 1566 | YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; |
| 1567 | |
| 1568 | if ( b->yy_is_our_buffer ) |
| 1569 | yyfree( (void *) b->yy_ch_buf ); |
| 1570 | |
| 1571 | yyfree( (void *) b ); |
| 1572 | } |
| 1573 | |
| 1574 | /* Initializes or reinitializes a buffer. |
| 1575 | * This function is sometimes called more than once on the same buffer, |
no outgoing calls
no test coverage detected