Project

General

Profile

Actions
Copy link

Bug #10120

closed

Do not include stddef.h for kernel space

Added by Evgeny Novikov almost 5 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
3.0
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
Actions
Copy link
 #1

Updated by Evgeny Novikov almost 5 years ago

Actions
Copy link
 #2

Updated by Evgeny Novikov almost 5 years 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.

Actions
Copy link
 #3

Updated by Ilja Zakharov almost 5 years ago

  • Status changed from New to Resolved

Implemented in 10120-stddef.

Actions
Copy link
 #4

Updated by Evgeny Novikov almost 5 years 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.

Actions
Copy link

Also available in: Atom PDF