<html><body bgcolor="white">b'<?xml version="1.0" encoding="UTF-8" standalone="no"?>\r\n<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"\r\n "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">\r\n<!-- Generated by graphviz version 2.38.0 (20140413.2041)\r\n -->\r\n<!-- Title: ExplodedGraph Pages: 1 -->\r\n<svg width="956pt" height="2251pt"\r\n viewBox="0.00 0.00 955.50 2251.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">\r\n<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 2247)">\r\n<title>ExplodedGraph</title>\r\n<polygon fill="white" stroke="none" points="-4,4 -4,-2247 951.5,-2247 951.5,4 -4,4"/>\r\n<!-- Node0x236937e6f70 -->\r\n<g id="node1" class="node"><title>Node0x236937e6f70</title>\r\n<polygon fill="none" stroke="black" points="236,-2098.5 236,-2242.5 699,-2242.5 699,-2098.5 236,-2098.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="246.5,-2217.5 246.5,-2236.5 689.5,-2236.5 689.5,-2217.5 246.5,-2217.5"/>\r\n<text text-anchor="start" x="446.5" y="-2224.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 0</text>\r\n<text text-anchor="start" x="248.5" y="-2203.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="252.5" y="-2177.3" font-family="Times New Roman,serif" font-size="14.00">1.</text>\r\n<text text-anchor="start" x="356.5" y="-2177.3" font-family="Times New Roman,serif" font-size="14.00" fill="#cdad00">BlockEdge</text>\r\n<text text-anchor="start" x="444.5" y="-2177.3" font-family="Times New Roman,serif" font-size="14.00">[B2] -> [B1]</text>\r\n<text text-anchor="start" x="252.5" y="-2156.3" font-family="Times New Roman,serif" font-size="14.00">2.</text>\r\n<text text-anchor="start" x="356.5" y="-2156.3" font-family="Times New Roman,serif" font-size="14.00" fill="#cdad00">BlockEntrance</text>\r\n<text text-anchor="start" x="444.5" y="-2156.3" font-family="Times New Roman,serif" font-size="14.00">[B1]</text>\r\n<text text-anchor="start" x="252.5" y="-2135.3" font-family="Times New Roman,serif" font-size="14.00">3.</text>\r\n<text text-anchor="start" x="269.5" y="-2136.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="318.5" y="-2136.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="326.5" y="-2136.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="330.5" y="-2136.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="346.5" y="-2136.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="356.5" y="-2136.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclRefExpr</text>\r\n<text text-anchor="start" x="429.5" y="-2136.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="444.5" y="-2136.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="520.5" y="-2135.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreStmtPurgeDeadSymbols</text>\r\n<text text-anchor="start" x="356.5" y="-2115.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="389.5" y="-2115.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="393.5" y="-2115.3" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">ExprEngine : Clean Node</text>\r\n</g>\r\n<!-- Node0x236937e7198 -->\r\n<g id="node2" class="node"><title>Node0x236937e7198</title>\r\n<polygon fill="none" stroke="black" points="300,-1888.5 300,-2061.5 635,-2061.5 635,-1888.5 300,-1888.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="310.5,-2036 310.5,-2055 625.5,-2055 625.5,-2036 310.5,-2036"/>\r\n<text text-anchor="start" x="442.5" y="-2042.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 69</text>\r\n<text text-anchor="start" x="312.5" y="-2021.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="316.5" y="-1995.8" font-family="Times New Roman,serif" font-size="14.00">4.</text>\r\n<text text-anchor="start" x="333.5" y="-1996.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="382.5" y="-1996.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="390.5" y="-1996.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="394.5" y="-1996.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="410.5" y="-1996.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="420.5" y="-1996.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclRefExpr</text>\r\n<text text-anchor="start" x="493.5" y="-1996.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="503.5" y="-1996.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="540.5" y="-1995.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostLValue</text>\r\n<text text-anchor="start" x="612.5" y="-1995.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="316.5" y="-1974.8" font-family="Times New Roman,serif" font-size="14.00">5.</text>\r\n<text text-anchor="start" x="333.5" y="-1975.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="382.5" y="-1975.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="390.5" y="-1975.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="394.5" y="-1975.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="410.5" y="-1975.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="420.5" y="-1975.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclRefExpr</text>\r\n<text text-anchor="start" x="493.5" y="-1975.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="503.5" y="-1975.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="540.5" y="-1974.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="612.5" y="-1974.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="312.5" y="-1950.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="361.5" y="-1925.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="451.5" y="-1924.8" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="361.5" y="-1904.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="451.5" y="-1904.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="504.5" y="-1903.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="561.5" y="-1903.8" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<polygon fill="black" stroke="black" points="308.5,-1964 308.5,-1964 627.5,-1964 627.5,-1964 308.5,-1964"/>\r\n</g>\r\n<!-- Node0x236937e6f70->Node0x236937e7198 -->\r\n<g id="edge1" class="edge"><title>Node0x236937e6f70->Node0x236937e7198</title>\r\n<path fill="none" stroke="black" d="M467.5,-2098.27C467.5,-2089.58 467.5,-2080.59 467.5,-2071.62"/>\r\n<polygon fill="black" stroke="black" points="471,-2071.51 467.5,-2061.51 464,-2071.51 471,-2071.51"/>\r\n</g>\r\n<!-- Node0x236937e73c8 -->\r\n<g id="node3" class="node"><title>Node0x236937e73c8</title>\r\n<polygon fill="none" stroke="black" points="239.5,-1657.5 239.5,-1851.5 695.5,-1851.5 695.5,-1657.5 239.5,-1657.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="249.5,-1826.5 249.5,-1845.5 685.5,-1845.5 685.5,-1826.5 249.5,-1826.5"/>\r\n<text text-anchor="start" x="438.5" y="-1833.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 139</text>\r\n<text text-anchor="start" x="251.5" y="-1812.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="255.5" y="-1786.3" font-family="Times New Roman,serif" font-size="14.00">6.</text>\r\n<text text-anchor="start" x="272.5" y="-1787.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="321.5" y="-1787.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="329.5" y="-1787.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="333.5" y="-1787.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="349.5" y="-1787.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="359.5" y="-1787.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="564.5" y="-1787.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="574.5" y="-1787.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="611.5" y="-1786.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostLoad</text>\r\n<text text-anchor="start" x="672.5" y="-1786.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="255.5" y="-1765.3" font-family="Times New Roman,serif" font-size="14.00">7.</text>\r\n<text text-anchor="start" x="272.5" y="-1766.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="321.5" y="-1766.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="329.5" y="-1766.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="333.5" y="-1766.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="349.5" y="-1766.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="359.5" y="-1766.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="564.5" y="-1766.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="574.5" y="-1766.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="611.5" y="-1765.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="672.5" y="-1765.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="251.5" y="-1741.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="292.5" y="-1716.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="374.5" y="-1715.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="292.5" y="-1695.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="374.5" y="-1695.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="419.5" y="-1694.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="468.5" y="-1694.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="292.5" y="-1674.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="374.5" y="-1674.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="419.5" y="-1673.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="468.5" y="-1673.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<polygon fill="black" stroke="black" points="247.5,-1754.5 247.5,-1754.5 687.5,-1754.5 687.5,-1754.5 247.5,-1754.5"/>\r\n</g>\r\n<!-- Node0x236937e7198->Node0x236937e73c8 -->\r\n<g id="edge2" class="edge"><title>Node0x236937e7198->Node0x236937e73c8</title>\r\n<path fill="none" stroke="black" d="M467.5,-1888.27C467.5,-1879.68 467.5,-1870.88 467.5,-1862.11"/>\r\n<polygon fill="black" stroke="black" points="471,-1861.83 467.5,-1851.83 464,-1861.83 471,-1861.83"/>\r\n</g>\r\n<!-- Node0x236937e7590 -->\r\n<g id="node4" class="node"><title>Node0x236937e7590</title>\r\n<polygon fill="none" stroke="black" points="297.5,-1426.5 297.5,-1620.5 637.5,-1620.5 637.5,-1426.5 297.5,-1426.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="307.5,-1595.5 307.5,-1614.5 627.5,-1614.5 627.5,-1595.5 307.5,-1595.5"/>\r\n<text text-anchor="start" x="438.5" y="-1602.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 196</text>\r\n<text text-anchor="start" x="309.5" y="-1581.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="313.5" y="-1555.3" font-family="Times New Roman,serif" font-size="14.00">8.</text>\r\n<text text-anchor="start" x="330.5" y="-1556.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="379.5" y="-1556.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="387.5" y="-1556.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="391.5" y="-1556.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="407.5" y="-1556.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="417.5" y="-1556.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">UnaryOperator</text>\r\n<text text-anchor="start" x="502.5" y="-1556.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="512.5" y="-1556.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S555</text>\r\n<text text-anchor="start" x="549.5" y="-1555.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="607.5" y="-1555.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="309.5" y="-1531.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="327.5" y="-1506.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="386.5" y="-1505.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="327.5" y="-1485.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="386.5" y="-1485.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="405.5" y="-1484.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="434.5" y="-1484.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="327.5" y="-1464.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="386.5" y="-1464.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="405.5" y="-1463.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="434.5" y="-1463.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="327.5" y="-1443.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S555</text>\r\n<text text-anchor="start" x="386.5" y="-1443.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="405.5" y="-1442.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="434.5" y="-1442.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<polygon fill="black" stroke="black" points="305.5,-1544.5 305.5,-1544.5 629.5,-1544.5 629.5,-1544.5 305.5,-1544.5"/>\r\n</g>\r\n<!-- Node0x236937e73c8->Node0x236937e7590 -->\r\n<g id="edge3" class="edge"><title>Node0x236937e73c8->Node0x236937e7590</title>\r\n<path fill="none" stroke="black" d="M467.5,-1657.38C467.5,-1648.67 467.5,-1639.81 467.5,-1631.02"/>\r\n<polygon fill="black" stroke="black" points="471,-1630.74 467.5,-1620.74 464,-1630.74 471,-1630.74"/>\r\n</g>\r\n<!-- Node0x236937e77f0 -->\r\n<g id="node5" class="node"><title>Node0x236937e77f0</title>\r\n<polygon fill="none" stroke="black" points="0,-1103.5 0,-1389.5 457,-1389.5 457,-1103.5 0,-1103.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="10.5,-1364.5 10.5,-1383.5 447.5,-1383.5 447.5,-1364.5 10.5,-1364.5"/>\r\n<text text-anchor="start" x="200" y="-1371.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 272</text>\r\n<text text-anchor="start" x="12.5" y="-1350.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="16.5" y="-1324.3" font-family="Times New Roman,serif" font-size="14.00">9.</text>\r\n<text text-anchor="start" x="33.5" y="-1325.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="82.5" y="-1325.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="90.5" y="-1325.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="94.5" y="-1325.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="110.5" y="-1325.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="120.5" y="-1325.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="325.5" y="-1325.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="335.5" y="-1325.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="372.5" y="-1324.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreLoad</text>\r\n<text text-anchor="start" x="427.5" y="-1324.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="120.5" y="-1304.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="153.5" y="-1304.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="157.5" y="-1304.3" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">core.NullDereference</text>\r\n<text text-anchor="start" x="120.5" y="-1283.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="cornflowerblue">Sink Node</text>\r\n<text text-anchor="start" x="12.5" y="-1258.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="54.5" y="-1233.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="136.5" y="-1232.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="54.5" y="-1212.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="136.5" y="-1212.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="178.5" y="-1211.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="230.5" y="-1211.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="54.5" y="-1191.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="136.5" y="-1191.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="178.5" y="-1190.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="230.5" y="-1190.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="54.5" y="-1170.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S555</text>\r\n<text text-anchor="start" x="136.5" y="-1170.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="178.5" y="-1169.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="230.5" y="-1169.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="12.5" y="-1145.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Ranges: </text>\r\n<text text-anchor="start" x="113.5" y="-1119.3" font-family="Times New Roman,serif" font-size="14.00">reg_$0<int * x></text>\r\n<text text-anchor="start" x="299.5" y="-1119.3" font-family="Times New Roman,serif" font-size="14.00">{ [0, 0] }</text>\r\n<polygon fill="black" stroke="black" points="8.5,-1271.5 8.5,-1271.5 449.5,-1271.5 449.5,-1271.5 8.5,-1271.5"/>\r\n<polygon fill="black" stroke="black" points="8.5,-1158.5 8.5,-1158.5 449.5,-1158.5 449.5,-1158.5 8.5,-1158.5"/>\r\n</g>\r\n<!-- Node0x236937e7590->Node0x236937e77f0 -->\r\n<g id="edge4" class="edge"><title>Node0x236937e7590->Node0x236937e77f0</title>\r\n<path fill="none" stroke="black" d="M383.909,-1426.32C375.65,-1416.81 367.138,-1407.02 358.553,-1397.14"/>\r\n<polygon fill="black" stroke="black" points="361.178,-1394.83 351.976,-1389.58 355.894,-1399.42 361.178,-1394.83"/>\r\n</g>\r\n<!-- Node0x236937e7838 -->\r\n<g id="node6" class="node"><title>Node0x236937e7838</title>\r\n<polygon fill="none" stroke="black" points="475.5,-1114 475.5,-1379 939.5,-1379 939.5,-1114 475.5,-1114"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="485.5,-1353.5 485.5,-1372.5 929.5,-1372.5 929.5,-1353.5 485.5,-1353.5"/>\r\n<text text-anchor="start" x="678.5" y="-1360.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 248</text>\r\n<text text-anchor="start" x="487.5" y="-1339.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="491.5" y="-1313.3" font-family="Times New Roman,serif" font-size="14.00">10.</text>\r\n<text text-anchor="start" x="515.5" y="-1314.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="564.5" y="-1314.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="572.5" y="-1314.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="576.5" y="-1314.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="592.5" y="-1314.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="602.5" y="-1314.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="807.5" y="-1314.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="817.5" y="-1314.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="854.5" y="-1313.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreLoad</text>\r\n<text text-anchor="start" x="909.5" y="-1313.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="602.5" y="-1293.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="635.5" y="-1293.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="639.5" y="-1293.3" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">core.NullDereference</text>\r\n<text text-anchor="start" x="487.5" y="-1268.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="530.5" y="-1243.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="614.5" y="-1242.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="530.5" y="-1222.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="614.5" y="-1222.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="658.5" y="-1221.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="711.5" y="-1221.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="530.5" y="-1201.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="614.5" y="-1201.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="658.5" y="-1200.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="711.5" y="-1200.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="530.5" y="-1180.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S555</text>\r\n<text text-anchor="start" x="614.5" y="-1180.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="658.5" y="-1179.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="711.5" y="-1179.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="487.5" y="-1155.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Ranges: </text>\r\n<text text-anchor="start" x="547.5" y="-1129.3" font-family="Times New Roman,serif" font-size="14.00">reg_$0<int * x></text>\r\n<text text-anchor="start" x="693.5" y="-1129.3" font-family="Times New Roman,serif" font-size="14.00">{ [1, 18446744073709551615] }</text>\r\n<polygon fill="black" stroke="black" points="483.5,-1281.5 483.5,-1281.5 931.5,-1281.5 931.5,-1281.5 483.5,-1281.5"/>\r\n<polygon fill="black" stroke="black" points="483.5,-1168.5 483.5,-1168.5 931.5,-1168.5 931.5,-1168.5 483.5,-1168.5"/>\r\n</g>\r\n<!-- Node0x236937e7590->Node0x236937e7838 -->\r\n<g id="edge5" class="edge"><title>Node0x236937e7590->Node0x236937e7838</title>\r\n<path fill="none" stroke="black" d="M551.44,-1426.32C562.514,-1413.63 574.039,-1400.42 585.588,-1387.19"/>\r\n<polygon fill="black" stroke="black" points="588.449,-1389.24 592.388,-1379.4 583.175,-1384.63 588.449,-1389.24"/>\r\n</g>\r\n<!-- Node0x236937e7b38 -->\r\n<g id="node7" class="node"><title>Node0x236937e7b38</title>\r\n<polygon fill="none" stroke="black" points="467.5,-780.5 467.5,-1066.5 947.5,-1066.5 947.5,-780.5 467.5,-780.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="477.5,-1041.5 477.5,-1060.5 937.5,-1060.5 937.5,-1041.5 477.5,-1041.5"/>\r\n<text text-anchor="start" x="678.5" y="-1048.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 377</text>\r\n<text text-anchor="start" x="479.5" y="-1027.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="483.5" y="-1001.3" font-family="Times New Roman,serif" font-size="14.00">11.</text>\r\n<text text-anchor="start" x="509.5" y="-1002.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="558.5" y="-1002.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="566.5" y="-1002.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="570.5" y="-1002.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="586.5" y="-1002.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="598.5" y="-1002.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="803.5" y="-1002.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="815.5" y="-1002.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="854.5" y="-1001.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostLoad</text>\r\n<text text-anchor="start" x="916.5" y="-1001.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="483.5" y="-980.3" font-family="Times New Roman,serif" font-size="14.00">12.</text>\r\n<text text-anchor="start" x="509.5" y="-981.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="558.5" y="-981.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="566.5" y="-981.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="570.5" y="-981.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="586.5" y="-981.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="598.5" y="-981.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="803.5" y="-981.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="815.5" y="-981.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="854.5" y="-980.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="916.5" y="-980.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="479.5" y="-956.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="489.5" y="-931.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="540.5" y="-930.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="489.5" y="-910.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S548</text>\r\n<text text-anchor="start" x="540.5" y="-910.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="551.5" y="-909.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="572.5" y="-909.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="489.5" y="-889.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="540.5" y="-889.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="551.5" y="-888.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="572.5" y="-888.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="489.5" y="-868.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S555</text>\r\n<text text-anchor="start" x="540.5" y="-868.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="551.5" y="-867.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="572.5" y="-867.3" font-family="Times New Roman,serif" font-size="14.00">&SymRegion{reg_$0<int * x>}</text>\r\n<text text-anchor="start" x="489.5" y="-847.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="540.5" y="-847.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="551.5" y="-846.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="572.5" y="-846.3" font-family="Times New Roman,serif" font-size="14.00">reg_$1<int Element{SymRegion{reg_$0<int * x>},0 S64b,int}></text>\r\n<text text-anchor="start" x="479.5" y="-822.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Ranges: </text>\r\n<text text-anchor="start" x="545.5" y="-796.3" font-family="Times New Roman,serif" font-size="14.00">reg_$0<int * x></text>\r\n<text text-anchor="start" x="696.5" y="-796.3" font-family="Times New Roman,serif" font-size="14.00">{ [1, 18446744073709551615] }</text>\r\n<polygon fill="black" stroke="black" points="475.5,-969.5 475.5,-969.5 939.5,-969.5 939.5,-969.5 475.5,-969.5"/>\r\n<polygon fill="black" stroke="black" points="475.5,-835.5 475.5,-835.5 939.5,-835.5 939.5,-835.5 475.5,-835.5"/>\r\n</g>\r\n<!-- Node0x236937e7838->Node0x236937e7b38 -->\r\n<g id="edge6" class="edge"><title>Node0x236937e7838->Node0x236937e7b38</title>\r\n<path fill="none" stroke="black" d="M707.5,-1113.55C707.5,-1101.46 707.5,-1089.14 707.5,-1076.89"/>\r\n<polygon fill="black" stroke="black" points="711,-1076.62 707.5,-1066.62 704,-1076.62 711,-1076.62"/>\r\n</g>\r\n<!-- Node0x236937e7bf8 -->\r\n<g id="node8" class="node"><title>Node0x236937e7bf8</title>\r\n<polygon fill="none" stroke="black" points="467.5,-520.5 467.5,-743.5 947.5,-743.5 947.5,-520.5 467.5,-520.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="477.5,-718 477.5,-737 937.5,-737 937.5,-718 477.5,-718"/>\r\n<text text-anchor="start" x="678.5" y="-724.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 401</text>\r\n<text text-anchor="start" x="479.5" y="-703.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="483.5" y="-677.8" font-family="Times New Roman,serif" font-size="14.00">13.</text>\r\n<text text-anchor="start" x="521.5" y="-678.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="570.5" y="-678.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="578.5" y="-678.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="582.5" y="-678.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">3</text>\r\n<text text-anchor="start" x="590.5" y="-678.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="614.5" y="-678.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclStmt</text>\r\n<text text-anchor="start" x="666.5" y="-678.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="690.5" y="-678.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S561</text>\r\n<text text-anchor="start" x="741.5" y="-677.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreStmtPurgeDeadSymbols</text>\r\n<text text-anchor="start" x="614.5" y="-657.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="647.5" y="-657.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="651.5" y="-657.8" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">ExprEngine : Clean Node</text>\r\n<text text-anchor="start" x="479.5" y="-632.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="489.5" y="-607.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="540.5" y="-606.8" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="489.5" y="-586.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="540.5" y="-586.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="551.5" y="-585.8" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="572.5" y="-585.8" font-family="Times New Roman,serif" font-size="14.00">reg_$1<int Element{SymRegion{reg_$0<int * x>},0 S64b,int}></text>\r\n<text text-anchor="start" x="479.5" y="-561.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Ranges: </text>\r\n<text text-anchor="start" x="545.5" y="-535.8" font-family="Times New Roman,serif" font-size="14.00">reg_$0<int * x></text>\r\n<text text-anchor="start" x="696.5" y="-535.8" font-family="Times New Roman,serif" font-size="14.00">{ [1, 18446744073709551615] }</text>\r\n<polygon fill="black" stroke="black" points="475.5,-646 475.5,-646 939.5,-646 939.5,-646 475.5,-646"/>\r\n<polygon fill="black" stroke="black" points="475.5,-575 475.5,-575 939.5,-575 939.5,-575 475.5,-575"/>\r\n</g>\r\n<!-- Node0x236937e7b38->Node0x236937e7bf8 -->\r\n<g id="edge7" class="edge"><title>Node0x236937e7b38->Node0x236937e7bf8</title>\r\n<path fill="none" stroke="black" d="M707.5,-780.294C707.5,-771.455 707.5,-762.604 707.5,-753.872"/>\r\n<polygon fill="black" stroke="black" points="711,-753.683 707.5,-743.683 704,-753.684 711,-753.683"/>\r\n</g>\r\n<!-- Node0x236937e7de8 -->\r\n<g id="node9" class="node"><title>Node0x236937e7de8</title>\r\n<polygon fill="none" stroke="black" points="467.5,-189.5 467.5,-483.5 947.5,-483.5 947.5,-189.5 467.5,-189.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="477.5,-458.5 477.5,-477.5 937.5,-477.5 937.5,-458.5 477.5,-458.5"/>\r\n<text text-anchor="start" x="678.5" y="-465.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 452</text>\r\n<text text-anchor="start" x="479.5" y="-444.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="483.5" y="-418.3" font-family="Times New Roman,serif" font-size="14.00">14.</text>\r\n<text text-anchor="start" x="521.5" y="-419.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="570.5" y="-419.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="578.5" y="-419.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="582.5" y="-419.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">3</text>\r\n<text text-anchor="start" x="590.5" y="-419.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="614.5" y="-419.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclStmt</text>\r\n<text text-anchor="start" x="666.5" y="-419.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="696.5" y="-419.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S561</text>\r\n<text text-anchor="start" x="785.5" y="-418.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStore</text>\r\n<text text-anchor="start" x="860.5" y="-418.3" font-family="Times New Roman,serif" font-size="14.00">int y = *x;</text>\r\n<text text-anchor="start" x="483.5" y="-397.3" font-family="Times New Roman,serif" font-size="14.00">15.</text>\r\n<text text-anchor="start" x="521.5" y="-398.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="570.5" y="-398.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="578.5" y="-398.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="582.5" y="-398.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">3</text>\r\n<text text-anchor="start" x="590.5" y="-398.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="614.5" y="-398.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclStmt</text>\r\n<text text-anchor="start" x="666.5" y="-398.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="696.5" y="-398.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S561</text>\r\n<text text-anchor="start" x="785.5" y="-397.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="860.5" y="-397.3" font-family="Times New Roman,serif" font-size="14.00">int y = *x;</text>\r\n<text text-anchor="start" x="483.5" y="-376.3" font-family="Times New Roman,serif" font-size="14.00">16.</text>\r\n<text text-anchor="start" x="614.5" y="-376.3" font-family="Times New Roman,serif" font-size="14.00" fill="#cdad00">BlockEdge</text>\r\n<text text-anchor="start" x="696.5" y="-376.3" font-family="Times New Roman,serif" font-size="14.00">[B1] -> [B0]</text>\r\n<text text-anchor="start" x="479.5" y="-352.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Store: </text>\r\n<text text-anchor="start" x="520.5" y="-352.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="524.5" y="-352.3" font-family="Times New Roman,serif" font-size="14.00" fill="gray">(0x236937e7d18)</text>\r\n<text text-anchor="start" x="500.5" y="-326.3" font-family="Times New Roman,serif" font-size="14.00">y</text>\r\n<text text-anchor="start" x="523.5" y="-326.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="562.5" y="-326.3" font-family="Times New Roman,serif" font-size="14.00">reg_$1<int Element{SymRegion{reg_$0<int * x>},0 S64b,int}></text>\r\n<text text-anchor="start" x="479.5" y="-302.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="489.5" y="-277.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="540.5" y="-276.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="489.5" y="-256.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S558</text>\r\n<text text-anchor="start" x="540.5" y="-256.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="551.5" y="-255.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="572.5" y="-255.3" font-family="Times New Roman,serif" font-size="14.00">reg_$1<int Element{SymRegion{reg_$0<int * x>},0 S64b,int}></text>\r\n<text text-anchor="start" x="479.5" y="-231.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Ranges: </text>\r\n<text text-anchor="start" x="545.5" y="-205.3" font-family="Times New Roman,serif" font-size="14.00">reg_$0<int * x></text>\r\n<text text-anchor="start" x="696.5" y="-205.3" font-family="Times New Roman,serif" font-size="14.00">{ [1, 18446744073709551615] }</text>\r\n<polygon fill="black" stroke="black" points="475.5,-365.5 475.5,-365.5 939.5,-365.5 939.5,-365.5 475.5,-365.5"/>\r\n<polygon fill="black" stroke="black" points="475.5,-315.5 475.5,-315.5 939.5,-315.5 939.5,-315.5 475.5,-315.5"/>\r\n<polygon fill="black" stroke="black" points="475.5,-244.5 475.5,-244.5 939.5,-244.5 939.5,-244.5 475.5,-244.5"/>\r\n</g>\r\n<!-- Node0x236937e7bf8->Node0x236937e7de8 -->\r\n<g id="edge8" class="edge"><title>Node0x236937e7bf8->Node0x236937e7de8</title>\r\n<path fill="none" stroke="black" d="M707.5,-520.458C707.5,-511.722 707.5,-502.802 707.5,-493.835"/>\r\n<polygon fill="black" stroke="black" points="711,-493.697 707.5,-483.697 704,-493.698 711,-493.697"/>\r\n</g>\r\n<!-- Node0x236937e7ef0 -->\r\n<g id="node10" class="node"><title>Node0x236937e7ef0</title>\r\n<polygon fill="none" stroke="black" points="482.5,-0.5 482.5,-152.5 932.5,-152.5 932.5,-0.5 482.5,-0.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="492.5,-127.5 492.5,-146.5 922.5,-146.5 922.5,-127.5 492.5,-127.5"/>\r\n<text text-anchor="start" x="678.5" y="-134.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 496</text>\r\n<text text-anchor="start" x="494.5" y="-113.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="498.5" y="-87.3" font-family="Times New Roman,serif" font-size="14.00">17.</text>\r\n<text text-anchor="start" x="522.5" y="-88.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="571.5" y="-88.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="579.5" y="-88.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="583.5" y="-88.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="599.5" y="-88.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="609.5" y="-88.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">CompoundStmt</text>\r\n<text text-anchor="start" x="700.5" y="-88.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="710.5" y="-88.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S564</text>\r\n<text text-anchor="start" x="747.5" y="-87.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmtPurgeDeadSymbols</text>\r\n<text text-anchor="start" x="609.5" y="-67.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="642.5" y="-67.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="646.5" y="-67.3" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">ExprEngine : Clean Node</text>\r\n<text text-anchor="start" x="494.5" y="-42.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Ranges: </text>\r\n<text text-anchor="start" x="550.5" y="-16.3" font-family="Times New Roman,serif" font-size="14.00">reg_$0<int * x></text>\r\n<text text-anchor="start" x="691.5" y="-16.3" font-family="Times New Roman,serif" font-size="14.00">{ [1, 18446744073709551615] }</text>\r\n<polygon fill="black" stroke="black" points="490.5,-55.5 490.5,-55.5 924.5,-55.5 924.5,-55.5 490.5,-55.5"/>\r\n</g>\r\n<!-- Node0x236937e7de8->Node0x236937e7ef0 -->\r\n<g id="edge9" class="edge"><title>Node0x236937e7de8->Node0x236937e7ef0</title>\r\n<path fill="none" stroke="black" d="M707.5,-189.162C707.5,-180.268 707.5,-171.485 707.5,-162.988"/>\r\n<polygon fill="black" stroke="black" points="711,-162.777 707.5,-152.777 704,-162.777 711,-162.777"/>\r\n</g>\r\n</g>\r\n</svg>\r\n'</body></html>