On Mon, Jan 06, 2014 at 04:33:49PM -0500, Theodore Ts'o wrote:
> On Mon, Jan 06, 2014 at 12:47:07PM -0800, Josh Triplett wrote:
> > Does anyone have any objection to the use of "#pragma once" instead of
> > the usual #ifndef-#define-...-#endif include guard? GCC, LLVM/clang,
> > and the latest Sparse all support either method just fine. (I added
> > support to Sparse myself.) Both have equivalent performance. "#pragma
> > once" is simpler, and avoids the possibility of a typo in the defined
> > guard symbol.
>
> Does anybody know whether other static code analysis tools such as
> Coverity can handle #pragma once?
Coverity should be fine. If it does break, I'm sure they'd fix it.
Dave
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
