Assert needs abstraction
In scope of Zephyr > V2.5.0 (for example), the minimal footprint builds may lead to resolving assert(ccc)
to nothing.
In many cases of S2OPC code, the assert contains the only reference to a result.
result = f();
assert (result == 0);
As a consequence on those builds all these cases lead to a warning for unused variable.
PS: Of course another issue is that some side-effect code migth simply be lost. (forbidden by coding rules but not automatically checked). But I do not see any way to automate that checks. See #573 (closed) for history on that subject
Edited by Jérémie Chabod