Project

General

Profile

Actions

Feature #10924

closed

Update Clade to do not filter out options enabling error messages about implicit function declarations

Added by Evgeny Novikov 10 months ago. Updated 10 months ago.

Status:
Closed
Priority:
High
Category:
Tasks generation
Target version:
Start date:
09/03/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

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.

Actions #1

Updated by Evgeny Novikov 10 months ago

  • Subject changed from Turn on "-Werror=implicit-function-declaration" at processing of all kinds of models to Try to enable "-Wall -Wextra" at processing of all kinds of models
  • Description updated (diff)
Actions #2

Updated by Evgeny Novikov 10 months ago

  • Subject changed from Try to enable "-Wall -Wextra" at processing of all kinds of models to Try to enable "-Wall -Werror" at processing of all kinds of models
Actions #3

Updated by Evgeny Novikov 10 months ago

  • Blocks Feature #10926: Try to enable "-Wextra -Werror" at processing of all kinds of models added
Actions #4

Updated by Evgeny Novikov 10 months ago

  • Blocks deleted (Feature #10926: Try to enable "-Wextra -Werror" at processing of all kinds of models)
Actions #5

Updated by Evgeny Novikov 10 months ago

  • Subject changed from Try to enable "-Wall -Werror" at processing of all kinds of models to Try to enable Linux kernel "-Werror" options at processing of all kinds of models
  • Description updated (diff)
Actions #6

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.

Actions

Also available in: Atom PDF