Fábio Coutada
7855eab092
MAJOR MILESTONE: Successfully imported complete PikeOS 5.0 ecosystem from Virtual Machine 100 (devvm-arch) on gigabyte Proxmox server. Import Summary: - Source Code: 4.3GB, 63,441 files, 14,829 C/C++/H files - Documentation: 78MB, 37+ PDF manuals covering all PikeOS aspects - XSD Schemas: 1.8MB, 158 schema files for configuration/code generation - Test Framework: Complete TFW infrastructure in src/tfw/ Key Components: ✅ Multi-architecture kernels (ARM v7/v8, PowerPC e500/e500mc/e5500, x86_64) ✅ Core source libraries (libstand, ssw, p4ext) ✅ Complete test framework with executables, includes, libraries ✅ 37+ comprehensive PDF documentation (installation, development, platform manuals) ✅ 158 XSD schemas for Eclipse-based code generation and configuration ✅ AUTOSAR/MISRA safety-critical compliance foundation ✅ Hardware virtualization support ✅ Eclipse IDE project configuration (.project, .cproject) Documentation Categories: - Installation & User Guides (pikeos-installation-guide.pdf, user manuals) - Development References (kernel, driver, test framework manuals) - API & Programming (C/C++ environments, native API extensions) - Platform Manuals (ARM, PowerPC, x86 specific guides) - CDK Documentation (gcc, binutils, ld, cpp internals) - Release Notes (all components for 5.0.3) - Specialized Topics (hardware virtualization, POSIX compliance) Technical Achievements: ✅ Complete PikeOS 5.0 codebase across multiple processor architectures ✅ Safety-critical foundation with AUTOSAR/MISRA compliance ✅ Eclipse IDE integration with XSD-driven code generation pipeline ✅ Comprehensive test framework for validation and verification ✅ Complete documentation covering development, deployment, and optimization Extraction Method: - Source: VM 100 (devvm-arch) on gigabyte server (192.168.0.104) - Method: Direct LVM disk mount via losetup, rsync transfer - Size: Total 4.4GB extracted and organized Next Phases: - Phase 3: XSD Workflow Analysis (Day 8-10) - Phase 4: Safety Standards Compliance Documentation (Day 11-12) - Phase 5: Component Categorization (Day 13-14) - Phase 6: Aurelio Brain Test (Day 15) Co-Authored-By: Claude <noreply@anthropic.com>
84 lines
22 KiB
HTML
84 lines
22 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
|
|
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
|
|
<meta name="generator" content="Doxygen 1.8.13"/>
|
|
<meta name="viewport" content="width=device-width, initial-scale=1"/>
|
|
<title>assert.h Source File</title>
|
|
<link href="tabs.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="jquery.js"></script>
|
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
<link href="navtree.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="resize.js"></script>
|
|
<script type="text/javascript" src="navtreedata.js"></script>
|
|
<script type="text/javascript" src="navtree.js"></script>
|
|
<script type="text/javascript">
|
|
$(document).ready(initResizable);
|
|
</script>
|
|
<link href="search/search.css" rel="stylesheet" type="text/css"/>
|
|
<script type="text/javascript" src="search/searchdata.js"></script>
|
|
<script type="text/javascript" src="search/search.js"></script>
|
|
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
</head>
|
|
<body>
|
|
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
<!-- end header part -->
|
|
<!-- Generated by Doxygen 1.8.13 -->
|
|
<script type="text/javascript">
|
|
var searchBox = new SearchBox("searchBox", "search",false,'Search');
|
|
</script>
|
|
<script type="text/javascript" src="menudata.js"></script>
|
|
<script type="text/javascript" src="menu.js"></script>
|
|
<script type="text/javascript">
|
|
$(function() {
|
|
initMenu('',true,false,'search.php','Search');
|
|
$(document).ready(function() { init_search(); });
|
|
});
|
|
</script>
|
|
<div id="main-nav"></div>
|
|
</div><!-- top -->
|
|
<div id="side-nav" class="ui-resizable side-nav-resizable">
|
|
<div id="nav-tree">
|
|
<div id="nav-tree-contents">
|
|
<div id="nav-sync" class="sync"></div>
|
|
</div>
|
|
</div>
|
|
<div id="splitbar" style="-moz-user-select:none;"
|
|
class="ui-resizable-handle">
|
|
</div>
|
|
</div>
|
|
<script type="text/javascript">
|
|
$(document).ready(function(){initNavTree('assert_8h_source.html','');});
|
|
</script>
|
|
<div id="doc-content">
|
|
<!-- window showing the filter options -->
|
|
<div id="MSearchSelectWindow"
|
|
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
</div>
|
|
|
|
<!-- iframe showing the search results (closed by default) -->
|
|
<div id="MSearchResultsWindow">
|
|
<iframe src="javascript:void(0)" frameborder="0"
|
|
name="MSearchResults" id="MSearchResults">
|
|
</iframe>
|
|
</div>
|
|
|
|
<div class="header">
|
|
<div class="headertitle">
|
|
<div class="title">assert.h</div> </div>
|
|
</div><!--header-->
|
|
<div class="contents">
|
|
<a href="assert_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="preprocessor">#ifndef P4X_STAND_ASSERT_H</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="preprocessor">#define P4X_STAND_ASSERT_H</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> </div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">/* -------------------------- FILE PROLOGUE -------------------------------- */</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment"></span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">/**</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="comment"> * @if INCLUDE_HEADER</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment"> * @copyright</span></div><div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment"> * (C) Copyright SYSGO AG.</span></div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="comment"> * Klein-Winternheim, Germany</span></div><div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="comment"> * All rights reserved.</span></div><div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="comment"> * @endif</span></div><div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="comment"> *</span></div><div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment"> * @file</span></div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment"> * assert.h</span></div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment"> *</span></div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> <span class="comment"> * @purpose</span></div><div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment"> * libstand ANSI C assert function</span></div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment"> *</span></div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment"> * @if INCLUDE_HEADER</span></div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment"> * @cfg_management</span></div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> <span class="comment"> * $Id: include/stand/assert.h 2019-04-09 14:56:40 +0200 7b2b5ff2b42b3cb5020b236bac32d132929a66fe $</span></div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment"> * $Author$</span></div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment"> * $Date$</span></div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> * $Revision$</span></div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment"> * $State$</span></div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span> <span class="comment"> * @endif</span></div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="comment"></span></div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="comment">/** @addtogroup assert</span></div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="comment"> * @{</span></div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span> <span class="comment"> */</span></div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span> </div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span> <span class="comment">/* -------------------------- MACRO DEFINITIONS ---------------------------- */</span></div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span> </div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span> <span class="comment">/* NOTE: this file is logically a compiler-owned file. */</span></div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span> <span class="comment">/* RULECHECKER_suppress(check_reserved_identifier) */</span></div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span> </div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span> <span class="preprocessor">#ifndef DOXYGEN</span></div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span> </div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> <span class="preprocessor">#ifdef __clang__</span></div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span> <span class="preprocessor">#define _stand_clang_pragma(X) _Pragma(X)</span></div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span> <span class="preprocessor">#else</span></div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span> <span class="preprocessor">#define _stand_clang_pragma(X)</span></div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span> <span class="preprocessor">#endif</span></div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span> </div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span> <span class="preprocessor">#ifdef __GNUC__</span></div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span> <span class="preprocessor">#define _stand_gcc_pragma(X) _Pragma(X)</span></div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span> <span class="preprocessor">#else</span></div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span> <span class="preprocessor">#define _stand_gcc_pragma(X)</span></div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span> <span class="preprocessor">#endif</span></div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span> </div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span> <span class="preprocessor">#endif </span><span class="comment">/* DOXYGEN */</span><span class="preprocessor"></span></div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span> </div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span> <span class="preprocessor">#ifndef NDEBUG</span></div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span> <span class="comment"></span></div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span> <span class="comment">/**</span></div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span> <span class="comment"> * Macro to check at runtime that a condition is true.</span></div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span> <span class="comment"> *</span></div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span> <span class="comment"> * If the condition is not true, an assertion failure will be raised,</span></div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span> <span class="comment"> * ending execution of the current executable. The assertion failure</span></div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span> <span class="comment"> * is raised by the runtime environment, e.g., when using libvm, i.e.,</span></div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span> <span class="comment"> * in applications and in external file providers and in volume providers,</span></div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span> <span class="comment"> * libvm contains the assertion failure function and will, after</span></div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span> <span class="comment"> * printing an error message, halt the current partition. In kernel code,</span></div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span> <span class="comment"> * e.g. in kernel drivers, the kernel will raise a kernel level health</span></div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span> <span class="comment"> * monitoring event when an assertion failure</span></div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span> <span class="comment"> * is triggered. In system extensions, the PSSW will raise a health</span></div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> <span class="comment"> * monitoring event when an assertion failure is triggered.</span></div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span> <span class="comment"> */</span></div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="group__assert.html#gaf576bf8ffa22a44e53018c67095ffbf0"> 71</a></span> <span class="preprocessor"># define assert(x) \</span></div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span> <span class="preprocessor"> _stand_clang_pragma("clang diagnostic push") \</span></div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span> <span class="preprocessor"> _stand_clang_pragma("clang diagnostic ignored \"-Wtautological-compare\"") \</span></div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span> <span class="preprocessor"> __extension__({ \</span></div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span> <span class="preprocessor"> _stand_gcc_pragma("GCC diagnostic push") \</span></div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> <span class="preprocessor"> _stand_gcc_pragma("GCC diagnostic ignored \"-Wtautological-compare\"") \</span></div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span> <span class="preprocessor"> _stand_gcc_pragma("GCC diagnostic ignored \"-Wtype-limits\"") \</span></div><div class="line"><a name="l00078"></a><span class="lineno"> 78</span> <span class="preprocessor"> ; do{ \</span></div><div class="line"><a name="l00079"></a><span class="lineno"> 79</span> <span class="preprocessor"> if (x) {} \</span></div><div class="line"><a name="l00080"></a><span class="lineno"> 80</span> <span class="preprocessor"> else { \</span></div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span> <span class="preprocessor"> __assert_fail( \</span></div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span> <span class="preprocessor"> __FUNCTION__, __FILE__, __LINE__, #x); \</span></div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span> <span class="preprocessor"> } \</span></div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span> <span class="preprocessor"> }while(0); \</span></div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span> <span class="preprocessor"> _stand_gcc_pragma("GCC diagnostic pop") \</span></div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span> <span class="preprocessor"> }) \</span></div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span> <span class="preprocessor"> _stand_clang_pragma("clang diagnostic pop")</span></div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span> </div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span> <span class="comment">/* Note:</span></div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span> <span class="comment"> * The previous macro uses ({if(x){}else{...}}) instead of ((x)?0:...)</span></div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span> <span class="comment"> * so that gcc's -Wparentheses warns about assignments used as conditions,</span></div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span> <span class="comment"> * as in 'assert(a = NULL)' which should probably be 'assert(a == NULL)'.</span></div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span> <span class="comment"> * In ?:, the warning is not enabled. And for the same reason, it does not</span></div><div class="line"><a name="l00094"></a><span class="lineno"> 94</span> <span class="comment"> * use if(!(X)), because that also disables the warning.</span></div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span> <span class="comment"> * For compilers not supporting ({ }), ?: can be used instead.</span></div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span> <span class="comment"> * Note that this assert() should be an expression, not a statement, otherwise,</span></div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span> <span class="comment"> * we would not need neither ({...}) nor ?: in the first place.</span></div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span> <span class="comment"> */</span></div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span> </div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span> <span class="preprocessor">#else</span></div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span> </div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span> <span class="preprocessor"># define assert(x) ((void)0)</span></div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span> </div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> <span class="preprocessor">#endif</span></div><div class="line"><a name="l00105"></a><span class="lineno"> 105</span> </div><div class="line"><a name="l00106"></a><span class="lineno"> 106</span> <span class="preprocessor">#ifndef DOXYGEN</span></div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span> <span class="comment"></span></div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span> <span class="comment">/**</span></div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span> <span class="comment"> * The internal function __assert_fail() must be implemented by the</span></div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span> <span class="comment"> * environment, i.e., either libvm or the kernel.</span></div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span> <span class="comment"> *</span></div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span> <span class="comment"> * This function should be available in such a way that the linker</span></div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span> <span class="comment"> * can remove it if it's not used. Its presence should not depend</span></div><div class="line"><a name="l00114"></a><span class="lineno"> 114</span> <span class="comment"> * on NDEBUG since libraries may be compiled with different NDEBUG</span></div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span> <span class="comment"> * flags. The removal in case the function is not used is up to</span></div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span> <span class="comment"> * the linker. (To avoid dead-code, put this function in its own</span></div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span> <span class="comment"> * .o file.)</span></div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span> <span class="comment"> */</span></div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span> <span class="keyword">extern</span> <span class="keywordtype">void</span> __assert_fail(</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <span class="keyword">const</span> <span class="keywordtype">char</span> *func, <span class="keyword">const</span> <span class="keywordtype">char</span> *file, <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> line, <span class="keyword">const</span> <span class="keywordtype">char</span> *msg);</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span> </div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span> <span class="preprocessor">#endif </span><span class="comment">/* DOXYGEN */</span><span class="preprocessor"></span></div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span> <span class="comment"></span></div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span> <span class="comment">/** @}</span></div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span> <span class="comment"> * End of group "assert"</span></div><div class="line"><a name="l00126"></a><span class="lineno"> 126</span> <span class="comment"> */</span></div><div class="line"><a name="l00127"></a><span class="lineno"> 127</span> </div><div class="line"><a name="l00128"></a><span class="lineno"> 128</span> <span class="preprocessor">#endif </span><span class="comment">/* P4X_STAND_ASSERT_H */</span><span class="preprocessor"></span></div></div><!-- fragment --></div><!-- contents -->
|
|
</div><!-- doc-content -->
|
|
<!-- start footer part -->
|
|
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
|
|
<ul>
|
|
<li class="navelem"><a class="el" href="dir_a5c23e4d4d2f2652fc21caa9afd4c5c7.html">opt</a></li><li class="navelem"><a class="el" href="dir_435533676c28ab3bbada0316da160146.html">pikeos-D5.0</a></li><li class="navelem"><a class="el" href="dir_48b8b87fe66c38ce4d22fbc9231439a9.html">build</a></li><li class="navelem"><a class="el" href="dir_4090a5462cff037c2a1aae8e8de3b5f7.html">doc</a></li><li class="navelem"><a class="el" href="dir_8b75505d31a61e38f88d1ca4f4b0d255.html">libstand</a></li><li class="navelem"><a class="el" href="dir_3253d4c6a353eff5adb5aeb949e5a27d.html">include</a></li><li class="navelem"><a class="el" href="dir_aaf8613036f4e96cc302b7ae8d665925.html">stand</a></li><li class="navelem"><a class="el" href="assert_8h.html">assert.h</a></li>
|
|
<li class="footer">(C) Copyright SYSGO AG</li>
|
|
</ul>
|
|
</div>
|
|
</body>
|
|
</html>
|