Re: font-lock-comment-delimiter-face

[Richard Stallman]

    (with-temp-buffer
      (insert " ;")
      (backward-char)
      (looking-at "\\(\\(^\\|[^\\\\\n]\\)\\(\\\\\\\\\\)*\\);+ *"))

    (with-temp-buffer
      (insert " ;;")
      (backward-char 2)
      (looking-at "\\(\\(^\\|[^\\\\\n]\\)\\(\\\\\\\\\\)*\\);+ *"))

    Shouldn't both examples return the same value?

For that regexp, it is clear that they should NOT both return
the same value.

As for whether it is correct to use that regexp for comment-start-skip,
I am not sure, but I don't see a bug in it as of now.