Support the widely used "#pragma once" directive
Most compilers support the "#pragma once" directive. It would be very helpful if lint supports this directive too.
Hi Christian, we actually do support a number of pragmas, including #pragma once. Support can be enabled using the option +pragma(once,once) and is enabled by default when using -cmsc. Please see Section 5.8.7 of the Reference Manual for details.