svf-tools 1.0.604 → 1.0.606

package/SVF-doxygen/html/html/Casting_8h_source.html

@@ -66,57 +66,57 @@ $(function() {
 <div class="title">Casting.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="Casting_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>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> * Casting.h</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> *  Created on: 19Sep.,2018</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *      Author: yulei</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#ifndef INCLUDE_UTIL_CASTING_H_</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#define INCLUDE_UTIL_CASTING_H_</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="comment">//===- llvm/Support/Casting.h - Allow flexible, checked, casts --*- C++ -*-===//</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">//                     The LLVM Compiler Infrastructure</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// This file is distributed under the University of Illinois Open Source</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="comment">// License. See LICENSE.TXT for details.</span></div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">// This file defines the SVFUtil::isa&lt;X&gt;(), cast&lt;X&gt;(), dyn_cast&lt;X&gt;(), cast_or_null&lt;X&gt;(),</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="comment">// and dyn_cast_or_null&lt;X&gt;() templates.</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="preprocessor">#include &lt;cassert&gt;</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="preprocessor">#include &lt;memory&gt;</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="preprocessor">#include &lt;type_traits&gt;</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="comment">//===-- Part of llvm/Support/Compiler.h - Compiler abstraction support --*- C++ -*-===//</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="comment">// Only use __has_cpp_attribute in C++ mode. GCC defines __has_cpp_attribute in</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="comment">// C mode, but the :: in __has_cpp_attribute(scoped::attribute) is invalid.</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#ifndef LLVM_HAS_CPP_ATTRIBUTE</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#if defined(__cplusplus) &amp;&amp; defined(__has_cpp_attribute)</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor"># define LLVM_HAS_CPP_ATTRIBUTE(x) __has_cpp_attribute(x)</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9">   38</a></span>&#160;<span class="preprocessor"># define LLVM_HAS_CPP_ATTRIBUTE(x) 0</span></div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="comment">// Use the &#39;nodiscard&#39; attribute in C++17 or newer mode.</span></div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="preprocessor">#if defined(__cplusplus) &amp;&amp; __cplusplus &gt; 201402L &amp;&amp; LLVM_HAS_CPP_ATTRIBUTE(nodiscard)</span></div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="preprocessor">#define LLVM_NODISCARD [[nodiscard]]</span></div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="preprocessor">#elif LLVM_HAS_CPP_ATTRIBUTE(clang::warn_unused_result)</span></div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;<span class="preprocessor">#define LLVM_NODISCARD [[clang::warn_unused_result]]</span></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="comment">// Clang in C++14 mode claims that it has the &#39;nodiscard&#39; attribute, but also</span></div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="comment">// warns in the pedantic mode that &#39;nodiscard&#39; is a C++17 extension (PR33518).</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">// Use the &#39;nodiscard&#39; attribute in C++14 mode only with GCC.</span></div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;<span class="comment">// TODO: remove this workaround when PR33518 is resolved.</span></div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="preprocessor">#elif defined(__GNUC__) &amp;&amp; LLVM_HAS_CPP_ATTRIBUTE(nodiscard)</span></div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="preprocessor">#define LLVM_NODISCARD [[nodiscard]]</span></div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">   56</a></span>&#160;<span class="preprocessor">#define LLVM_NODISCARD</span></div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;{</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html">   62</a></span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVFUtil.html">SVFUtil</a></div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;{</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="comment">//===- Part of llvm/Support/type_traits.h - Simplfied type traits -------*- C++ -*-===//</span></div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> T, <span class="keyword">typename</span> Enable = <span class="keywordtype">void</span>&gt;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">   70</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">add_const_past_pointer</a></div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;{</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">   72</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">type</a> = <span class="keyword">const</span> T;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;};</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html">   76</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">add_const_past_pointer</a>&lt;T, <a class="code" href="namespacestd.html">std</a>::enable_if_t&lt;std::is_pointer&lt;T&gt;::value&gt;&gt;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;{</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">   78</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">type</a> = <span class="keyword">const</span> std::remove_pointer_t&lt;T&gt; *;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;};</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> T, <span class="keyword">typename</span> Enable = <span class="keywordtype">void</span>&gt;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">   83</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">add_lvalue_reference_if_not_pointer</a></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;{</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">   85</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">type</a> = T &amp;;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;};</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html">   89</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">add_lvalue_reference_if_not_pointer</a>&lt;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    T, <a class="code" href="namespacestd.html">std</a>::enable_if_t&lt;std::is_pointer&lt;T&gt;::value&gt;&gt;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;{</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">   92</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">type</a> = T;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;};</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;<span class="comment">//                          SVFUtil::isa&lt;x&gt; Support Templates</span></div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;<span class="comment">// Define a template that can be specialized by smart pointers to reflect the</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="comment">// fact that they are automatically dereferenced, and are not involved with the</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;<span class="comment">// template selection process...  the default implementation is a noop.</span></div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type.html">  103</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type</a></div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;{</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">  105</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SimpleType</a> = From; <span class="comment">// The real type this represents...</span></div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <span class="comment">// An accessor to get the real value...</span></div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">  108</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SimpleType</a> &amp;<a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">getSimplifiedValue</a>(From &amp;Val)</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    {</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keywordflow">return</span> Val;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    }</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;};</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html">  114</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type</a>&lt;const From&gt;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;{</div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">  116</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">NonConstSimpleType</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;From&gt;::SimpleType</a>;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531">SimpleType</a> =</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531">  118</a></span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVFUtil::add_const_past_pointer&lt;NonConstSimpleType&gt;::type</a>;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">RetType</a> =</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">  120</a></span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVFUtil::add_lvalue_reference_if_not_pointer&lt;SimpleType&gt;::type</a>;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">  122</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">RetType</a> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">getSimplifiedValue</a>(<span class="keyword">const</span> From&amp; Val)</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    {</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">simplify_type&lt;From&gt;::getSimplifiedValue</a>(const_cast&lt;From&amp;&gt;(Val));</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    }</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;};</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="comment">// The core of the implementation of SVFUtil::isa&lt;X&gt; is here; To and From should be</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="comment">// the names of classes.  This template can be specialized to customize the</span></div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="comment">// implementation of SVFUtil::isa&lt;&gt; without rewriting it from scratch.</span></div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From, <span class="keyword">typename</span> Enabler = <span class="keywordtype">void</span>&gt;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl.html">  132</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;{</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">  134</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    {</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <span class="keywordflow">return</span> To::classof(&amp;Val);</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    }</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;};</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html">  142</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a>&lt;To, From, <a class="code" href="namespacestd.html">std</a>::enable_if_t&lt;std::is_base_of&lt;To, From&gt;::value&gt;&gt;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;{</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc">  144</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc">doit</a>(<span class="keyword">const</span> From &amp;)</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    {</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;};</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">  150</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a></div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;{</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">  152</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;};</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html">  158</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const From&gt;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;{</div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d">  160</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;};</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html">  167</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const <a class="code" href="namespacestd.html">std</a>::unique_ptr&lt;From&gt;&gt;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;{</div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852">  169</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852">doit</a>(<span class="keyword">const</span> std::unique_ptr&lt;From&gt; &amp;Val)</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    {</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    }</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;};</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html">  176</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, From*&gt;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;{</div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0">  178</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;};</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html">  185</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, From*<span class="keyword">const</span>&gt;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;{</div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3">  187</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    {</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;};</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;</div><div class="line"><a name="l00194"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">  194</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const From*&gt;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;{</div><div class="line"><a name="l00196"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab">  196</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    {</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    }</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;};</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;</div><div class="line"><a name="l00203"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html">  203</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const From*<span class="keyword">const</span>&gt;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;{</div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a">  205</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;    }</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;};</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From, <span class="keyword">typename</span> SimpleFrom&gt;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">  213</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a></div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;{</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    <span class="comment">// When From != SimplifiedType, we can simplify the type some more by using</span></div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    <span class="comment">// the simplify_type template.</span></div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">  217</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    {</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a>&lt;To, SimpleFrom,</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;::doit(</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type&lt;const From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;};</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> FromTy&gt;</div><div class="line"><a name="l00226"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">  226</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a>&lt;To, FromTy, FromTy&gt;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;{</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    <span class="comment">// When From == SimpleType, we are as simple as we are going to get.</span></div><div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404">  229</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404">doit</a>(<span class="keyword">const</span> FromTy &amp;Val)</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    {</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To,FromTy&gt;::doit</a>(Val);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;};</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;<span class="comment">// SVFUtil::isa&lt;X&gt; - Return true if the parameter to the template is an instance of the</span></div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;<span class="comment">// template type argument.  Used like this:</span></div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;<span class="comment">//  if (SVFUtil::isa&lt;Type&gt;(myVal)) { ... }</span></div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00240"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">  240</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt; <a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">isa</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;{</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a>&lt;X, <span class="keyword">const</span> Y,</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;           <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;const Y&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;}</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;<span class="comment">//                          cast&lt;x&gt; Support Templates</span></div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;</div><div class="line"><a name="l00250"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty.html">  250</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty</a>;</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;<span class="comment">// Calculate what type the &#39;cast&#39; function should return, based on a requested</span></div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;<span class="comment">// type of To and a source type of From.</span></div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">  254</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a></div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;{</div><div class="line"><a name="l00256"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">  256</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">ret_type</a> = To &amp;;       <span class="comment">// Normal case, return Ty&amp;</span></div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;};</div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html">  258</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, const From&gt;</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;{</div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7">  260</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7">ret_type</a> = <span class="keyword">const</span> To &amp;; <span class="comment">// Normal case, return Ty&amp;</span></div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;};</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;</div><div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html">  263</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, From*&gt;</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;{</div><div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333">  265</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333">ret_type</a> = To *;       <span class="comment">// Pointer arg case, return Ty*</span></div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;};</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;</div><div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html">  268</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, const From*&gt;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;{</div><div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7">  270</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7">ret_type</a> = <span class="keyword">const</span> To *; <span class="comment">// Constant pointer arg case, return const Ty*</span></div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;};</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;</div><div class="line"><a name="l00273"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html">  273</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, const From*<span class="keyword">const</span>&gt;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;{</div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c">  275</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c">ret_type</a> = <span class="keyword">const</span> To *; <span class="comment">// Constant pointer arg case, return const Ty*</span></div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;};</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt;</div><div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html">  279</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, <a class="code" href="namespacestd.html">std</a>::unique_ptr&lt;From&gt;&gt;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;{</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">  282</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">PointerType</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">cast_retty_impl&lt;To, From *&gt;::ret_type</a>;</div><div class="line"><a name="l00283"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68">  283</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68">ResultType</a> = <span class="keyword">typename</span> <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">std::remove_pointer&lt;PointerType&gt;::type</a>;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00286"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845">  286</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845">ret_type</a> = std::unique_ptr&lt;ResultType&gt;;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;};</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From, <span class="keyword">class</span> SimpleFrom&gt;</div><div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">  290</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a></div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;{</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    <span class="comment">// When the simplified type and the from type are not the same, use the type</span></div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    <span class="comment">// simplifier to reduce the type, then reuse cast_retty_impl to get the</span></div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    <span class="comment">// resultant type.</span></div><div class="line"><a name="l00295"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e">  295</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e">ret_type</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, SimpleFrom&gt;::ret_type</a>;</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;};</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> FromTy&gt;</div><div class="line"><a name="l00299"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">  299</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a>&lt;To, FromTy, FromTy&gt;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;{</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    <span class="comment">// When the simplified type is equal to the from type, use it directly.</span></div><div class="line"><a name="l00302"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">  302</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">ret_type</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">cast_retty_impl&lt;To,FromTy&gt;::ret_type</a>;</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;};</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt;</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty</a></div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;{</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">ret_type</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a>&lt;</div><div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">  309</a></span>&#160;                     To, From, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;From&gt;::SimpleType</a>&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">::ret_type</a>;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;};</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;<span class="comment">// Ensure the non-simple values are converted using the simplify_type template</span></div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;<span class="comment">// that may be specialized by smart pointers...</span></div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00315"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">  315</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From, <span class="keyword">class</span> SimpleFrom&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a></div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;{</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    <span class="comment">// This is not a simple type, use the template to simplify it...</span></div><div class="line"><a name="l00318"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">  318</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, From&gt;::ret_type</a> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">doit</a>(From &amp;Val)</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    {</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;To, SimpleFrom,</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;::doit(</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type&lt;From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    }</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;};</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;</div><div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html">  326</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> FromTy&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;To,FromTy,FromTy&gt;</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;{</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;    <span class="comment">// This _is_ a simple type, just cast it.</span></div><div class="line"><a name="l00329"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">  329</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">doit</a>(<span class="keyword">const</span> FromTy &amp;Val)</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    {</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> Res2</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;            = (<span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a>)const_cast&lt;FromTy&amp;&gt;(Val);</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordflow">return</span> Res2;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    }</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;};</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;</div><div class="line"><a name="l00337"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">  337</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">is_simple_type</a></div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;{</div><div class="line"><a name="l00339"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f">  339</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> value =</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        std::is_same&lt;X, typename simplify_type&lt;X&gt;::SimpleType&gt;::value;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;};</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;<span class="comment">// cast&lt;X&gt; - Return the argument parameter cast to the specified type.  This</span></div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;<span class="comment">// casting operator asserts that the type is correct, so it does not return null</span></div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;<span class="comment">// on failure.  It does not allow a null argument (use cast_or_null for that).</span></div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;<span class="comment">// It is typically used like this:</span></div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;<span class="comment">//  cast&lt;Instruction&gt;(myVal)-&gt;getParent()</span></div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;<span class="keyword">inline</span> std::enable_if_t&lt;!is_simple_type&lt;Y&gt;::value,</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;       <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, const Y&gt;::ret_type</a>&gt;</div><div class="line"><a name="l00353"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">  353</a></span>&#160;       <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;{</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;           X, <span class="keyword">const</span> Y, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;const Y&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;}</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00361"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a406dd9baf2ce66235d482fd6c6121b2c">  361</a></span>&#160;<span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(Y &amp;Val)</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;{</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;X, Y,</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;           <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;Y&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;}</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00369"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#acc2419a55c0427571f11ad14db2fe481">  369</a></span>&#160;<span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y *&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(Y *Val)</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;{</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;X, Y*,</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;           <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;Y*&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;}</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;<span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty&lt;X, std::unique_ptr&lt;Y&gt;</a>&gt;::ret_type</div><div class="line"><a name="l00378"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#af3ca049b4ce83c874e231f5e13bf36a8">  378</a></span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(std::unique_ptr&lt;Y&gt; &amp;&amp;Val)</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;{</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val.get()) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    <span class="keyword">using</span> ret_type = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty&lt;X, std::unique_ptr&lt;Y&gt;</a>&gt;::ret_type;</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    <span class="keywordflow">return</span> ret_type(</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;               <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;X, Y *, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;Y *&gt;::SimpleType</a>&gt;::doit(</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;                   Val.release()));</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;}</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;<span class="comment">// dyn_cast&lt;X&gt; - Return the argument parameter cast to the specified type.  This</span></div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;<span class="comment">// casting operator returns null if the argument is of the wrong type, so it can</span></div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;<span class="comment">// be used to test for a type as well as cast if successful.  This should be</span></div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;<span class="comment">// used in the context of an if statement like this:</span></div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;<span class="comment">//  if (const Instruction* I = dyn_cast&lt;Instruction&gt;(myVal)) { ... }</span></div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> std::enable_if_t&lt;</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;!<a class="code" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">is_simple_type&lt;Y&gt;::value</a>, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, const Y&gt;::ret_type</a>&gt;</div><div class="line"><a name="l00398"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">  398</a></span>&#160;<a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">dyn_cast</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;{</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;X&gt;(Val) ? SVFUtil::cast&lt;X&gt;(Val) : <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;}</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00404"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a52d852ba8fa569e858565b3bba403656">  404</a></span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">dyn_cast</a>(Y &amp;Val)</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;{</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;X&gt;(Val) ? SVFUtil::cast&lt;X&gt;(Val) : <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;}</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00410"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a105c5c5e97d56533fb2b3ba7a0bc59f3">  410</a></span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y *&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">dyn_cast</a>(Y *Val)</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;{</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;X&gt;(Val) ? SVFUtil::cast&lt;X&gt;(Val) : <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;}</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;} <span class="comment">// End namespace SVFUtil</span></div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_UTIL_CASTING_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4_html_af9a6a9c7660d5daedf8cd907788ac78d"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d">SVF::SVFUtil::isa_impl_cl&lt; To, const From &gt;::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00160">Casting.h:160</a></div></div>
+<a href="Casting_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>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment"> * Casting.h</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment"> *  Created on: 19Sep.,2018</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment"> *      Author: yulei</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="preprocessor">#ifndef INCLUDE_UTIL_CASTING_H_</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#define INCLUDE_UTIL_CASTING_H_</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;</div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="comment">//===- llvm/Support/Casting.h - Allow flexible, checked, casts --*- C++ -*-===//</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">//                     The LLVM Compiler Infrastructure</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// This file is distributed under the University of Illinois Open Source</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;<span class="comment">// License. See LICENSE.TXT for details.</span></div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">// This file defines the SVFUtil::isa&lt;X&gt;(), cast&lt;X&gt;(), dyn_cast&lt;X&gt;(), cast_or_null&lt;X&gt;(),</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="comment">// and dyn_cast_or_null&lt;X&gt;() templates.</span></div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="preprocessor">#include &lt;cassert&gt;</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="preprocessor">#include &lt;memory&gt;</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="preprocessor">#include &lt;type_traits&gt;</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="comment">//===-- Part of llvm/Support/Compiler.h - Compiler abstraction support --*- C++ -*-===//</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="comment">// Only use __has_cpp_attribute in C++ mode. GCC defines __has_cpp_attribute in</span></div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="comment">// C mode, but the :: in __has_cpp_attribute(scoped::attribute) is invalid.</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#ifndef LLVM_HAS_CPP_ATTRIBUTE</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#if defined(__cplusplus) &amp;&amp; defined(__has_cpp_attribute)</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor"># define LLVM_HAS_CPP_ATTRIBUTE(x) __has_cpp_attribute(x)</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="Casting_8h.html#ac655bc80da3bd4c0e27a9ac4ac8163f9">   38</a></span>&#160;<span class="preprocessor"># define LLVM_HAS_CPP_ATTRIBUTE(x) 0</span></div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="comment">// Use the &#39;nodiscard&#39; attribute in C++17 or newer mode.</span></div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="preprocessor">#if defined(__cplusplus) &amp;&amp; __cplusplus &gt; 201402L &amp;&amp; LLVM_HAS_CPP_ATTRIBUTE(nodiscard)</span></div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="preprocessor">#define LLVM_NODISCARD [[nodiscard]]</span></div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="preprocessor">#elif LLVM_HAS_CPP_ATTRIBUTE(clang::warn_unused_result)</span></div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;<span class="preprocessor">#define LLVM_NODISCARD [[clang::warn_unused_result]]</span></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="comment">// Clang in C++14 mode claims that it has the &#39;nodiscard&#39; attribute, but also</span></div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="comment">// warns in the pedantic mode that &#39;nodiscard&#39; is a C++17 extension (PR33518).</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="comment">// Use the &#39;nodiscard&#39; attribute in C++14 mode only with GCC.</span></div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;<span class="comment">// TODO: remove this workaround when PR33518 is resolved.</span></div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="preprocessor">#elif defined(__GNUC__) &amp;&amp; LLVM_HAS_CPP_ATTRIBUTE(nodiscard)</span></div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="preprocessor">#define LLVM_NODISCARD [[nodiscard]]</span></div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">   56</a></span>&#160;<span class="preprocessor">#define LLVM_NODISCARD</span></div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;{</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html">   62</a></span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVFUtil.html">SVFUtil</a></div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;{</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="comment">//===- Part of llvm/Support/type_traits.h - Simplfied type traits -------*- C++ -*-===//</span></div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> T, <span class="keyword">typename</span> Enable = <span class="keywordtype">void</span>&gt;</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">   70</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">add_const_past_pointer</a></div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;{</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">   72</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">type</a> = <span class="keyword">const</span> T;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;};</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html">   76</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">add_const_past_pointer</a>&lt;T, <a class="code" href="namespacestd.html">std</a>::enable_if_t&lt;std::is_pointer&lt;T&gt;::value&gt;&gt;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;{</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">   78</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">type</a> = <span class="keyword">const</span> std::remove_pointer_t&lt;T&gt; *;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;};</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> T, <span class="keyword">typename</span> Enable = <span class="keywordtype">void</span>&gt;</div><div class="line"><a name="l00083"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">   83</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">add_lvalue_reference_if_not_pointer</a></div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;{</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">   85</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">type</a> = T &amp;;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;};</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt;</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html">   89</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">add_lvalue_reference_if_not_pointer</a>&lt;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    T, <a class="code" href="namespacestd.html">std</a>::enable_if_t&lt;std::is_pointer&lt;T&gt;::value&gt;&gt;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;{</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">   92</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">type</a> = T;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;};</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;<span class="comment">//                          SVFUtil::isa&lt;x&gt; Support Templates</span></div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;<span class="comment">// Define a template that can be specialized by smart pointers to reflect the</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="comment">// fact that they are automatically dereferenced, and are not involved with the</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;<span class="comment">// template selection process...  the default implementation is a noop.</span></div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type.html">  103</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type</a></div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;{</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">  105</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SimpleType</a> = From; <span class="comment">// The real type this represents...</span></div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <span class="comment">// An accessor to get the real value...</span></div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">  108</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SimpleType</a> &amp;<a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">getSimplifiedValue</a>(From &amp;Val)</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    {</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keywordflow">return</span> Val;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    }</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;};</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html">  114</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type</a>&lt;const From&gt;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;{</div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">  116</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">NonConstSimpleType</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;From&gt;::SimpleType</a>;</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531">SimpleType</a> =</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531">  118</a></span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVFUtil::add_const_past_pointer&lt;NonConstSimpleType&gt;::type</a>;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">RetType</a> =</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">  120</a></span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVFUtil::add_lvalue_reference_if_not_pointer&lt;SimpleType&gt;::type</a>;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">  122</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">RetType</a> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">getSimplifiedValue</a>(<span class="keyword">const</span> From&amp; Val)</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    {</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">simplify_type&lt;From&gt;::getSimplifiedValue</a>(const_cast&lt;From&amp;&gt;(Val));</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    }</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;};</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;<span class="comment">// The core of the implementation of SVFUtil::isa&lt;X&gt; is here; To and From should be</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="comment">// the names of classes.  This template can be specialized to customize the</span></div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;<span class="comment">// implementation of SVFUtil::isa&lt;&gt; without rewriting it from scratch.</span></div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From, <span class="keyword">typename</span> Enabler = <span class="keywordtype">void</span>&gt;</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl.html">  132</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;{</div><div class="line"><a name="l00134"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">  134</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    {</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <span class="keywordflow">return</span> To::classof(&amp;Val);</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    }</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;};</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt;</div><div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html">  142</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a>&lt;To, From, <a class="code" href="namespacestd.html">std</a>::enable_if_t&lt;std::is_base_of&lt;To, From&gt;::value&gt;&gt;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;{</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc">  144</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc">doit</a>(<span class="keyword">const</span> From &amp;)</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    {</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;};</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;</div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">  150</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a></div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;{</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">  152</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;};</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;</div><div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html">  158</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const From&gt;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;{</div><div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d">  160</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(Val);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;};</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt;</div><div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html">  167</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const <a class="code" href="namespacestd.html">std</a>::unique_ptr&lt;From&gt;&gt;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;{</div><div class="line"><a name="l00169"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852">  169</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852">doit</a>(<span class="keyword">const</span> std::unique_ptr&lt;From&gt; &amp;Val)</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;    {</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    }</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;};</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html">  176</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, From*&gt;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;{</div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0">  178</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;};</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html">  185</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, From*<span class="keyword">const</span>&gt;</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;{</div><div class="line"><a name="l00187"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3">  187</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    {</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;};</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;</div><div class="line"><a name="l00194"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">  194</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const From*&gt;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;{</div><div class="line"><a name="l00196"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab">  196</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    {</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    }</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;};</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;</div><div class="line"><a name="l00203"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html">  203</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a>&lt;To, const From*<span class="keyword">const</span>&gt;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;{</div><div class="line"><a name="l00205"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a">  205</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a">doit</a>(<span class="keyword">const</span> From *Val)</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        assert(Val &amp;&amp; <span class="stringliteral">&quot;SVFUtil::isa&lt;&gt; used on a null pointer&quot;</span>);</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">isa_impl&lt;To, From&gt;::doit</a>(*Val);</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;    }</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;};</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> From, <span class="keyword">typename</span> SimpleFrom&gt;</div><div class="line"><a name="l00213"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">  213</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a></div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;{</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    <span class="comment">// When From != SimplifiedType, we can simplify the type some more by using</span></div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    <span class="comment">// the simplify_type template.</span></div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">  217</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">doit</a>(<span class="keyword">const</span> From &amp;Val)</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    {</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a>&lt;To, SimpleFrom,</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;::doit(</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type&lt;const From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    }</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;};</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">typename</span> To, <span class="keyword">typename</span> FromTy&gt;</div><div class="line"><a name="l00226"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">  226</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a>&lt;To, FromTy, FromTy&gt;</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;{</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    <span class="comment">// When From == SimpleType, we are as simple as we are going to get.</span></div><div class="line"><a name="l00229"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404">  229</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">bool</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404">doit</a>(<span class="keyword">const</span> FromTy &amp;Val)</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    {</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">isa_impl_cl&lt;To,FromTy&gt;::doit</a>(Val);</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;};</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;<span class="comment">// SVFUtil::isa&lt;X&gt; - Return true if the parameter to the template is an instance of the</span></div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;<span class="comment">// template type argument.  Used like this:</span></div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;<span class="comment">//  if (SVFUtil::isa&lt;Type&gt;(myVal)) { ... }</span></div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;<span class="comment">//  if (SVFUtil::isa&lt;Type0, Type1, Type2&gt;(myVal)) { ... }</span></div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">  241</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt; <a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">isa</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;{</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a>&lt;X, <span class="keyword">const</span> Y,</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;           <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;const Y&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;}</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> First, <span class="keyword">typename</span> Second, <span class="keyword">typename</span>... Rest, <span class="keyword">typename</span> Y&gt;</div><div class="line"><a name="l00248"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a13729076054a2977670b05a338a6763d">  248</a></span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">isa</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;{</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;First&gt;(Val) || SVFUtil::isa&lt;Second, Rest...&gt;(Val);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;}</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;</div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;<span class="comment">//                          cast&lt;x&gt; Support Templates</span></div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;</div><div class="line"><a name="l00257"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty.html">  257</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty</a>;</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;<span class="comment">// Calculate what type the &#39;cast&#39; function should return, based on a requested</span></div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;<span class="comment">// type of To and a source type of From.</span></div><div class="line"><a name="l00261"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">  261</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a></div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;{</div><div class="line"><a name="l00263"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">  263</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">ret_type</a> = To &amp;;       <span class="comment">// Normal case, return Ty&amp;</span></div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;};</div><div class="line"><a name="l00265"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html">  265</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, const From&gt;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;{</div><div class="line"><a name="l00267"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7">  267</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7">ret_type</a> = <span class="keyword">const</span> To &amp;; <span class="comment">// Normal case, return Ty&amp;</span></div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;};</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;</div><div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html">  270</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, From*&gt;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;{</div><div class="line"><a name="l00272"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333">  272</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333">ret_type</a> = To *;       <span class="comment">// Pointer arg case, return Ty*</span></div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;};</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;</div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html">  275</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, const From*&gt;</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;{</div><div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7">  277</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7">ret_type</a> = <span class="keyword">const</span> To *; <span class="comment">// Constant pointer arg case, return const Ty*</span></div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;};</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;</div><div class="line"><a name="l00280"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html">  280</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, const From*<span class="keyword">const</span>&gt;</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;{</div><div class="line"><a name="l00282"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c">  282</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c">ret_type</a> = <span class="keyword">const</span> To *; <span class="comment">// Constant pointer arg case, return const Ty*</span></div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;};</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt;</div><div class="line"><a name="l00286"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html">  286</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">cast_retty_impl</a>&lt;To, <a class="code" href="namespacestd.html">std</a>::unique_ptr&lt;From&gt;&gt;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;{</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00289"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">  289</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">PointerType</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">cast_retty_impl&lt;To, From *&gt;::ret_type</a>;</div><div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68">  290</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68">ResultType</a> = <span class="keyword">typename</span> <a class="code" href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">std::remove_pointer&lt;PointerType&gt;::type</a>;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00293"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845">  293</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845">ret_type</a> = std::unique_ptr&lt;ResultType&gt;;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;};</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From, <span class="keyword">class</span> SimpleFrom&gt;</div><div class="line"><a name="l00297"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">  297</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a></div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;{</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    <span class="comment">// When the simplified type and the from type are not the same, use the type</span></div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    <span class="comment">// simplifier to reduce the type, then reuse cast_retty_impl to get the</span></div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    <span class="comment">// resultant type.</span></div><div class="line"><a name="l00302"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e">  302</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e">ret_type</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, SimpleFrom&gt;::ret_type</a>;</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;};</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> FromTy&gt;</div><div class="line"><a name="l00306"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">  306</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a>&lt;To, FromTy, FromTy&gt;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;{</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    <span class="comment">// When the simplified type is equal to the from type, use it directly.</span></div><div class="line"><a name="l00309"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">  309</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">ret_type</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">cast_retty_impl&lt;To,FromTy&gt;::ret_type</a>;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;};</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From&gt;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty</a></div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;{</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    <span class="keyword">using</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">ret_type</a> = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">cast_retty_wrap</a>&lt;</div><div class="line"><a name="l00316"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">  316</a></span>&#160;                     To, From, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;From&gt;::SimpleType</a>&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">::ret_type</a>;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;};</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;<span class="comment">// Ensure the non-simple values are converted using the simplify_type template</span></div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;<span class="comment">// that may be specialized by smart pointers...</span></div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00322"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">  322</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> From, <span class="keyword">class</span> SimpleFrom&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a></div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;{</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    <span class="comment">// This is not a simple type, use the template to simplify it...</span></div><div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">  325</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, From&gt;::ret_type</a> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">doit</a>(From &amp;Val)</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;    {</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;To, SimpleFrom,</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;::doit(</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html">simplify_type&lt;From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    }</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;};</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;</div><div class="line"><a name="l00333"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html">  333</a></span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> To, <span class="keyword">class</span> FromTy&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;To,FromTy,FromTy&gt;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;{</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    <span class="comment">// This _is_ a simple type, just cast it.</span></div><div class="line"><a name="l00336"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">  336</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">doit</a>(<span class="keyword">const</span> FromTy &amp;Val)</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    {</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> Res2</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            = (<span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a>)const_cast&lt;FromTy&amp;&gt;(Val);</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <span class="keywordflow">return</span> Res2;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    }</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;};</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;</div><div class="line"><a name="l00344"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">  344</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">is_simple_type</a></div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;{</div><div class="line"><a name="l00346"></a><span class="lineno"><a class="line" href="structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f">  346</a></span>&#160;    <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">bool</span> value =</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;        std::is_same&lt;X, typename simplify_type&lt;X&gt;::SimpleType&gt;::value;</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;};</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;<span class="comment">// cast&lt;X&gt; - Return the argument parameter cast to the specified type.  This</span></div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;<span class="comment">// casting operator asserts that the type is correct, so it does not return null</span></div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;<span class="comment">// on failure.  It does not allow a null argument (use cast_or_null for that).</span></div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;<span class="comment">// It is typically used like this:</span></div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;<span class="comment">//  cast&lt;Instruction&gt;(myVal)-&gt;getParent()</span></div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;<span class="keyword">inline</span> std::enable_if_t&lt;!is_simple_type&lt;Y&gt;::value,</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;       <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, const Y&gt;::ret_type</a>&gt;</div><div class="line"><a name="l00360"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">  360</a></span>&#160;       <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;{</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;           X, <span class="keyword">const</span> Y, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;const Y&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;}</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00368"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a406dd9baf2ce66235d482fd6c6121b2c">  368</a></span>&#160;<span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(Y &amp;Val)</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;{</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;X, Y,</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;           <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;Y&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;}</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00376"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#acc2419a55c0427571f11ad14db2fe481">  376</a></span>&#160;<span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y *&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(Y *Val)</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;{</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;X, Y*,</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;           <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;Y*&gt;::SimpleType</a>&gt;::doit(Val);</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;}</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;<span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty&lt;X, std::unique_ptr&lt;Y&gt;</a>&gt;::ret_type</div><div class="line"><a name="l00385"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#af3ca049b4ce83c874e231f5e13bf36a8">  385</a></span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">cast</a>(std::unique_ptr&lt;Y&gt; &amp;&amp;Val)</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;{</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    assert(SVFUtil::isa&lt;X&gt;(Val.get()) &amp;&amp; <span class="stringliteral">&quot;cast&lt;Ty&gt;() argument of incompatible type!&quot;</span>);</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    <span class="keyword">using</span> ret_type = <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html">cast_retty&lt;X, std::unique_ptr&lt;Y&gt;</a>&gt;::ret_type;</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    <span class="keywordflow">return</span> ret_type(</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;               <a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">cast_convert_val</a>&lt;X, Y *, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;Y *&gt;::SimpleType</a>&gt;::doit(</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;                   Val.release()));</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;}</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;<span class="comment">// dyn_cast&lt;X&gt; - Return the argument parameter cast to the specified type.  This</span></div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;<span class="comment">// casting operator returns null if the argument is of the wrong type, so it can</span></div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;<span class="comment">// be used to test for a type as well as cast if successful.  This should be</span></div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;<span class="comment">// used in the context of an if statement like this:</span></div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;<span class="comment">//  if (const Instruction* I = dyn_cast&lt;Instruction&gt;(myVal)) { ... }</span></div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> std::enable_if_t&lt;</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;!<a class="code" href="structSVF_1_1SVFUtil_1_1is__simple__type.html">is_simple_type&lt;Y&gt;::value</a>, <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, const Y&gt;::ret_type</a>&gt;</div><div class="line"><a name="l00405"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">  405</a></span>&#160;<a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">dyn_cast</a>(<span class="keyword">const</span> Y &amp;Val)</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;{</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;X&gt;(Val) ? SVFUtil::cast&lt;X&gt;(Val) : <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;}</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00411"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a52d852ba8fa569e858565b3bba403656">  411</a></span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">dyn_cast</a>(Y &amp;Val)</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;{</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;X&gt;(Val) ? SVFUtil::cast&lt;X&gt;(Val) : <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;}</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> X, <span class="keyword">class</span> Y&gt;</div><div class="line"><a name="l00417"></a><span class="lineno"><a class="line" href="namespaceSVF_1_1SVFUtil.html#a105c5c5e97d56533fb2b3ba7a0bc59f3">  417</a></span>&#160;<a class="code" href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a> <span class="keyword">inline</span> <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;X, Y *&gt;::ret_type</a> <a class="code" href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">dyn_cast</a>(Y *Val)</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;{</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    <span class="keywordflow">return</span> SVFUtil::isa&lt;X&gt;(Val) ? SVFUtil::cast&lt;X&gt;(Val) : <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;}</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;} <span class="comment">// End namespace SVFUtil</span></div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_UTIL_CASTING_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4_html_af9a6a9c7660d5daedf8cd907788ac78d"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d">SVF::SVFUtil::isa_impl_cl&lt; To, const From &gt;::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00160">Casting.h:160</a></div></div>
 <div class="ttc" id="Casting_8h_html_a8ce3b3743bf423cf00a9eb18a3f0f139"><div class="ttname"><a href="Casting_8h.html#a8ce3b3743bf423cf00a9eb18a3f0f139">LLVM_NODISCARD</a></div><div class="ttdeci">#define LLVM_NODISCARD</div><div class="ttdoc">LLVM_NODISCARD - Warn if a type or return value is discarded. </div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00056">Casting.h:56</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html">SVF::SVFUtil::isa_impl</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00132">Casting.h:132</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__wrap_html_af3d80ab43e47626f32c91a6c4454e82e"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e">SVF::SVFUtil::cast_retty_wrap::ret_type</a></div><div class="ttdeci">typename cast_retty&lt; To, SimpleFrom &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00295">Casting.h:295</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__wrap_html_af3d80ab43e47626f32c91a6c4454e82e"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e">SVF::SVFUtil::cast_retty_wrap::ret_type</a></div><div class="ttdeci">typename cast_retty&lt; To, SimpleFrom &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00302">Casting.h:302</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4_html_a414dc089b04305b8580dede7a6337404"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404">SVF::SVFUtil::isa_impl_wrap&lt; To, FromTy, FromTy &gt;::doit</a></div><div class="ttdeci">static bool doit(const FromTy &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00229">Casting.h:229</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4_html_a8de25e1bb07ca0f995e5760065259531"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#a8de25e1bb07ca0f995e5760065259531">SVF::SVFUtil::simplify_type&lt; const From &gt;::SimpleType</a></div><div class="ttdeci">typename SVFUtil::add_const_past_pointer&lt; NonConstSimpleType &gt;::type SimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00118">Casting.h:118</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4_html_add8668ca96bbf0808c146cc81c62267c"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c">SVF::SVFUtil::cast_retty_impl&lt; To, const From *const &gt;::ret_type</a></div><div class="ttdeci">const To * ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00275">Casting.h:275</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4_html_add8668ca96bbf0808c146cc81c62267c"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c">SVF::SVFUtil::cast_retty_impl&lt; To, const From *const &gt;::ret_type</a></div><div class="ttdeci">const To * ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00282">Casting.h:282</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309_html_a1d03ef26d605e8f9cb9ecf68e69447dc"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html#a1d03ef26d605e8f9cb9ecf68e69447dc">SVF::SVFUtil::isa_impl&lt; To, From, std::enable_if_t&lt; std::is_base_of&lt; To, From &gt;::value &gt; &gt;::doit</a></div><div class="ttdeci">static bool doit(const From &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00144">Casting.h:144</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl_html_a150c6a99c45befa44a4cd2bcc8d06eee"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee">SVF::SVFUtil::isa_impl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00134">Casting.h:134</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4_html_a761b612c6ee476a28aabfbbc6b2da7ab"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab">SVF::SVFUtil::isa_impl_cl&lt; To, const From * &gt;::doit</a></div><div class="ttdeci">static bool doit(const From *Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00196">Casting.h:196</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4_html_ad989c130f2b6cd5a0f1ba0c7abd62b9a"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">SVF::SVFUtil::cast_retty_wrap&lt; To, FromTy, FromTy &gt;::ret_type</a></div><div class="ttdeci">typename cast_retty_impl&lt; To, FromTy &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00302">Casting.h:302</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html_aea91708cabb8176b031f1c1fdb89a15b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">SVF::SVFUtil::cast_retty::ret_type</a></div><div class="ttdeci">typename cast_retty_wrap&lt; To, From, typename simplify_type&lt; From &gt;::SimpleType &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00309">Casting.h:309</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4_html_ad989c130f2b6cd5a0f1ba0c7abd62b9a"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a">SVF::SVFUtil::cast_retty_wrap&lt; To, FromTy, FromTy &gt;::ret_type</a></div><div class="ttdeci">typename cast_retty_impl&lt; To, FromTy &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00309">Casting.h:309</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html_aea91708cabb8176b031f1c1fdb89a15b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">SVF::SVFUtil::cast_retty::ret_type</a></div><div class="ttdeci">typename cast_retty_wrap&lt; To, From, typename simplify_type&lt; From &gt;::SimpleType &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00316">Casting.h:316</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__wrap_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">SVF::SVFUtil::isa_impl_wrap</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00213">Casting.h:213</a></div></div>
 <div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00398">Casting.h:398</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_html_a42987ff69d76fef88044fe0b19743239"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">SVF::SVFUtil::cast_convert_val::doit</a></div><div class="ttdeci">static cast_retty&lt; To, From &gt;::ret_type doit(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00318">Casting.h:318</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4_html_a2dd56ef15d86f61c7fef34dc15173e4a"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">SVF::SVFUtil::cast_convert_val&lt; To, FromTy, FromTy &gt;::doit</a></div><div class="ttdeci">static cast_retty&lt; To, FromTy &gt;::ret_type doit(const FromTy &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00329">Casting.h:329</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af6e96694d983643a66c238cce01bff0e"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af6e96694d983643a66c238cce01bff0e">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00405">Casting.h:405</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_html_a42987ff69d76fef88044fe0b19743239"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">SVF::SVFUtil::cast_convert_val::doit</a></div><div class="ttdeci">static cast_retty&lt; To, From &gt;::ret_type doit(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00325">Casting.h:325</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4_html_a2dd56ef15d86f61c7fef34dc15173e4a"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a">SVF::SVFUtil::cast_convert_val&lt; To, FromTy, FromTy &gt;::doit</a></div><div class="ttdeci">static cast_retty&lt; To, FromTy &gt;::ret_type doit(const FromTy &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00336">Casting.h:336</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1add__const__past__pointer_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html">SVF::SVFUtil::add_const_past_pointer</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00070">Casting.h:70</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html">SVF::SVFUtil::add_lvalue_reference_if_not_pointer</a></div><div class="ttdoc">If T is a pointer, just return it. If it is not, return T&amp;. </div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00083">Casting.h:83</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4_html_ad0bc349135b60cc51fd040b615a979f7"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7">SVF::SVFUtil::cast_retty_impl&lt; To, const From &gt;::ret_type</a></div><div class="ttdeci">const To &amp; ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00260">Casting.h:260</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4_html_ad0bc349135b60cc51fd040b615a979f7"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7">SVF::SVFUtil::cast_retty_impl&lt; To, const From &gt;::ret_type</a></div><div class="ttdeci">const To &amp; ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00267">Casting.h:267</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4_html_abd3fdf0fdc5e4622a879b7890ad43789"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#abd3fdf0fdc5e4622a879b7890ad43789">SVF::SVFUtil::simplify_type&lt; const From &gt;::RetType</a></div><div class="ttdeci">typename SVFUtil::add_lvalue_reference_if_not_pointer&lt; SimpleType &gt;::type RetType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00120">Casting.h:120</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a3ddf7041e685da8ede81cd773dd47761"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">SVF::SVFUtil::cast</a></div><div class="ttdeci">std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00353">Casting.h:353</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a3ddf7041e685da8ede81cd773dd47761"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a3ddf7041e685da8ede81cd773dd47761">SVF::SVFUtil::cast</a></div><div class="ttdeci">std::enable_if_t&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt; cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00360">Casting.h:360</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4_html_af73d1d0d7eb6f51090b4df47b497483a"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a">SVF::SVFUtil::isa_impl_cl&lt; To, const From *const &gt;::doit</a></div><div class="ttdeci">static bool doit(const From *Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00205">Casting.h:205</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__wrap_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">SVF::SVFUtil::cast_retty_wrap</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00290">Casting.h:290</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__wrap_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__wrap.html">SVF::SVFUtil::cast_retty_wrap</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00297">Casting.h:297</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a8046f044d895a5c9aee85de9705161f9"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type::getSimplifiedValue</a></div><div class="ttdeci">static SimpleType &amp; getSimplifiedValue(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00108">Casting.h:108</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4_html_a98a60de95a331a34dcbad6da9961a9b7"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7">SVF::SVFUtil::cast_retty_impl&lt; To, const From * &gt;::ret_type</a></div><div class="ttdeci">const To * ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00270">Casting.h:270</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4_html_a98a60de95a331a34dcbad6da9961a9b7"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7">SVF::SVFUtil::cast_retty_impl&lt; To, const From * &gt;::ret_type</a></div><div class="ttdeci">const To * ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00277">Casting.h:277</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf_html_a6c70a94bde914aa0ca86e4fd9f6c1179"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html#a6c70a94bde914aa0ca86e4fd9f6c1179">SVF::SVFUtil::add_const_past_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;::type</a></div><div class="ttdeci">const std::remove_pointer_t&lt; T &gt; * type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00078">Casting.h:78</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4_html_a052f7cd3a81e368060f132bf0268fa68"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::ResultType</a></div><div class="ttdeci">typename std::remove_pointer&lt; PointerType &gt;::type ResultType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00283">Casting.h:283</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4_html_a052f7cd3a81e368060f132bf0268fa68"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::ResultType</a></div><div class="ttdeci">typename std::remove_pointer&lt; PointerType &gt;::type ResultType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00290">Casting.h:290</a></div></div>
 <div class="ttc" id="namespaceSVFUtil_html"><div class="ttname"><a href="namespaceSVFUtil.html">SVFUtil</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4_html_ac64f5d9a2ec97aebd7b377319d7f043b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b">SVF::SVFUtil::simplify_type&lt; const From &gt;::getSimplifiedValue</a></div><div class="ttdeci">static RetType getSimplifiedValue(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00122">Casting.h:122</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_html_a5f8f6d651931eba7e0fa14c26a691a04"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">SVF::SVFUtil::cast_retty_impl::ret_type</a></div><div class="ttdeci">To &amp; ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00256">Casting.h:256</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4_html_a86c02dc15b65d0c052ea4447b3fb6333"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333">SVF::SVFUtil::cast_retty_impl&lt; To, From * &gt;::ret_type</a></div><div class="ttdeci">To * ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00265">Casting.h:265</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4_html_a9d08abc346f3b77c487eba144f3cbd8d"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::PointerType</a></div><div class="ttdeci">typename cast_retty_impl&lt; To, From * &gt;::ret_type PointerType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00282">Casting.h:282</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_html_a5f8f6d651931eba7e0fa14c26a691a04"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04">SVF::SVFUtil::cast_retty_impl::ret_type</a></div><div class="ttdeci">To &amp; ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00263">Casting.h:263</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4_html_a86c02dc15b65d0c052ea4447b3fb6333"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333">SVF::SVFUtil::cast_retty_impl&lt; To, From * &gt;::ret_type</a></div><div class="ttdeci">To * ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00272">Casting.h:272</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4_html_a9d08abc346f3b77c487eba144f3cbd8d"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::PointerType</a></div><div class="ttdeci">typename cast_retty_impl&lt; To, From * &gt;::ret_type PointerType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00289">Casting.h:289</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__wrap_html_aa0f166d8bdcd1e7b954cc29c19a40b04"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04">SVF::SVFUtil::isa_impl_wrap::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00217">Casting.h:217</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_html_a871b0a9d4f1c68caca4d8e8b9ce29079"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html#a871b0a9d4f1c68caca4d8e8b9ce29079">SVF::SVFUtil::add_lvalue_reference_if_not_pointer::type</a></div><div class="ttdeci">T &amp; type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00085">Casting.h:85</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4_html_a3bf80190e39c339d4e3ec703789ae845"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::ret_type</a></div><div class="ttdeci">std::unique_ptr&lt; ResultType &gt; ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00286">Casting.h:286</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4_html_a3bf80190e39c339d4e3ec703789ae845"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845">SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;::ret_type</a></div><div class="ttdeci">std::unique_ptr&lt; ResultType &gt; ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00293">Casting.h:293</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4_html_aadddb18b44c9744dcc639a3de603151d"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d">SVF::SVFUtil::simplify_type&lt; const From &gt;::NonConstSimpleType</a></div><div class="ttdeci">typename simplify_type&lt; From &gt;::SimpleType NonConstSimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00116">Casting.h:116</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4_html_ac95b00b5d96e6b8457ecade4dbda3de3"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3">SVF::SVFUtil::isa_impl_cl&lt; To, From *const &gt;::doit</a></div><div class="ttdeci">static bool doit(const From *Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00187">Casting.h:187</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1is__simple__type_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1is__simple__type.html">SVF::SVFUtil::is_simple_type</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00337">Casting.h:337</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">SVF::SVFUtil::cast_retty_impl</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00254">Casting.h:254</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1is__simple__type_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1is__simple__type.html">SVF::SVFUtil::is_simple_type</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00344">Casting.h:344</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty__impl_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty__impl.html">SVF::SVFUtil::cast_retty_impl</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00261">Casting.h:261</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4_html_a8add67bd107583b7c34fce53a748bcb0"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0">SVF::SVFUtil::isa_impl_cl&lt; To, From * &gt;::doit</a></div><div class="ttdeci">static bool doit(const From *Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00178">Casting.h:178</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09_html_a7930ae77015a1bef7da45e112a92cbce"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html#a7930ae77015a1bef7da45e112a92cbce">SVF::SVFUtil::add_lvalue_reference_if_not_pointer&lt; T, std::enable_if_t&lt; std::is_pointer&lt; T &gt;::value &gt; &gt;::type</a></div><div class="ttdeci">T type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00092">Casting.h:92</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html">SVF::SVFUtil::simplify_type</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00103">Casting.h:103</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5c8cbc986cccb9d84f87aae162df3737"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">SVF::SVFUtil::isa</a></div><div class="ttdeci">LLVM_NODISCARD bool isa(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00240">Casting.h:240</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5c8cbc986cccb9d84f87aae162df3737"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5c8cbc986cccb9d84f87aae162df3737">SVF::SVFUtil::isa</a></div><div class="ttdeci">LLVM_NODISCARD bool isa(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00241">Casting.h:241</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">SVF::SVFUtil::isa_impl_cl</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00150">Casting.h:150</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_html_afbe68352d888c0b15e9f46d4e378bacb"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb">SVF::SVFUtil::isa_impl_cl::doit</a></div><div class="ttdeci">static bool doit(const From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00152">Casting.h:152</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html">SVF::SVFUtil::cast_retty</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00250">Casting.h:250</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html">SVF::SVFUtil::cast_retty</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00257">Casting.h:257</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4_html_aff368847551a69d07b06237908594852"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852">SVF::SVFUtil::isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;::doit</a></div><div class="ttdeci">static bool doit(const std::unique_ptr&lt; From &gt; &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00169">Casting.h:169</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">SVF::SVFUtil::cast_convert_val</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00315">Casting.h:315</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_html"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val.html">SVF::SVFUtil::cast_convert_val</a></div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00322">Casting.h:322</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a40c0d9a74681d3eaa7172ba137d489e4"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type::SimpleType</a></div><div class="ttdeci">From SimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00105">Casting.h:105</a></div></div>
 <div class="ttc" id="structSVF_1_1SVFUtil_1_1add__const__past__pointer_html_a52fe829ad016bca3285dfba2b5b68d35"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1add__const__past__pointer.html#a52fe829ad016bca3285dfba2b5b68d35">SVF::SVFUtil::add_const_past_pointer::type</a></div><div class="ttdeci">const T type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00072">Casting.h:72</a></div></div>
 </div><!-- fragment --></div><!-- contents -->