Update Clade to do not filter out options enabling error messages about implicit function declarations
Sometimes users forget to add declarations for functions invoked in their models, e.g. by including appropriate headers. This can result in weird failures and trash during running Frama-C (CIL) or even later at verification (this will not the case after updating CIF - https://forge.ispras.ru/issues/10927).
Unfortunately, we can not turn on something like "-Wall -Werror" since models can include project headers and GCC may report errors for them while we would not like to fix them. We can try to consider those "-Werror" options that are used for building the Linux kernel or any other projects since these options should not result in any extra errors for headers while they can do so for models.
Hopefully, Clade 3.4.8 does not filter out options enabling error messages about implicit function declarations. So, we need to update it and fix appropriate errors if so.
Updated by Evgeny Novikov 10 months ago
- Subject changed from Try to enable Linux kernel "-Werror" options at processing of all kinds of models to Update Clade to do not filter out options enabling error messages about implicit function declarations
- Description updated (diff)
- Status changed from New to Closed
It turned out that existing models missed the only function declaration for external_allocated_data(). After adding it tests passed, so, I merged the branch to master in 16e070124.