<html>
    <head>
      <base href="https://bugs.webkit.org/" />
    </head>
    <body>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - check-webkit-style: fix false-positive warnings about using #pragma once header guard"
   href="https://bugs.webkit.org/show_bug.cgi?id=163575#c5">Comment # 5</a>
              on <a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - check-webkit-style: fix false-positive warnings about using #pragma once header guard"
   href="https://bugs.webkit.org/show_bug.cgi?id=163575">bug 163575</a>
              from <span class="vcard"><a class="email" href="mailto:beidson&#64;apple.com" title="Brady Eidson &lt;beidson&#64;apple.com&gt;"> <span class="fn">Brady Eidson</span></a>
</span></b>
        <pre>(In reply to <a href="show_bug.cgi?id=163575#c3">comment #3</a>)
<span class="quote">&gt; &gt; Headers without guards are clearly okay (as if they weren't okay then the
&gt; &gt; builds would be failing)
&gt; 
&gt; It would be nice to detect and warn when a header is missing header guards
&gt; that _should_ have header guards. A build may succeed if its missing, but
&gt; later when someone else double includes the header it could fail.</span >

Yah, I guess that was the unspoken subtext of what I meant.

I also am not sure what the actual compiler error is when you double include a header - Whether it's unintelligible random errors, or if the compiler explicitly points it out.

In the later case, I think it'd be fine to just ignore it until an error pops up.</pre>
        </div>
      </p>
      <hr>
      <span>You are receiving this mail because:</span>
      
      <ul>
          <li>You are the assignee for the bug.</li>
      </ul>
    </body>
</html>