Many MISRA fixes

Added macros to mark deliberately unevaluated code and possibly constant expressions.

Signed-off-by: Abramo Bagnara abramo.bagnara@bugseng.com