Deploying to gh-pages from @ 1ff3ac8 🚀

Author: fabianbs96

AbstractMemoryLocationFactory_8h.html

@@ -114,7 +114,7 @@
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
-Generated on Tue Apr 7 2026 09:47:18 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
+Generated on Thu Apr 9 2026 16:27:47 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
 </small></address>
 </body>
 </html>

AbstractMemoryLocationFactory_8h_source.html

@@ -174,7 +174,7 @@
 <div class="line"><a id="l00082" name="l00082"></a><span class="lineno">   82</span>                        llvm::ArrayRef&lt;ptrdiff_t&gt; <a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">Ind</a>);</div>
 <div class="line"><a id="l00083" name="l00083"></a><span class="lineno">   83</span>  <span class="keyword">const</span> AbstractMemoryLocationImpl *</div>
 <div class="line"><a id="l00084" name="l00084"></a><span class="lineno">   84</span>  withOffsetImpl(<span class="keyword">const</span> AbstractMemoryLocationImpl *<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">AML</a>,</div>
-<div class="line"><a id="l00085" name="l00085"></a><span class="lineno">   85</span>                 <span class="keyword">const</span> llvm::GEPOperator *<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">Gep</a>);</div>
+<div class="line"><a id="l00085" name="l00085"></a><span class="lineno">   85</span>                 <span class="keyword">const</span> llvm::GEPOperator *Gep);</div>
 <div class="line"><a id="l00086" name="l00086"></a><span class="lineno">   86</span> </div>
 <div class="line"><a id="l00087" name="l00087"></a><span class="lineno">   87</span>  <span class="keyword">const</span> AbstractMemoryLocationImpl *</div>
 <div class="line"><a id="l00088" name="l00088"></a><span class="lineno">   88</span>  withOffsetsImpl(<span class="keyword">const</span> AbstractMemoryLocationImpl *<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">AML</a>,</div>
@@ -258,8 +258,8 @@
 <div class="line"><a id="l00155" name="l00155"></a><span class="lineno">  155</span> </div>
 <div class="line"><a id="l00156" name="l00156"></a><span class="lineno">  156</span>  [[<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">nodiscard</a>]] <a class="code hl_class" href="classpsr_1_1AbstractMemoryLocation.html">AbstractMemoryLocation</a></div>
 <div class="foldopen" id="foldopen00157" data-start="{" data-end="}">
-<div class="line"><a id="l00157" name="l00157"></a><span class="lineno"><a class="line" href="classpsr_1_1AbstractMemoryLocationFactory_3_01AbstractMemoryLocation_01_4.html#adb0eac40591c291084a47fbd908ff0a9">  157</a></span>  <a class="code hl_function" href="classpsr_1_1AbstractMemoryLocationFactory_3_01AbstractMemoryLocation_01_4.html#adb0eac40591c291084a47fbd908ff0a9">withOffset</a>(<span class="keyword">const</span> <a class="code hl_class" href="classpsr_1_1AbstractMemoryLocation.html">AbstractMemoryLocation</a> &amp;<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">AML</a>, <span class="keyword">const</span> llvm::GEPOperator *<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">Gep</a>) {</div>
-<div class="line"><a id="l00158" name="l00158"></a><span class="lineno">  158</span>    <span class="keywordflow">return</span> {withOffsetImpl(<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">AML</a>.operator-&gt;(), <a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">Gep</a>)};</div>
+<div class="line"><a id="l00157" name="l00157"></a><span class="lineno"><a class="line" href="classpsr_1_1AbstractMemoryLocationFactory_3_01AbstractMemoryLocation_01_4.html#adb0eac40591c291084a47fbd908ff0a9">  157</a></span>  <a class="code hl_function" href="classpsr_1_1AbstractMemoryLocationFactory_3_01AbstractMemoryLocation_01_4.html#adb0eac40591c291084a47fbd908ff0a9">withOffset</a>(<span class="keyword">const</span> <a class="code hl_class" href="classpsr_1_1AbstractMemoryLocation.html">AbstractMemoryLocation</a> &amp;<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">AML</a>, <span class="keyword">const</span> llvm::GEPOperator *Gep) {</div>
+<div class="line"><a id="l00158" name="l00158"></a><span class="lineno">  158</span>    <span class="keywordflow">return</span> {withOffsetImpl(<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">AML</a>.operator-&gt;(), Gep)};</div>
 <div class="line"><a id="l00159" name="l00159"></a><span class="lineno">  159</span>  }</div>
 </div>
 <div class="line"><a id="l00160" name="l00160"></a><span class="lineno">  160</span> </div>
@@ -320,7 +320,7 @@
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
-Generated on Tue Apr 7 2026 09:47:18 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
+Generated on Thu Apr 9 2026 16:27:47 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
 </small></address>
 </body>
 </html>

AbstractMemoryLocation_8h.html

@@ -139,7 +139,7 @@
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
-Generated on Tue Apr 7 2026 09:47:18 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
+Generated on Thu Apr 9 2026 16:27:47 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
 </small></address>
 </body>
 </html>

AbstractMemoryLocation_8h_source.html

@@ -190,7 +190,7 @@
 <div class="line"><a id="l00098" name="l00098"></a><span class="lineno">   98</span><span class="comment">  /// \return The byte offset, iff all indices are constants. Otherwise</span></div>
 <div class="line"><a id="l00099" name="l00099"></a><span class="lineno">   99</span><span class="comment">  /// std::nullopt</span></div>
 <div class="line"><a id="l00100" name="l00100"></a><span class="lineno">  100</span><span class="comment"></span>  <span class="keyword">static</span> std::optional&lt;ptrdiff_t&gt; computeOffset(<span class="keyword">const</span> llvm::DataLayout &amp;DL,</div>
-<div class="line"><a id="l00101" name="l00101"></a><span class="lineno">  101</span>                                                <span class="keyword">const</span> llvm::GEPOperator *<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">Gep</a>);</div>
+<div class="line"><a id="l00101" name="l00101"></a><span class="lineno">  101</span>                                                <span class="keyword">const</span> llvm::GEPOperator *Gep);</div>
 <div class="line"><a id="l00102" name="l00102"></a><span class="lineno">  102</span> </div>
 <div class="line"><a id="l00103" name="l00103"></a><span class="lineno">  103</span>  [[<a class="code hl_typedef" href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">nodiscard</a>]] <span class="keyword">inline</span> <span class="keywordtype">bool</span> isOverApproximation()<span class="keyword"> const </span>{</div>
 <div class="line"><a id="l00104" name="l00104"></a><span class="lineno">  104</span>    <span class="keywordflow">return</span> lifetime() == 0;</div>
@@ -362,13 +362,13 @@
 <div class="ttc" id="anamespacepsr_html_a5462787d6bd41739c36e66d99f2aee6a"><div class="ttname"><a href="namespacepsr.html#a5462787d6bd41739c36e66d99f2aee6a">psr::DToString</a></div><div class="ttdeci">std::string DToString(const AbstractMemoryLocation &amp;AML)</div></div>
 <div class="ttc" id="anamespacepsr_html_a59a0fecbcbfc7fd26895ce886965375d"><div class="ttname"><a href="namespacepsr.html#a59a0fecbcbfc7fd26895ce886965375d">psr::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const LatticeDomain&lt; L &gt; &amp;Lhs, const LatticeDomain&lt; L &gt; &amp;Rhs)</div><div class="ttdef"><b>Definition</b> <a href="LatticeDomain_8h_source.html#l00188">LatticeDomain.h:188</a></div></div>
 <div class="ttc" id="anamespacepsr_html_ab1fa2b63d3a5ab4934961480f678afea"><div class="ttname"><a href="namespacepsr.html#ab1fa2b63d3a5ab4934961480f678afea">psr::ByConstRef</a></div><div class="ttdeci">std::conditional_t&lt; CanEfficientlyPassByValue&lt; T &gt;, T, const T &amp; &gt; ByConstRef</div><div class="ttdef"><b>Definition</b> <a href="ByRef_8h_source.html#l00024">ByRef.h:25</a></div></div>
-<div class="ttc" id="anamespacepsr_html_ae978c20a03ae03bd7b2c13119a2a0ab5"><div class="ttname"><a href="namespacepsr.html#ae978c20a03ae03bd7b2c13119a2a0ab5">psr::LLVMAliasInfoRef</a></div><div class="ttdeci">AliasInfoRef&lt; const llvm::Value *, const llvm::Instruction * &gt; LLVMAliasInfoRef</div><div class="ttdef"><b>Definition</b> <a href="LLVMAliasInfo_8h_source.html#l00027">LLVMAliasInfo.h:28</a></div></div>
+<div class="ttc" id="anamespacepsr_html_ae978c20a03ae03bd7b2c13119a2a0ab5"><div class="ttname"><a href="namespacepsr.html#ae978c20a03ae03bd7b2c13119a2a0ab5">psr::LLVMAliasInfoRef</a></div><div class="ttdeci">AliasInfoRef&lt; const llvm::Value *, const llvm::Instruction * &gt; LLVMAliasInfoRef</div><div class="ttdef"><b>Definition</b> <a href="LLVMAliasInfo_8h_source.html#l00032">LLVMAliasInfo.h:33</a></div></div>
 <div class="ttc" id="anamespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div><div class="ttdoc">STL namespace.</div></div>
 <div class="ttc" id="astructstd_1_1hash_3_01psr_1_1AbstractMemoryLocation_01_4_html_ab5e4f7d05f2251867c509b9e17a259aa"><div class="ttname"><a href="structstd_1_1hash_3_01psr_1_1AbstractMemoryLocation_01_4.html#ab5e4f7d05f2251867c509b9e17a259aa">std::hash&lt; psr::AbstractMemoryLocation &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const psr::AbstractMemoryLocation &amp;Val) const</div><div class="ttdef"><b>Definition</b> <a href="AbstractMemoryLocation_8h_source.html#l00233">AbstractMemoryLocation.h:233</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
-Generated on Tue Apr 7 2026 09:47:18 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
+Generated on Thu Apr 9 2026 16:27:47 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
 </small></address>
 </body>
 </html>

AdjacencyList_8h.html

@@ -120,7 +120,7 @@
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
-Generated on Tue Apr 7 2026 09:47:18 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
+Generated on Thu Apr 9 2026 16:27:48 for PhASAR by&#160;<a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.9.8
 </small></address>
 </body>
 </html>