Removes and deletes the top of the stack, if present. * The next element becomes the new top. * */
| 4851 | * |
| 4852 | */ |
| 4853 | void msyypop_buffer_state (void) |
| 4854 | { |
| 4855 | if (!YY_CURRENT_BUFFER) |
| 4856 | return; |
| 4857 | |
| 4858 | msyy_delete_buffer(YY_CURRENT_BUFFER ); |
| 4859 | YY_CURRENT_BUFFER_LVALUE = NULL; |
| 4860 | if ((yy_buffer_stack_top) > 0) |
| 4861 | --(yy_buffer_stack_top); |
| 4862 | |
| 4863 | if (YY_CURRENT_BUFFER) { |
| 4864 | msyy_load_buffer_state( ); |
| 4865 | (yy_did_buffer_switch_on_eof) = 1; |
| 4866 | } |
| 4867 | } |
| 4868 | |
| 4869 | /* Allocates the stack if it does not exist. |
| 4870 | * Guarantees space for at least one push. |
no test coverage detected