Project

General

Profile

Bug #10120

Do not include stddef.h for kernel space

Added by Evgeny Novikov 3 months ago. Updated 2 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment model
Target version:
Start date:
02/13/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

To have size_t declaration jobs/specifications/verifier/memory.h includes stddef.h that is a compiler header. It works well for the Linux kernel almost always, but there are some tricky conflicts, e.g. "include/linux/nls.h:18:13: error: conflicting types for ‘wchar_t’". Because of this Weaver fails at checking more than 60 modules. See the list of modules in attachments.


Files

big.json (1.76 KB) big.json Evgeny Novikov, 02/13/2020 04:58 PM

History

#1

Updated by Evgeny Novikov 3 months ago

#2

Updated by Evgeny Novikov 3 months ago

  • Assignee changed from Evgeny Novikov to Ilja Zakharov

I suggest to think about this to Ilja since he was a primary consumer in user space thus far.

#3

Updated by Ilja Zakharov 3 months ago

  • Status changed from New to Resolved

Implemented in 10120-stddef.

#4

Updated by Evgeny Novikov 2 months ago

  • Status changed from Resolved to Closed

Tests passed. Besides, I checked that there is not the previous error at least for 3 of modules from the attached list. After all, I merged the branch to master in 501c73c67.

Also available in: Atom PDF