From: Chris Lattner <sabre@nondot.org>
Date: Sat, 21 Jul 2007 23:43:37 +0000 (+0000)
Subject: Fix a lexer bug where we incorrectly rejected
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8146b6851e873eab71341f1b1d3198894bc4c0ac;p=clang

Fix a lexer bug where we incorrectly rejected
int i = /*/ */ 1;

Thanks to Neil for pointing this out.




git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@40379 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/Lex/Lexer.cpp b/Lex/Lexer.cpp
index 1518d8895c..e92fc94da2 100644
--- a/Lex/Lexer.cpp
+++ b/Lex/Lexer.cpp
@@ -817,13 +817,24 @@ bool Lexer::SkipBlockComment(Token &Result, const char *CurPtr) {
   // we find it, check to see if it was preceeded by a *.  This common
   // optimization helps people who like to put a lot of * characters in their
   // comments.
-  unsigned char C = *CurPtr++;
+
+  // The first character we get with newlines and trigraphs skipped to handle
+  // the degenerate /*/ case below correctly if the * has an escaped newline
+  // after it.
+  unsigned CharSize;
+  unsigned char C = getCharAndSize(CurPtr, CharSize);
+  CurPtr += CharSize;
   if (C == 0 && CurPtr == BufferEnd+1) {
     Diag(BufferPtr, diag::err_unterminated_block_comment);
     BufferPtr = CurPtr-1;
     return true;
   }
   
+  // Check to see if the first character after the '/*' is another /.  If so,
+  // then this slash does not end the block comment, it is part of it.
+  if (C == '/')
+    C = *CurPtr++;
+  
   while (1) {
     // Skip over all non-interesting characters until we find end of buffer or a
     // (probably ending) '/' character.
diff --git a/test/Lexer/block_cmt_end.c b/test/Lexer/block_cmt_end.c
index b111b2a23e..20d9045221 100644
--- a/test/Lexer/block_cmt_end.c
+++ b/test/Lexer/block_cmt_end.c
@@ -6,6 +6,9 @@
   RUN: clang -parse-ast-check %s
  */
 
+// This is a simple comment, /*/ does not end a comment, the trailing */ does.
+int i = /*/ */ 1;
+
 /* abc
 
 next comment ends with normal escaped newline: