Destroy the buffer. * @param b a buffer created with yy_create_buffer() * */
| 3479 | * |
| 3480 | */ |
| 3481 | void yy_delete_buffer (YY_BUFFER_STATE b ) |
| 3482 | { |
| 3483 | |
| 3484 | if ( ! b ) |
| 3485 | return; |
| 3486 | |
| 3487 | if ( b == YY_CURRENT_BUFFER ) /* Not sure if we should pop here. */ |
| 3488 | YY_CURRENT_BUFFER_LVALUE = (YY_BUFFER_STATE) 0; |
| 3489 | |
| 3490 | if ( b->yy_is_our_buffer ) |
| 3491 | yyfree( (void *) b->yy_ch_buf ); |
| 3492 | |
| 3493 | yyfree( (void *) b ); |
| 3494 | } |
| 3495 | |
| 3496 | /* Initializes or reinitializes a buffer. |
| 3497 | * This function is sometimes called more than once on the same buffer, |
no test coverage detected