npm - svf-tools - Versions diffs - 1.0.309 → 1.0.313 - Mend

svf-tools 1.0.309 → 1.0.313

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (418) hide show

package/SVF-doxygen/html/html/PTAType_8h_source.html CHANGED Viewed

@@ -66,7 +66,7 @@ $(function() {
 <div class="title">PTAType.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="PTAType_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">//===- PTAType.h -- PTAType class---------------------------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</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="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</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">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</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"> * PTAType.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: Oct 06, 2016</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Xiaokang Fan</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</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="preprocessor">#ifndef PTATYPE_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define PTATYPE_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &lt;set&gt;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;map&gt;</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="BasicTypes_8h.html">Util/BasicTypes.h</a>&quot;</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;{</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="keyword">class </span>PAGNode;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">class </span>PAG;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html">   43</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1PTAType.html">PTAType</a></div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;{</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">   47</a></span>&#160;    <a class="code" href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">PTAType</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *ty): <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>(ty) {}</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">   50</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a7d8ebd45e3db3b3574a8a35375f5aab7">   56</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PTAType.html#a7d8ebd45e3db3b3574a8a35375f5aab7">dump</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>-&gt;dump();</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    }</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#ae4f7f5c5980914d13cc97f3db249def6">   63</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#ae4f7f5c5980914d13cc97f3db249def6">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> == ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>();</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    }</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a705267b70cb6f29d14c0308da1d77b82">   68</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#a705267b70cb6f29d14c0308da1d77b82">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> != ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</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">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#aedec4c8e6cbb1ce4583d8e065ddcab6a">   73</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#aedec4c8e6cbb1ce4583d8e065ddcab6a">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> &lt; ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    }</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="classSVF_1_1PTAType.html#a62d5423de98721dfa56705824c53c3b6">   78</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#a62d5423de98721dfa56705824c53c3b6">operator&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> &gt; ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">   85</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>;</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"><a class="line" href="classSVF_1_1TypeSet.html">   88</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;{</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;<span class="keyword">public</span>:</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="classSVF_1_1TypeSet.html#a0d173b719fbae32eac326f067b1c2653">   92</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet&lt;PTAType&gt;</a> <a class="code" href="classSVF_1_1TypeSet.html#a0d173b719fbae32eac326f067b1c2653">TypeSetTy</a>;</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"><a class="line" href="classSVF_1_1TypeSet.html#a8eb3f8fd643deafb922572aca5691e60">   94</a></span>&#160;    <span class="keyword">typedef</span> TypeSetTy::iterator <a class="code" href="classSVF_1_1TypeSet.html#a8eb3f8fd643deafb922572aca5691e60">iterator</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#afe38ff234c6a3e2b051c89f773b20e75">   95</a></span>&#160;    <span class="keyword">typedef</span> TypeSetTy::const_iterator <a class="code" href="classSVF_1_1TypeSet.html#afe38ff234c6a3e2b051c89f773b20e75">const_iterator</a>;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <span class="comment">// Iterators</span></div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">   99</a></span>&#160;<span class="comment"></span>    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">begin</a>()</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">return</span> typeSet.begin();</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">  103</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">end</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">  105</span>&#160;        <span class="keywordflow">return</span> typeSet.end();</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"><a class="line" href="classSVF_1_1TypeSet.html#a9172f8741c7cfdfd80b324bd5209bd20">  107</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSet.html#a9172f8741c7cfdfd80b324bd5209bd20">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">return</span> typeSet.begin();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    }</div><div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e">  111</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">return</span> typeSet.end();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    }</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#adea8605a85c9c383c0be4972b032b842">  118</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1TypeSet.html#adea8605a85c9c383c0be4972b032b842">size</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keywordflow">return</span> typeSet.size();</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">  122</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">  124</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">addType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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;        std::pair&lt;iterator, bool&gt; ret = typeSet.insert(type);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keywordflow">return</span> ret.second;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#ac9b23f47d61d226af3968fc69032ea71">  131</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSet.html#ac9b23f47d61d226af3968fc69032ea71">containType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> typeSet.find(type) != typeSet.end();</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    <span class="comment">// Algorithm set_intersection</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    <span class="comment">// Complexity: 2 * (N1 + N2) - 1</span></div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    <span class="comment">// N1, N2: number of element in the two typeset</span></div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#adca05e10c3313b501cfb7a26975cb8e2">  140</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSet.html#adca05e10c3313b501cfb7a26975cb8e2">intersect</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeset)<span class="keyword"> const</span></div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">if</span> (size() == 1)</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">  144</span>&#160;            const_iterator first = begin();</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;            <span class="keywordflow">return</span> typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#ac9b23f47d61d226af3968fc69032ea71">containType</a>(*first);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        }</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#adea8605a85c9c383c0be4972b032b842">size</a>() == 1)</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;            const_iterator first = typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">begin</a>();</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            <span class="keywordflow">return</span> containType(*first);</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">  152</span>&#160;        <span class="keywordflow">else</span></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;            const_iterator first1 = typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">begin</a>(), first2 = begin(),</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;                           last1 = typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">end</a>(), last2 = end();</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            const_iterator largest1 = last1, largest2 = last2;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            largest1--;</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            largest2--;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            <span class="keywordflow">if</span> (*largest1 &lt; *first2 || *largest2 &lt; *first1)</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</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">while</span> (first1 != last1 &amp;&amp; first2 != last2)</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;                <span class="keywordflow">if</span> (*first1 &lt; *first2)</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                    first1++;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (*first2 &lt; *first1)</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                    first2++;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                    <span class="keywordflow">return</span> <span class="keyword">true</span>;</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;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        }</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="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">  176</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">dumpTypes</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">for</span> (const_iterator it = begin(), eit = end(); it != eit; ++it)</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;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> = *it;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;            type.<a class="code" href="classSVF_1_1PTAType.html#a7d8ebd45e3db3b3574a8a35375f5aab7">dump</a>();</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">  185</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a29161e8ed226190892c02cbd7eb5dcce">  186</a></span>&#160;    TypeSetTy <a class="code" href="classSVF_1_1TypeSet.html#a29161e8ed226190892c02cbd7eb5dcce">typeSet</a>;</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;};</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"><a class="line" href="classSVF_1_1TypeSystem.html">  189</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1TypeSystem.html">TypeSystem</a></div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;{</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;<span class="keyword">public</span>:</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"><a class="line" href="classSVF_1_1TypeSystem.html#ae3bb1f41445bc7258f32feadbf20f64e">  193</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, TypeSet*&gt;</a> <a class="code" href="classSVF_1_1TypeSystem.html#ae3bb1f41445bc7258f32feadbf20f64e">VarToTypeSetMapTy</a>;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;</div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a74e6c7885929b86eb4fa3d2c587d9631">  195</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap&lt;PTAType, NodeBS&gt;</a> <a class="code" href="classSVF_1_1TypeSystem.html#a74e6c7885929b86eb4fa3d2c587d9631">TypeToVarsMapTy</a>;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a4708b09e485ed2cd4b8534793b942247">  197</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> VarToTypeSetMapTy::iterator <a class="code" href="classSVF_1_1TypeSystem.html#a4708b09e485ed2cd4b8534793b942247">iterator</a>;</div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ad8106316691f8a2f01b296c484647431">  198</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> VarToTypeSetMapTy::const_iterator <a class="code" href="classSVF_1_1TypeSystem.html#ad8106316691f8a2f01b296c484647431">const_iterator</a>;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</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"><a class="line" href="classSVF_1_1TypeSystem.html#a16b21a48c3316630cf78868022213291">  202</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSystem.html#a16b21a48c3316630cf78868022213291">begin</a>()</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.begin();</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;    }</div><div class="line"><a name="l00206"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f">  206</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f">end</a>()</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    {</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.end();</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"><a class="line" href="classSVF_1_1TypeSystem.html#a51fec074a4142e203396cb021a780128">  210</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSystem.html#a51fec074a4142e203396cb021a780128">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.begin();</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    }</div><div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d">  214</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.end();</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    <span class="comment">//}@</span></div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;</div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e">  221</a></span>&#160;    <a class="code" href="classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e">TypeSystem</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PAG.html">PAG</a> *pag)</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;        translateLLVMTypeToPTAType(pag);</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;</div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a945097eb1bb050a416f37beeb7ee6194">  227</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#a945097eb1bb050a416f37beeb7ee6194">hasTypeSet</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var)<span class="keyword"> const</span></div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;        const_iterator it = VarToTypeSetMap.find(var);</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        <span class="keywordflow">return</span> it != VarToTypeSetMap.end();</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    }</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">  234</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *<a class="code" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">getTypeSet</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var)<span class="keyword"> const</span></div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        const_iterator it = VarToTypeSetMap.find(var);</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != VarToTypeSetMap.end() &amp;&amp; <span class="stringliteral">&quot;Can not find typeset for var&quot;</span>);</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ad88b2a9bb6ddfc5a9fbef0b924559685">  243</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#ad88b2a9bb6ddfc5a9fbef0b924559685">addTypeForVar</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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;        iterator it = VarToTypeSetMap.find(var);</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keywordflow">if</span> (it != VarToTypeSetMap.end())</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        {</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;            <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeSet = it-&gt;second;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;            <span class="keywordflow">return</span> typeSet-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">addType</a>(type);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        }</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">else</span></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;            <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeSet = <span class="keyword">new</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a>;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;            typeSet-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">addType</a>(type);</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;            VarToTypeSetMap[var] = typeSet;</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</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">  258</span>&#160;    }</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a78ba5fd094d4a5fd77cc9e01bca821c2">  262</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#a78ba5fd094d4a5fd77cc9e01bca821c2">addTypeForVar</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    {</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> ptaTy(type);</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="keywordflow">return</span> addTypeForVar(var, ptaTy);</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="classSVF_1_1TypeSystem.html#a8b14cbba82ee2608b1ac6007e003e93f">  268</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSystem.html#a8b14cbba82ee2608b1ac6007e003e93f">addVarForType</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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">  270</span>&#160;        TypeToVarsMapTy::iterator it = typeToVarsMap.find(type);</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <span class="keywordflow">if</span> (it == typeToVarsMap.end())</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">  273</span>&#160;            <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nodes;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            nodes.set(var);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            typeToVarsMap[<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>] = nodes;</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;        <span class="keywordflow">else</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;            <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;nodes = it-&gt;second;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            nodes.set(var);</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">  282</span>&#160;    }</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"><a class="line" href="classSVF_1_1TypeSystem.html#ae9b228ed0cabc0f7185a2187f5ff0c90">  284</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSystem.html#ae9b228ed0cabc0f7185a2187f5ff0c90">addVarForType</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    {</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> ptaTy(type);</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keywordflow">return</span> addVarForType(var, ptaTy);</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;</div><div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a5006938c789d97d2d1c4de3fa7a4b9a8">  290</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#a5006938c789d97d2d1c4de3fa7a4b9a8">hasVarsForType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        TypeToVarsMapTy::const_iterator it = typeToVarsMap.find(type);</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        <span class="keywordflow">return</span> it != typeToVarsMap.end();</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"><a class="line" href="classSVF_1_1TypeSystem.html#a4e0aa8f26c1a7c51706acbba3f6642b8">  296</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;<a class="code" href="classSVF_1_1TypeSystem.html#a4e0aa8f26c1a7c51706acbba3f6642b8">getVarsForType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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;        TypeToVarsMapTy::iterator it = typeToVarsMap.find(type);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != typeToVarsMap.end() &amp;&amp; <span class="stringliteral">&quot;Can not find vars for type&quot;</span>);</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    }</div><div class="line"><a name="l00302"></a><span class="lineno">  302</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="keywordtype">void</span> printTypeSystem()<span class="keyword"> const</span></div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="keywordflow">for</span> (const_iterator it = VarToTypeSetMap.begin(),</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                eit = VarToTypeSetMap.end(); it != eit; ++it)</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;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#af0f447732c67402037a86ea29006efc2">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;Var: &quot;</span> &lt;&lt; it-&gt;first &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#af0f447732c67402037a86ea29006efc2">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;types:\n&quot;</span>;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeSet = it-&gt;second;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            typeSet-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">dumpTypes</a>();</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#af0f447732c67402037a86ea29006efc2">SVFUtil::errs</a>() &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</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;    }</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="keyword">private</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">  322</span>&#160;<span class="comment">     * Translate llvm type into ptatype and build the pagnode to ptatype map</span></div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;<span class="comment">     *</span></div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;<span class="comment">     * Kinds of PAGNode:</span></div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;<span class="comment">     * ValPN: GepValPN, DummyValPN</span></div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;<span class="comment">     * ObjPN: GepObjPN, FIObjPN, DummyObjPN</span></div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;<span class="comment">     * RetPN</span></div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;<span class="comment">     * VarArgPN</span></div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;<span class="comment">     */</span></div><div class="line"><a name="l00330"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a961bbab47530d05ddb18e4c7d58d8a69">  330</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSystem.html#a961bbab47530d05ddb18e4c7d58d8a69">translateLLVMTypeToPTAType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PAG.html">PAG</a> *pag)</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;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">PAG::const_iterator</a> it = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it != pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); ++it)</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        {</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGNode.html">PAGNode</a> *pagNode = it-&gt;second;</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;            <span class="keywordflow">if</span> (pagNode-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a071f592f2b811c136db5e05a6169aa99">hasValue</a>() == <span class="keyword">false</span>)</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;                <span class="keywordflow">continue</span>;</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">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value = pagNode-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *valType = value-&gt;getType();</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *nodeType = valType;</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="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepValPN.html">GepValPN</a> *gepvalnode = SVFUtil::dyn_cast&lt;GepValPN&gt;(pagNode))</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;            {</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;                nodeType = gepvalnode-&gt;getType();</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;            }</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPN&gt;(pagNode))</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;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">llvm::PointerType</a> *ptrTy = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">llvm::PointerType</a>&gt;(valType);</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">llvm::FunctionType</a> *funTy = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">llvm::FunctionType</a>&gt;(ptrTy-&gt;getElementType());</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;                nodeType = funTy-&gt;getReturnType();</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            }</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;            <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> ptaType(nodeType);</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;            <span class="keywordflow">if</span> (addTypeForVar(pagNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), ptaType))</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;                addVarForType(pagNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), ptaType);</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        }</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">private</span>:</div><div class="line"><a name="l00361"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a4d8cfc39d4083158d34cc8e4dbaaa333">  361</a></span>&#160;    VarToTypeSetMapTy <a class="code" href="classSVF_1_1TypeSystem.html#a4d8cfc39d4083158d34cc8e4dbaaa333">VarToTypeSetMap</a>;</div><div class="line"><a name="l00362"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ae6d1f3a2e6449e5efb25ee0cb32cb1b3">  362</a></span>&#160;    <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet&lt;PTAType&gt;</a> <a class="code" href="classSVF_1_1TypeSystem.html#ae6d1f3a2e6449e5efb25ee0cb32cb1b3">allPTATypes</a>;</div><div class="line"><a name="l00363"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80">  363</a></span>&#160;    TypeToVarsMapTy <a class="code" href="classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80">typeToVarsMap</a>;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;};</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;} <span class="comment">// End namespace SVF</span></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="preprocessor">#endif </span><span class="comment">/* PTATYPE_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
+<a href="PTAType_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">//===- PTAType.h -- PTAType class---------------------------------------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</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="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</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">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</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"> * PTAType.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: Oct 06, 2016</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Xiaokang Fan</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</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="preprocessor">#ifndef PTATYPE_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define PTATYPE_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &lt;set&gt;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;map&gt;</span></div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="BasicTypes_8h.html">Util/BasicTypes.h</a>&quot;</span></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;{</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="keyword">class </span>PAGNode;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">class </span>PAG;</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html">   43</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1PTAType.html">PTAType</a></div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;{</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">   47</a></span>&#160;    <a class="code" href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">PTAType</a>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *ty): <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>(ty) {}</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">   50</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a7d8ebd45e3db3b3574a8a35375f5aab7">   56</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PTAType.html#a7d8ebd45e3db3b3574a8a35375f5aab7">dump</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;        <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>-&gt;dump();</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    }</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#ae4f7f5c5980914d13cc97f3db249def6">   63</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#ae4f7f5c5980914d13cc97f3db249def6">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> == ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>();</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    }</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a705267b70cb6f29d14c0308da1d77b82">   68</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#a705267b70cb6f29d14c0308da1d77b82">operator!=</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> != ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</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">   72</span>&#160;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#aedec4c8e6cbb1ce4583d8e065ddcab6a">   73</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#aedec4c8e6cbb1ce4583d8e065ddcab6a">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> &lt; ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    }</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="classSVF_1_1PTAType.html#a62d5423de98721dfa56705824c53c3b6">   78</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PTAType.html#a62d5423de98721dfa56705824c53c3b6">operator&gt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;ty)<span class="keyword"> const</span></div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> &gt; ty.<a class="code" href="classSVF_1_1PTAType.html#a03fa0db591fb5b93e6701e835ade9dcf">getLLVMType</a>();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00085"></a><span class="lineno"><a class="line" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">   85</a></span>&#160;    <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>;</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"><a class="line" href="classSVF_1_1TypeSet.html">   88</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a></div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;{</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;<span class="keyword">public</span>:</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="classSVF_1_1TypeSet.html#a0d173b719fbae32eac326f067b1c2653">   92</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet&lt;PTAType&gt;</a> <a class="code" href="classSVF_1_1TypeSet.html#a0d173b719fbae32eac326f067b1c2653">TypeSetTy</a>;</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"><a class="line" href="classSVF_1_1TypeSet.html#a8eb3f8fd643deafb922572aca5691e60">   94</a></span>&#160;    <span class="keyword">typedef</span> TypeSetTy::iterator <a class="code" href="classSVF_1_1TypeSet.html#a8eb3f8fd643deafb922572aca5691e60">iterator</a>;</div><div class="line"><a name="l00095"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#afe38ff234c6a3e2b051c89f773b20e75">   95</a></span>&#160;    <span class="keyword">typedef</span> TypeSetTy::const_iterator <a class="code" href="classSVF_1_1TypeSet.html#afe38ff234c6a3e2b051c89f773b20e75">const_iterator</a>;</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <span class="comment">// Iterators</span></div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">   99</a></span>&#160;<span class="comment"></span>    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">begin</a>()</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">return</span> typeSet.begin();</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">  103</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">end</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">  105</span>&#160;        <span class="keywordflow">return</span> typeSet.end();</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"><a class="line" href="classSVF_1_1TypeSet.html#a9172f8741c7cfdfd80b324bd5209bd20">  107</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSet.html#a9172f8741c7cfdfd80b324bd5209bd20">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">return</span> typeSet.begin();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    }</div><div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e">  111</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">return</span> typeSet.end();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    }</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;</div><div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#adea8605a85c9c383c0be4972b032b842">  118</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1TypeSet.html#adea8605a85c9c383c0be4972b032b842">size</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keywordflow">return</span> typeSet.size();</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">  122</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">  124</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">addType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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;        std::pair&lt;iterator, bool&gt; ret = typeSet.insert(type);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keywordflow">return</span> ret.second;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#ac9b23f47d61d226af3968fc69032ea71">  131</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSet.html#ac9b23f47d61d226af3968fc69032ea71">containType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> typeSet.find(type) != typeSet.end();</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    <span class="comment">// Algorithm set_intersection</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    <span class="comment">// Complexity: 2 * (N1 + N2) - 1</span></div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    <span class="comment">// N1, N2: number of element in the two typeset</span></div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#adca05e10c3313b501cfb7a26975cb8e2">  140</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSet.html#adca05e10c3313b501cfb7a26975cb8e2">intersect</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeset)<span class="keyword"> const</span></div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">if</span> (size() == 1)</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">  144</span>&#160;            const_iterator first = begin();</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;            <span class="keywordflow">return</span> typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#ac9b23f47d61d226af3968fc69032ea71">containType</a>(*first);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        }</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#adea8605a85c9c383c0be4972b032b842">size</a>() == 1)</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;            const_iterator first = typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">begin</a>();</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            <span class="keywordflow">return</span> containType(*first);</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">  152</span>&#160;        <span class="keywordflow">else</span></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;            const_iterator first1 = typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a216644c991ab2ae6e5d21c93e325a8e7">begin</a>(), first2 = begin(),</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;                           last1 = typeset-&gt;<a class="code" href="classSVF_1_1TypeSet.html#acc97e569aacfe626a501d34d84d4d860">end</a>(), last2 = end();</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            const_iterator largest1 = last1, largest2 = last2;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            largest1--;</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            largest2--;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;            <span class="keywordflow">if</span> (*largest1 &lt; *first2 || *largest2 &lt; *first1)</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</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">while</span> (first1 != last1 &amp;&amp; first2 != last2)</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;                <span class="keywordflow">if</span> (*first1 &lt; *first2)</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                    first1++;</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;                <span class="keywordflow">else</span> <span class="keywordflow">if</span> (*first2 &lt; *first1)</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                    first2++;</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                    <span class="keywordflow">return</span> <span class="keyword">true</span>;</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;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        }</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="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">  176</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">dumpTypes</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">for</span> (const_iterator it = begin(), eit = end(); it != eit; ++it)</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;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a> = *it;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;            type.<a class="code" href="classSVF_1_1PTAType.html#a7d8ebd45e3db3b3574a8a35375f5aab7">dump</a>();</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">  185</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00186"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSet.html#a29161e8ed226190892c02cbd7eb5dcce">  186</a></span>&#160;    TypeSetTy <a class="code" href="classSVF_1_1TypeSet.html#a29161e8ed226190892c02cbd7eb5dcce">typeSet</a>;</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;};</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"><a class="line" href="classSVF_1_1TypeSystem.html">  189</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1TypeSystem.html">TypeSystem</a></div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;{</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;<span class="keyword">public</span>:</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"><a class="line" href="classSVF_1_1TypeSystem.html#ae3bb1f41445bc7258f32feadbf20f64e">  193</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, TypeSet*&gt;</a> <a class="code" href="classSVF_1_1TypeSystem.html#ae3bb1f41445bc7258f32feadbf20f64e">VarToTypeSetMapTy</a>;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;</div><div class="line"><a name="l00195"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a74e6c7885929b86eb4fa3d2c587d9631">  195</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap&lt;PTAType, NodeBS&gt;</a> <a class="code" href="classSVF_1_1TypeSystem.html#a74e6c7885929b86eb4fa3d2c587d9631">TypeToVarsMapTy</a>;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;</div><div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a4708b09e485ed2cd4b8534793b942247">  197</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> VarToTypeSetMapTy::iterator <a class="code" href="classSVF_1_1TypeSystem.html#a4708b09e485ed2cd4b8534793b942247">iterator</a>;</div><div class="line"><a name="l00198"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ad8106316691f8a2f01b296c484647431">  198</a></span>&#160;    <span class="keyword">typedef</span> <span class="keyword">typename</span> VarToTypeSetMapTy::const_iterator <a class="code" href="classSVF_1_1TypeSystem.html#ad8106316691f8a2f01b296c484647431">const_iterator</a>;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</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"><a class="line" href="classSVF_1_1TypeSystem.html#a16b21a48c3316630cf78868022213291">  202</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSystem.html#a16b21a48c3316630cf78868022213291">begin</a>()</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    {</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.begin();</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;    }</div><div class="line"><a name="l00206"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f">  206</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f">end</a>()</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    {</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.end();</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"><a class="line" href="classSVF_1_1TypeSystem.html#a51fec074a4142e203396cb021a780128">  210</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSystem.html#a51fec074a4142e203396cb021a780128">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.begin();</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    }</div><div class="line"><a name="l00214"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d">  214</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1TypeSystem.html#a3c0e2a090705c1f6a67b36ee4c607b9d">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;        <span class="keywordflow">return</span> VarToTypeSetMap.end();</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    }</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;    <span class="comment">//}@</span></div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;</div><div class="line"><a name="l00221"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e">  221</a></span>&#160;    <a class="code" href="classSVF_1_1TypeSystem.html#a14f2c80f05304e9a3f257b29dd48985e">TypeSystem</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PAG.html">PAG</a> *pag)</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;        translateLLVMTypeToPTAType(pag);</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;</div><div class="line"><a name="l00227"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a945097eb1bb050a416f37beeb7ee6194">  227</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#a945097eb1bb050a416f37beeb7ee6194">hasTypeSet</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var)<span class="keyword"> const</span></div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;        const_iterator it = VarToTypeSetMap.find(var);</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        <span class="keywordflow">return</span> it != VarToTypeSetMap.end();</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    }</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;</div><div class="line"><a name="l00234"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">  234</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *<a class="code" href="classSVF_1_1TypeSystem.html#a6b52e1b6fbf9cfcc0337471bb425f330">getTypeSet</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var)<span class="keyword"> const</span></div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        const_iterator it = VarToTypeSetMap.find(var);</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != VarToTypeSetMap.end() &amp;&amp; <span class="stringliteral">&quot;Can not find typeset for var&quot;</span>);</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00243"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ad88b2a9bb6ddfc5a9fbef0b924559685">  243</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#ad88b2a9bb6ddfc5a9fbef0b924559685">addTypeForVar</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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;        iterator it = VarToTypeSetMap.find(var);</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keywordflow">if</span> (it != VarToTypeSetMap.end())</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        {</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;            <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeSet = it-&gt;second;</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;            <span class="keywordflow">return</span> typeSet-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">addType</a>(type);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;        }</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">else</span></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;            <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeSet = <span class="keyword">new</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a>;</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;            typeSet-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a7f05ee0c1efe8a8abe015fd67add8180">addType</a>(type);</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;            VarToTypeSetMap[var] = typeSet;</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</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">  258</span>&#160;    }</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a78ba5fd094d4a5fd77cc9e01bca821c2">  262</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#a78ba5fd094d4a5fd77cc9e01bca821c2">addTypeForVar</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    {</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> ptaTy(type);</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="keywordflow">return</span> addTypeForVar(var, ptaTy);</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="classSVF_1_1TypeSystem.html#a8b14cbba82ee2608b1ac6007e003e93f">  268</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSystem.html#a8b14cbba82ee2608b1ac6007e003e93f">addVarForType</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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">  270</span>&#160;        TypeToVarsMapTy::iterator it = typeToVarsMap.find(type);</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <span class="keywordflow">if</span> (it == typeToVarsMap.end())</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">  273</span>&#160;            <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nodes;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            nodes.set(var);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            typeToVarsMap[<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>] = nodes;</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;        <span class="keywordflow">else</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;            <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;nodes = it-&gt;second;</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            nodes.set(var);</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">  282</span>&#160;    }</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"><a class="line" href="classSVF_1_1TypeSystem.html#ae9b228ed0cabc0f7185a2187f5ff0c90">  284</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSystem.html#ae9b228ed0cabc0f7185a2187f5ff0c90">addVarForType</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> var, <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    {</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;        <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> ptaTy(type);</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="keywordflow">return</span> addVarForType(var, ptaTy);</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;</div><div class="line"><a name="l00290"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a5006938c789d97d2d1c4de3fa7a4b9a8">  290</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1TypeSystem.html#a5006938c789d97d2d1c4de3fa7a4b9a8">hasVarsForType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        TypeToVarsMapTy::const_iterator it = typeToVarsMap.find(type);</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        <span class="keywordflow">return</span> it != typeToVarsMap.end();</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"><a class="line" href="classSVF_1_1TypeSystem.html#a4e0aa8f26c1a7c51706acbba3f6642b8">  296</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> &amp;<a class="code" href="classSVF_1_1TypeSystem.html#a4e0aa8f26c1a7c51706acbba3f6642b8">getVarsForType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> &amp;<a class="code" href="classSVF_1_1PTAType.html#a748b82b463001ba95f08a7ec229c412b">type</a>)</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;        TypeToVarsMapTy::iterator it = typeToVarsMap.find(type);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it != typeToVarsMap.end() &amp;&amp; <span class="stringliteral">&quot;Can not find vars for type&quot;</span>);</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    }</div><div class="line"><a name="l00302"></a><span class="lineno">  302</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="keywordtype">void</span> printTypeSystem()<span class="keyword"> const</span></div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        <span class="keywordflow">for</span> (const_iterator it = VarToTypeSetMap.begin(),</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                eit = VarToTypeSetMap.end(); it != eit; ++it)</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;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#af0f447732c67402037a86ea29006efc2">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;Var: &quot;</span> &lt;&lt; it-&gt;first &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#af0f447732c67402037a86ea29006efc2">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;types:\n&quot;</span>;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1TypeSet.html">TypeSet</a> *typeSet = it-&gt;second;</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            typeSet-&gt;<a class="code" href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">dumpTypes</a>();</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#af0f447732c67402037a86ea29006efc2">SVFUtil::errs</a>() &lt;&lt; <span class="charliteral">&#39;\n&#39;</span>;</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;    }</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="keyword">private</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">  322</span>&#160;<span class="comment">     * Translate llvm type into ptatype and build the pagnode to ptatype map</span></div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;<span class="comment">     *</span></div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;<span class="comment">     * Kinds of PAGNode:</span></div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;<span class="comment">     * ValPN: GepValPN, DummyValPN</span></div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;<span class="comment">     * ObjPN: GepObjPN, FIObjPN, DummyObjPN</span></div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;<span class="comment">     * RetPN</span></div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;<span class="comment">     * VarArgPN</span></div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;<span class="comment">     */</span></div><div class="line"><a name="l00330"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a961bbab47530d05ddb18e4c7d58d8a69">  330</a></span>&#160;    <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1TypeSystem.html#a961bbab47530d05ddb18e4c7d58d8a69">translateLLVMTypeToPTAType</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PAG.html">PAG</a> *pag)</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;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">PAG::const_iterator</a> it = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it != pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); ++it)</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        {</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1PAGNode.html">PAGNode</a> *pagNode = it-&gt;second;</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;            <span class="keywordflow">if</span> (pagNode-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a071f592f2b811c136db5e05a6169aa99">hasValue</a>() == <span class="keyword">false</span>)</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;                <span class="keywordflow">continue</span>;</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">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *value = pagNode-&gt;<a class="code" href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">getValue</a>();</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *valType = value-&gt;getType();</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *nodeType = valType;</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="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1GepValPN.html">GepValPN</a> *gepvalnode = SVFUtil::dyn_cast&lt;GepValPN&gt;(pagNode))</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;            {</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;                nodeType = gepvalnode-&gt;getType();</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;            }</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetPN&gt;(pagNode))</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;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">llvm::PointerType</a> *ptrTy = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">llvm::PointerType</a>&gt;(valType);</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">llvm::FunctionType</a> *funTy = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a">llvm::FunctionType</a>&gt;(ptrTy-&gt;getElementType());</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;                nodeType = funTy-&gt;getReturnType();</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;            }</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;            <a class="code" href="classSVF_1_1PTAType.html">PTAType</a> ptaType(nodeType);</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;            <span class="keywordflow">if</span> (addTypeForVar(pagNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), ptaType))</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;                addVarForType(pagNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), ptaType);</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        }</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">private</span>:</div><div class="line"><a name="l00361"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#a4d8cfc39d4083158d34cc8e4dbaaa333">  361</a></span>&#160;    VarToTypeSetMapTy <a class="code" href="classSVF_1_1TypeSystem.html#a4d8cfc39d4083158d34cc8e4dbaaa333">VarToTypeSetMap</a>;</div><div class="line"><a name="l00362"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ae6d1f3a2e6449e5efb25ee0cb32cb1b3">  362</a></span>&#160;    <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet&lt;PTAType&gt;</a> <a class="code" href="classSVF_1_1TypeSystem.html#ae6d1f3a2e6449e5efb25ee0cb32cb1b3">allPTATypes</a>;</div><div class="line"><a name="l00363"></a><span class="lineno"><a class="line" href="classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80">  363</a></span>&#160;    TypeToVarsMapTy <a class="code" href="classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80">typeToVarsMap</a>;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;};</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;} <span class="comment">// End namespace SVF</span></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="preprocessor">#endif </span><span class="comment">/* PTATYPE_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00361">GenericGraph.h:361</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSystem_html_ad8106316691f8a2f01b296c484647431"><div class="ttname"><a href="classSVF_1_1TypeSystem.html#ad8106316691f8a2f01b296c484647431">SVF::TypeSystem::const_iterator</a></div><div class="ttdeci">VarToTypeSetMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00198">PTAType.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSystem_html_ae3bb1f41445bc7258f32feadbf20f64e"><div class="ttname"><a href="classSVF_1_1TypeSystem.html#ae3bb1f41445bc7258f32feadbf20f64e">SVF::TypeSystem::VarToTypeSetMapTy</a></div><div class="ttdeci">Map&lt; NodeID, TypeSet * &gt; VarToTypeSetMapTy</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00193">PTAType.h:193</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSystem_html_ae418e2ee701744813447350f9ece4f80"><div class="ttname"><a href="classSVF_1_1TypeSystem.html#ae418e2ee701744813447350f9ece4f80">SVF::TypeSystem::typeToVarsMap</a></div><div class="ttdeci">TypeToVarsMapTy typeToVarsMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00363">PTAType.h:363</a></div></div>
@@ -90,10 +90,10 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTAType_html_ae4f7f5c5980914d13cc97f3db249def6"><div class="ttname"><a href="classSVF_1_1PTAType.html#ae4f7f5c5980914d13cc97f3db249def6">SVF::PTAType::operator==</a></div><div class="ttdeci">bool operator==(const PTAType &amp;ty) const</div><div class="ttdoc">Operator overloading. </div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00063">PTAType.h:63</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a45be6b7b2f1f9754ea47e511e65d46ae"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">SVF::PAGNode::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00094">PAGNode.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph&lt; PAGNode, PAGEdge &gt;::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00338">GenericGraph.h:338</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph&lt; PAGNode, PAGEdge &gt;::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00339">GenericGraph.h:339</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSet_html_adca05e10c3313b501cfb7a26975cb8e2"><div class="ttname"><a href="classSVF_1_1TypeSet.html#adca05e10c3313b501cfb7a26975cb8e2">SVF::TypeSet::intersect</a></div><div class="ttdeci">bool intersect(const TypeSet *typeset) const</div><div class="ttdoc">Intersect with another typeset or not. </div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00140">PTAType.h:140</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00369">GenericGraph.h:369</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSet_html_a6687c5c175d601b2f1ddab8aac0bdf4e"><div class="ttname"><a href="classSVF_1_1TypeSet.html#a6687c5c175d601b2f1ddab8aac0bdf4e">SVF::TypeSet::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00111">PTAType.h:111</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSet_html_a27d5170fc3d0b9231da348fc69bdc4c1"><div class="ttname"><a href="classSVF_1_1TypeSet.html#a27d5170fc3d0b9231da348fc69bdc4c1">SVF::TypeSet::dumpTypes</a></div><div class="ttdeci">void dumpTypes() const</div><div class="ttdoc">Dump all types in the typeset. </div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00176">PTAType.h:176</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSystem_html_a8b14cbba82ee2608b1ac6007e003e93f"><div class="ttname"><a href="classSVF_1_1TypeSystem.html#a8b14cbba82ee2608b1ac6007e003e93f">SVF::TypeSystem::addVarForType</a></div><div class="ttdeci">void addVarForType(NodeID var, const PTAType &amp;type)</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00268">PTAType.h:268</a></div></div>
@@ -120,7 +120,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1TypeSystem_html_a74e6c7885929b86eb4fa3d2c587d9631"><div class="ttname"><a href="classSVF_1_1TypeSystem.html#a74e6c7885929b86eb4fa3d2c587d9631">SVF::TypeSystem::TypeToVarsMapTy</a></div><div class="ttdeci">OrderedMap&lt; PTAType, NodeBS &gt; TypeToVarsMapTy</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00195">PTAType.h:195</a></div></div>
 <div class="ttc" id="classSVF_1_1PTAType_html_a2c4257200d48cad0bda92b4298879827"><div class="ttname"><a href="classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827">SVF::PTAType::PTAType</a></div><div class="ttdeci">PTAType(const Type *ty)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00047">PTAType.h:47</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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeSystem_html_a8c8733d3ab9a28a25d9886ee97c3341f"><div class="ttname"><a href="classSVF_1_1TypeSystem.html#a8c8733d3ab9a28a25d9886ee97c3341f">SVF::TypeSystem::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="PTAType_8h_source.html#l00206">PTAType.h:206</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>

package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html CHANGED Viewed

@@ -83,11 +83,11 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_a2932b15ef74e46b676075ba1b2e82111"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111">SVF::PathCondAllocator::printPathCond</a></div><div class="ttdeci">void printPathCond()</div><div class="ttdoc">Print out the path condition information. </div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8cpp_source.html#l00534">PathCondAllocator.cpp:534</a></div></div>
 <div class="ttc" id="SVFG_8h_html"><div class="ttname"><a href="SVFG_8h.html">SVFG.h</a></div></div>
 <div class="ttc" id="classSVF_1_1DPItem_html_a5dbb0e6010b38c5b937ff06cb40cd0ef"><div class="ttname"><a href="classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef">SVF::DPItem::maximumBudget</a></div><div class="ttdeci">static u64_t maximumBudget</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00050">DPItem.h:50</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00209">BasicTypes.h:209</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1CondExpr_html"><div class="ttname"><a href="classSVF_1_1CondExpr.html">SVF::CondExpr</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00042">Conditions.h:42</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00166">SVFBasicTypes.h:166</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00168">SVFBasicTypes.h:168</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ab34383ee87cd45eb485fa29db482ffef"><div class="ttname"><a href="namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef">SVF::PostDominatorTree</a></div><div class="ttdeci">llvm::PostDominatorTree PostDominatorTree</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00198">BasicTypes.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextCond_html_a151b9f21eedd4fdd8f46b78bb456582d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">SVF::ContextCond::maximumCxt</a></div><div class="ttdeci">static u32_t maximumCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00354">DPItem.h:354</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a6528edf9a1750df4a84d1a60d4d0bbe4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil::isProgExitCall</a></div><div class="ttdeci">bool isProgExitCall(const CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00470">LLVMUtil.h:470</a></div></div>
@@ -113,7 +113,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_a3fce010083b85a4421eed4c17eb54640"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#a3fce010083b85a4421eed4c17eb54640">SVF::PathCondAllocator::allocate</a></div><div class="ttdeci">void allocate(const SVFModule *module)</div><div class="ttdoc">Perform path allocation. </div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8cpp_source.html#l00051">PathCondAllocator.cpp:51</a></div></div>
 <div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_a0d685cfd0f0652a0ff839969f763371b"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#a0d685cfd0f0652a0ff839969f763371b">SVF::PathCondAllocator::CondPosMap</a></div><div class="ttdeci">Map&lt; u32_t, Condition * &gt; CondPosMap</div><div class="ttdoc">z3 condition </div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8h_source.html#l00053">PathCondAllocator.h:53</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00152">SVFBasicTypes.h:152</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00154">SVFBasicTypes.h:154</a></div></div>
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_ab31b523d760d634811ca4d1de7fc4eb2"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#ab31b523d760d634811ca4d1de7fc4eb2">SVF::PathCondAllocator::evaluateTestNullLikeExpr</a></div><div class="ttdeci">Condition * evaluateTestNullLikeExpr(const BranchInst *brInst, const BasicBlock *succ)</div><div class="ttdoc">Return branch condition after evaluating test null like expression. </div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8cpp_source.html#l00177">PathCondAllocator.cpp:177</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
@@ -123,7 +123,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ContextCond_html_aa61b4de81e440448daaf0c5be53aebf3"><div class="ttname"><a href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">SVF::ContextCond::maximumPathLen</a></div><div class="ttdeci">static u32_t maximumPathLen</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00351">DPItem.h:351</a></div></div>
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_a5ab573cce84584c44778611ba6f4d99c"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#a5ab573cce84584c44778611ba6f4d99c">SVF::PathCondAllocator::ComputeIntraVFGGuard</a></div><div class="ttdeci">virtual Condition * ComputeIntraVFGGuard(const BasicBlock *src, const BasicBlock *dst)</div><div class="ttdoc">Guard Computation for a value-flow (between two basic blocks) </div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8cpp_source.html#l00478">PathCondAllocator.cpp:478</a></div></div>
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_abef2785eb426d5e1d6f273300c691db6"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#abef2785eb426d5e1d6f273300c691db6">SVF::PathCondAllocator::getPHIComplementCond</a></div><div class="ttdeci">virtual Condition * getPHIComplementCond(const BasicBlock *BB1, const BasicBlock *BB2, const BasicBlock *BB0)</div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8cpp_source.html#l00430">PathCondAllocator.cpp:430</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00149">SVFBasicTypes.h:149</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a737684498679dc16a26f2411d88f36aa"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a737684498679dc16a26f2411d88f36aa">SVF::SVFUtil::getBBSuccessorNum</a></div><div class="ttdeci">u32_t getBBSuccessorNum(const BasicBlock *BB)</div><div class="ttdoc">Get num of BB&amp;#39;s successors. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00331">LLVMUtil.cpp:331</a></div></div>