SPARK_NO_PREPROCESSOR - unknown pragma

The following Web IDE compiler warning is not causing an issue, but interesting to note:

/workspace//src/r620_mrt.cpp:1170:0: warning: ignoring #pragma SPARK_NO_PREPROCESSOR [-Wunknown-pragmas]
#pragma SPARK_NO_PREPROCESSOR

Is there an alternative?

This is a slightly misleading warning.

The #pragma isn’t really ignored.
This warning is produced by the compiler which doesn’t have anything to do with it anyway, since at the time the compiler gets the code the preventing of the preprocessor-run has already taken place and the compiler has got a completely unaltered source to work with.

Since I have already answered this loads of times before it might be a better way to still execute another preprocessor which only removes this #pragma from the source to prevent the compiler from causing this misunderstanding.

1 Like

@ScruffR, case closed then with thanks!

1 Like

This warning is now be fixed.

1 Like