svf-tools 1.0.427 → 1.0.430

package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html

@@ -99,14 +99,22 @@ Typedefs</h2></td></tr>
 <tr class="separator:a66b2dbc1be121511c3b5b264f94558d3"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a60115de303225d173fb935cf7619a2cb"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstantExpr&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">ConstantExpr</a></td></tr>
 <tr class="separator:a60115de303225d173fb935cf7619a2cb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e06fe1b4b25113ac322dbeda71055dc"><td class="memItemLeft" align="right" valign="top">typedef llvm::AllocaInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">AllocaInst</a></td></tr>
+<tr class="separator:a5e06fe1b4b25113ac322dbeda71055dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abafbd655050c8c70dc8947997c369294"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicCmpXchgInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">AtomicCmpXchgInst</a></td></tr>
 <tr class="separator:abafbd655050c8c70dc8947997c369294"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab3bd63fdab8cc747227a32f88bd10370"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicRMWInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">AtomicRMWInst</a></td></tr>
 <tr class="separator:ab3bd63fdab8cc747227a32f88bd10370"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab8cddf2ff868c0a9ae99483640c9ecef"><td class="memItemLeft" align="right" valign="top">typedef llvm::BitCastInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">BitCastInst</a></td></tr>
 <tr class="separator:ab8cddf2ff868c0a9ae99483640c9ecef"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adeac5db1db4ed03898d30f205fd02264"><td class="memItemLeft" align="right" valign="top">typedef llvm::BranchInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BranchInst</a></td></tr>
+<tr class="separator:adeac5db1db4ed03898d30f205fd02264"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a55ac065a1d559c907908492c6853dd53"><td class="memItemLeft" align="right" valign="top">typedef llvm::SwitchInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">SwitchInst</a></td></tr>
+<tr class="separator:a55ac065a1d559c907908492c6853dd53"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ada7ea2b41c600e036569e18bd0719270"><td class="memItemLeft" align="right" valign="top">typedef llvm::CallBrInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">CallBrInst</a></td></tr>
 <tr class="separator:ada7ea2b41c600e036569e18bd0719270"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af386dbc3b9c4325443a15b07038e8386"><td class="memItemLeft" align="right" valign="top">typedef llvm::ReturnInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">ReturnInst</a></td></tr>
+<tr class="separator:af386dbc3b9c4325443a15b07038e8386"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a20b13f90796ee748f58e6c5faa7c63da"><td class="memItemLeft" align="right" valign="top">typedef llvm::CastInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">CastInst</a></td></tr>
 <tr class="separator:a20b13f90796ee748f58e6c5faa7c63da"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a02550b1e1110f4cfca868603ce243564"><td class="memItemLeft" align="right" valign="top">typedef llvm::CmpInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">CmpInst</a></td></tr>
@@ -153,8 +161,26 @@ Typedefs</h2></td></tr>
 <tr class="separator:ab58e9b290ff1defcedad101c3da8d8fd"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab6cb332bc04ab932cba29fa9c9d5f3b2"><td class="memItemLeft" align="right" valign="top">typedef llvm::UnaryOperator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#ab6cb332bc04ab932cba29fa9c9d5f3b2">UnaryOperator</a></td></tr>
 <tr class="separator:ab6cb332bc04ab932cba29fa9c9d5f3b2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1ab5636908738dc0987bc642604cbb4a"><td class="memItemLeft" align="right" valign="top">typedef llvm::UndefValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">UndefValue</a></td></tr>
+<tr class="separator:a1ab5636908738dc0987bc642604cbb4a"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Typedef Documentation</h2>
+<a id="a5e06fe1b4b25113ac322dbeda71055dc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5e06fe1b4b25113ac322dbeda71055dc">&#9670;&nbsp;</a></span>AllocaInst</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::AllocaInst <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">AllocaInst</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00030">30</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
+</div>
+</div>
 <a id="abafbd655050c8c70dc8947997c369294"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#abafbd655050c8c70dc8947997c369294">&#9670;&nbsp;</a></span>AtomicCmpXchgInst</h2>
 
@@ -167,7 +193,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00030">30</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00031">31</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -183,7 +209,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00031">31</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00032">32</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -199,7 +225,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00055">55</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00059">59</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -215,7 +241,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00032">32</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00033">33</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -233,6 +259,22 @@ Typedefs</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00016">16</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
+</div>
+</div>
+<a id="adeac5db1db4ed03898d30f205fd02264"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adeac5db1db4ed03898d30f205fd02264">&#9670;&nbsp;</a></span>BranchInst</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::BranchInst <a class="el" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BranchInst</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00034">34</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
 </div>
 </div>
 <a id="ada7ea2b41c600e036569e18bd0719270"></a>
@@ -247,7 +289,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00033">33</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00036">36</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -263,7 +305,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00034">34</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00038">38</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -279,7 +321,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00035">35</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00039">39</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -375,7 +417,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00037">37</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00041">41</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -391,7 +433,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00036">36</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00040">40</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -407,7 +449,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00044">44</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00048">48</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -423,7 +465,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00045">45</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -439,7 +481,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00038">38</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00042">42</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -455,7 +497,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00051">51</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -471,7 +513,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00043">43</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -487,7 +529,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00042">42</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00046">46</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -503,7 +545,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00039">39</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00043">43</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -519,7 +561,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00048">48</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -567,7 +609,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00041">41</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00045">45</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -583,7 +625,23 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00053">53</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
+</div>
+</div>
+<a id="af386dbc3b9c4325443a15b07038e8386"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af386dbc3b9c4325443a15b07038e8386">&#9670;&nbsp;</a></span>ReturnInst</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::ReturnInst <a class="el" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">ReturnInst</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00037">37</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -599,7 +657,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00050">50</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -615,7 +673,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00040">40</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00044">44</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -649,6 +707,22 @@ Typedefs</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00019">19</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
+</div>
+</div>
+<a id="a55ac065a1d559c907908492c6853dd53"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a55ac065a1d559c907908492c6853dd53">&#9670;&nbsp;</a></span>SwitchInst</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::SwitchInst <a class="el" href="SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53">SwitchInst</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00035">35</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
 </div>
 </div>
 <a id="ab6cb332bc04ab932cba29fa9c9d5f3b2"></a>
@@ -663,7 +737,23 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00060">60</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+
+</div>
+</div>
+<a id="a1ab5636908738dc0987bc642604cbb4a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1ab5636908738dc0987bc642604cbb4a">&#9670;&nbsp;</a></span>UndefValue</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::UndefValue <a class="el" href="SVF-FE_2BasicTypes_8h.html#a1ab5636908738dc0987bc642604cbb4a">UndefValue</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -679,7 +769,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00046">46</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00050">50</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -695,7 +785,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00051">51</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00055">55</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -711,7 +801,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -727,7 +817,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00053">53</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -743,7 +833,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00058">58</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>