Removes and deletes the top of the stack, if present. * The next element becomes the new top. * */
| 3585 | * |
| 3586 | */ |
| 3587 | void yypop_buffer_state (void) |
| 3588 | { |
| 3589 | if (!YY_CURRENT_BUFFER) |
| 3590 | return; |
| 3591 | |
| 3592 | yy_delete_buffer(YY_CURRENT_BUFFER ); |
| 3593 | YY_CURRENT_BUFFER_LVALUE = NULL; |
| 3594 | if ((yy_buffer_stack_top) > 0) |
| 3595 | --(yy_buffer_stack_top); |
| 3596 | |
| 3597 | if (YY_CURRENT_BUFFER) { |
| 3598 | yy_load_buffer_state( ); |
| 3599 | (yy_did_buffer_switch_on_eof) = 1; |
| 3600 | } |
| 3601 | } |
| 3602 | |
| 3603 | /* Allocates the stack if it does not exist. |
| 3604 | * Guarantees space for at least one push. |
no test coverage detected