svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/st_8h.html

@@ -810,7 +810,8 @@ Functions</h2></td></tr>
 <p>SeeAlso [st_gen_int] </p>
 
 <p class="definition">Definition at line <a class="el" href="st_8c_source.html#l00644">644</a> of file <a class="el" href="st_8c_source.html">st.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;{</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        }</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    }</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;    }</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <a class="code" href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">void</span>)) {</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    *(<span class="keywordtype">char</span> **)value_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;    }</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;} <span class="comment">/* st_gen */</span></div><div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
+<div class="fragment"><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;{</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00647"></a><span class="lineno">  647</span>&#160;</div><div class="line"><a name="l00648"></a><span class="lineno">  648</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00649"></a><span class="lineno">  649</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        }</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;    }</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;    }</div><div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <a class="code" href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">void</span>)) {</div><div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    *(<span class="keywordtype">char</span> **)value_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;    }</div><div class="line"><a name="l00665"></a><span class="lineno">  665</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;} <span class="comment">/* st_gen */</span></div><div class="ttc" id="tools_2CFL_2CMakeLists_8txt_html_aff8b1edecee3d7c397afcfe02e05d0c7"><div class="ttname"><a href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2CFL_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
+<div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
 <div class="ttc" id="structst__generator_html_ae75565c5656c86f95323740684912519"><div class="ttname"><a href="structst__generator.html#ae75565c5656c86f95323740684912519">st_generator::table</a></div><div class="ttdeci">st_table * table</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00073">st.h:73</a></div></div>
 <div class="ttc" id="structst__table__entry_html"><div class="ttname"><a href="structst__table__entry.html">st_table_entry</a></div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00053">st.h:53</a></div></div>
 <div class="ttc" id="util_8h_html_a31bfee01545b78af63301bf9e857218b"><div class="ttname"><a href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a></div><div class="ttdeci">#define NIL(type)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00044">util.h:44</a></div></div>
@@ -819,7 +820,6 @@ Functions</h2></td></tr>
 <div class="ttc" id="structst__table__entry_html_acc9640c0f32ceb25ca51446d93fc4495"><div class="ttname"><a href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">st_table_entry::key</a></div><div class="ttdeci">char * key</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00054">st.h:54</a></div></div>
 <div class="ttc" id="structst__table_html_a8924d9633a796c5e6c03925c5344c1ad"><div class="ttname"><a href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">st_table::bins</a></div><div class="ttdeci">st_table_entry ** bins</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00068">st.h:68</a></div></div>
 <div class="ttc" id="structst__generator_html_a950d044c22c5ee51f1dc00fbc82f7e35"><div class="ttname"><a href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">st_generator::entry</a></div><div class="ttdeci">st_table_entry * entry</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00074">st.h:74</a></div></div>
-<div class="ttc" id="tools_2DDA_2CMakeLists_8txt_html_a7686df215f6da6fdcfa2c20950c96939"><div class="ttname"><a href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2DDA_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -861,7 +861,8 @@ Functions</h2></td></tr>
 <p>SeeAlso [st_gen] </p>
 
 <p class="definition">Definition at line <a class="el" href="st_8c_source.html#l00689">689</a> of file <a class="el" href="st_8c_source.html">st.c</a>.</p>
-<div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;{</div><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;        }</div><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;    }</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    }</div><div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    <a class="code" href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">int</span>)) {</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;    *value_p = (int) (<span class="keywordtype">long</span>) gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    }</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;</div><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;} <span class="comment">/* st_gen_int */</span></div><div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
+<div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;{</div><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;    <span class="keywordtype">int</span> i;</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;    <span class="comment">/* try to find next entry */</span></div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;    <span class="keywordflow">for</span>(i = gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a>; i &lt; gen-&gt;table-&gt;num_bins; i++) {</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;        <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i] != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">index</a> = i+1;</div><div class="line"><a name="l00698"></a><span class="lineno">  698</span>&#160;        gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#ae75565c5656c86f95323740684912519">table</a>-&gt;<a class="code" href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">bins</a>[i];</div><div class="line"><a name="l00699"></a><span class="lineno">  699</span>&#160;        <span class="keywordflow">break</span>;</div><div class="line"><a name="l00700"></a><span class="lineno">  700</span>&#160;        }</div><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    }</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;    <span class="keywordflow">if</span> (gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> == <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<a class="code" href="structst__table__entry.html">st_table_entry</a>)) {</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        <span class="keywordflow">return</span> 0;       <span class="comment">/* that&#39;s all folks ! */</span></div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;    }</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;    }</div><div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;    *(<span class="keywordtype">char</span> **)key_p = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">key</a>;</div><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;    <a class="code" href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a> (value_p != <a class="code" href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a>(<span class="keywordtype">int</span>)) {</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;    *value_p = (int) (<span class="keywordtype">long</span>) gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#abebe2de41d7c13a541ffb1220ca69943">record</a>;</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;    }</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a> = gen-&gt;<a class="code" href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">entry</a>-&gt;<a class="code" href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">next</a>;</div><div class="line"><a name="l00711"></a><span class="lineno">  711</span>&#160;    <span class="keywordflow">return</span> 1;</div><div class="line"><a name="l00712"></a><span class="lineno">  712</span>&#160;</div><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;} <span class="comment">/* st_gen_int */</span></div><div class="ttc" id="tools_2CFL_2CMakeLists_8txt_html_aff8b1edecee3d7c397afcfe02e05d0c7"><div class="ttname"><a href="tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2CFL_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
+<div class="ttc" id="structst__table__entry_html_a8c7fef89f13d76633cd71d595d39181d"><div class="ttname"><a href="structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d">st_table_entry::next</a></div><div class="ttdeci">st_table_entry * next</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00056">st.h:56</a></div></div>
 <div class="ttc" id="structst__generator_html_ae75565c5656c86f95323740684912519"><div class="ttname"><a href="structst__generator.html#ae75565c5656c86f95323740684912519">st_generator::table</a></div><div class="ttdeci">st_table * table</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00073">st.h:73</a></div></div>
 <div class="ttc" id="structst__table__entry_html"><div class="ttname"><a href="structst__table__entry.html">st_table_entry</a></div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00053">st.h:53</a></div></div>
 <div class="ttc" id="util_8h_html_a31bfee01545b78af63301bf9e857218b"><div class="ttname"><a href="util_8h.html#a31bfee01545b78af63301bf9e857218b">NIL</a></div><div class="ttdeci">#define NIL(type)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00044">util.h:44</a></div></div>
@@ -870,7 +871,6 @@ Functions</h2></td></tr>
 <div class="ttc" id="structst__table__entry_html_acc9640c0f32ceb25ca51446d93fc4495"><div class="ttname"><a href="structst__table__entry.html#acc9640c0f32ceb25ca51446d93fc4495">st_table_entry::key</a></div><div class="ttdeci">char * key</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00054">st.h:54</a></div></div>
 <div class="ttc" id="structst__table_html_a8924d9633a796c5e6c03925c5344c1ad"><div class="ttname"><a href="structst__table.html#a8924d9633a796c5e6c03925c5344c1ad">st_table::bins</a></div><div class="ttdeci">st_table_entry ** bins</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00068">st.h:68</a></div></div>
 <div class="ttc" id="structst__generator_html_a950d044c22c5ee51f1dc00fbc82f7e35"><div class="ttname"><a href="structst__generator.html#a950d044c22c5ee51f1dc00fbc82f7e35">st_generator::entry</a></div><div class="ttdeci">st_table_entry * entry</div><div class="ttdef"><b>Definition:</b> <a href="st_8h_source.html#l00074">st.h:74</a></div></div>
-<div class="ttc" id="tools_2DDA_2CMakeLists_8txt_html_a7686df215f6da6fdcfa2c20950c96939"><div class="ttname"><a href="tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939">if</a></div><div class="ttdeci">if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $</div><div class="ttdef"><b>Definition:</b> <a href="tools_2DDA_2CMakeLists_8txt_source.html#l00002">CMakeLists.txt:2</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4-members.html

@@ -0,0 +1,87 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">DOTGraphTraits&lt; CFLGraph * &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">llvm::DOTGraphTraits&lt; CFLGraph * &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a0a47c58da5bab4b282856a0c7616388e">DOTGraphTraits</a>(bool isSimple=false)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271">getEdgeAttributes</a>(CFLNode *, EdgeIter EI, CFLGraph *graph)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f">getEdgeSourceLabel</a>(NodeType *, EdgeIter EI)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d">getGraphName</a>(CFLGraph *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11">getNodeAttributes</a>(CFLNode *node, CFLGraph *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1">getNodeLabel</a>(CFLNode *node, CFLGraph *)</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6e417cb13c4cdff831f257a66d031630">NodeType</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a></td><td class="entry"></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>