search

bao-project / bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor
Apache License 2.0
379 stars 128 forks source link

feat(c11): Add additional warning flags #147

Closed miguelafsilva5 closed 6 months ago

miguelafsilva5 commented 6 months ago

This PR introduces several compiler flags that issue warnings from additional sources. The goal of these flags is to help complying with some MISRA directives. The flags include: forcing explicit casts, adding missing protypes, removing unused macros and functions, etc.

This PR depends on #146

The code was tested in the following platforms:

DavidMCerdeira commented 6 months ago

@miguelafsilva5 note that one of the checks is failing

miguelafsilva5 commented 6 months ago

@miguelafsilva5 note that one of the checks is failing

The code was not formatted properly. It is fixed in the recent commits.

josecm commented 6 months ago

@miguelafsilva5 this is not compiling for the fvp-a-aarch32 platform.