Re: [edk2] propose 3 new UserExtensions in the INF specification

2016-06-10 Thread Tim Lewis
Jaben -- For the record, I think that continuing to add meta-build information to the .inf files is counter-productive. As a company that has written tools that conform to the grammar, these extensions to an .ini style file format are becoming more and more arcane to parse and process. Some

[edk2] propose 3 new UserExtensions in the INF specification

2016-06-10 Thread Carsey, Jaben
All, I would like to propose 3 new UserExtensions in the INF specification. These would be optional sections that can be used to convey additional information about the module. This additional meta data is not expected to be used by the build. This is used by additional tools to help verify

[edk2] [PATCH v1 2/2] MdePkg/BaseLib: Flag CpuDeadLoop() and CpuBreakpoint() as ANALYZER_NORETURN.

2016-06-10 Thread Marvin Häuser
Add the ANALYZER_NORETURN attribute to CpuDeadLoop() and CpuBreakpoint() to avoid false 'possible NULL-dereference' warnings when dereferencing pointers after having validated them with ASSERT(). As the ANALYZER-prefixed versions are being used, the code following the calls will not be optimized

[edk2] [PATCH v1 1/2] MdePkg: Add NORETURN attribute and UNREACHABLE() macro.

2016-06-10 Thread Marvin Häuser
The NORETURN attribute informs compilers and analyzers that the flagged function cannot return. This may improve the quality of the optimizations. The UNREACHABLE() macro informs compilers and analyzers that its position cannot be reached, for example eliminating implicit returns. It is