e80d86ab85
The ECLAIR service STD.emptrecd (which checks for empty structures) is now deprecated. Use STD.anonstct (which checks for structures with no named members, an UB in C99) Based on a change by Nicola Vetrini in the Xen project: https://lists.xenproject.org/archives/html/xen-changelog/2024-12/msg00125.html Signed-off-by: Anas Nashif <anas.nashif@intel.com> |
||
|---|---|---|
| .. | ||
| codechecker | ||
| coverity | ||
| cpptest | ||
| eclair | ||
| gcc | ||
| polyspace | ||
| sparse | ||