summaryrefslogtreecommitdiff
path: root/flex.skl
diff options
context:
space:
mode:
authorVern Paxson <vern@ee.lbl.gov>1995-04-20 12:46:03 +0000
committerVern Paxson <vern@ee.lbl.gov>1995-04-20 12:46:03 +0000
commit722dd0fd3a88473ecb632e1fb30841c6a7f8bcc8 (patch)
tree014b515dd79c0b305d1e858ff18ca5348c64f1e7 /flex.skl
parent9e90e1b476e812d4a8fcde3e98d18a13ff7ca424 (diff)
yy_delete_buffer allows nil buffer pointer
Diffstat (limited to 'flex.skl')
-rw-r--r--flex.skl3
1 files changed, 3 insertions, 0 deletions
diff --git a/flex.skl b/flex.skl
index 8b408fe..431b408 100644
--- a/flex.skl
+++ b/flex.skl
@@ -1150,6 +1150,9 @@ YY_BUFFER_STATE b;
void yyFlexLexer::yy_delete_buffer( YY_BUFFER_STATE b )
%*
{
+ if ( ! b )
+ return;
+
if ( b == yy_current_buffer )
yy_current_buffer = (YY_BUFFER_STATE) 0;