<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="548pt" height="1915pt"\r\n viewBox="0.00 0.00 548.00 1915.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 1911)">\r\n<title>ExplodedGraph</title>\r\n<polygon fill="white" stroke="none" points="-4,4 -4,-1911 544,-1911 544,4 -4,4"/>\r\n<!-- Node0x22420a694a0 -->\r\n<g id="node1" class="node"><title>Node0x22420a694a0</title>\r\n<polygon fill="none" stroke="black" points="35,-1741.5 35,-1906.5 505,-1906.5 505,-1741.5 35,-1741.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="45,-1881 45,-1900 495,-1900 495,-1881 45,-1881"/>\r\n<text text-anchor="start" x="248.5" y="-1887.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 0</text>\r\n<text text-anchor="start" x="47" y="-1866.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="51" y="-1840.8" font-family="Times New Roman,serif" font-size="14.00">1.</text>\r\n<text text-anchor="start" x="155" y="-1840.8" font-family="Times New Roman,serif" font-size="14.00" fill="#cdad00">BlockEdge</text>\r\n<text text-anchor="start" x="243" y="-1840.8" font-family="Times New Roman,serif" font-size="14.00">[B2] -> [B1]</text>\r\n<text text-anchor="start" x="51" y="-1819.8" font-family="Times New Roman,serif" font-size="14.00">2.</text>\r\n<text text-anchor="start" x="155" y="-1819.8" font-family="Times New Roman,serif" font-size="14.00" fill="#cdad00">BlockEntrance</text>\r\n<text text-anchor="start" x="243" y="-1819.8" font-family="Times New Roman,serif" font-size="14.00">[B1]</text>\r\n<text text-anchor="start" x="51" y="-1798.8" font-family="Times New Roman,serif" font-size="14.00">3.</text>\r\n<text text-anchor="start" x="68" y="-1799.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="117" y="-1799.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="125" y="-1799.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="129" y="-1799.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="145" y="-1799.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="155" y="-1799.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">IntegerLiteral</text>\r\n<text text-anchor="start" x="228" y="-1799.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="243" y="-1799.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S525</text>\r\n<text text-anchor="start" x="319" y="-1798.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreStmtPurgeDeadSymbols</text>\r\n<text text-anchor="start" x="155" y="-1778.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="188" y="-1778.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="192" y="-1778.8" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">ExprEngine : Clean Node</text>\r\n<text text-anchor="start" x="51" y="-1756.8" font-family="Times New Roman,serif" font-size="14.00">4.</text>\r\n<text text-anchor="start" x="68" y="-1757.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="117" y="-1757.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="125" y="-1757.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="129" y="-1757.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="145" y="-1757.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="155" y="-1757.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">IntegerLiteral</text>\r\n<text text-anchor="start" x="228" y="-1757.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="243" y="-1757.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S525</text>\r\n<text text-anchor="start" x="319" y="-1756.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="482" y="-1756.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n</g>\r\n<!-- Node0x22420a696b8 -->\r\n<g id="node2" class="node"><title>Node0x22420a696b8</title>\r\n<polygon fill="none" stroke="black" points="0,-1510.5 0,-1704.5 540,-1704.5 540,-1510.5 0,-1510.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="10,-1679.5 10,-1698.5 530,-1698.5 530,-1679.5 10,-1679.5"/>\r\n<text text-anchor="start" x="244.5" y="-1686.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 67</text>\r\n<text text-anchor="start" x="12" y="-1665.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="16" y="-1639.3" font-family="Times New Roman,serif" font-size="14.00">5.</text>\r\n<text text-anchor="start" x="33" y="-1640.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="82" y="-1640.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="90" y="-1640.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="94" y="-1640.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="110" y="-1640.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="120" y="-1640.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (NullToPointer)</text>\r\n<text text-anchor="start" x="307" y="-1640.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="317" y="-1640.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="354" y="-1639.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="517" y="-1639.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="16" y="-1618.3" font-family="Times New Roman,serif" font-size="14.00">6.</text>\r\n<text text-anchor="start" x="33" y="-1619.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="82" y="-1619.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="90" y="-1619.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="94" y="-1619.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">3</text>\r\n<text text-anchor="start" x="102" y="-1619.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="120" y="-1619.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclStmt</text>\r\n<text text-anchor="start" x="172" y="-1619.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="317" y="-1619.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S533</text>\r\n<text text-anchor="start" x="354" y="-1618.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreStmtPurgeDeadSymbols</text>\r\n<text text-anchor="start" x="120" y="-1598.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="153" y="-1598.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="157" y="-1598.3" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">ExprEngine : Clean Node</text>\r\n<text text-anchor="start" x="12" y="-1573.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="98" y="-1548.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="224" y="-1547.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="98" y="-1527.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="224" y="-1527.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="313" y="-1526.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="406" y="-1526.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<polygon fill="black" stroke="black" points="8,-1586.5 8,-1586.5 532,-1586.5 532,-1586.5 8,-1586.5"/>\r\n</g>\r\n<!-- Node0x22420a694a0->Node0x22420a696b8 -->\r\n<g id="edge1" class="edge"><title>Node0x22420a694a0->Node0x22420a696b8</title>\r\n<path fill="none" stroke="black" d="M270,-1741.29C270,-1732.61 270,-1723.68 270,-1714.76"/>\r\n<polygon fill="black" stroke="black" points="273.5,-1714.71 270,-1704.71 266.5,-1714.71 273.5,-1714.71"/>\r\n</g>\r\n<!-- Node0x22420a69948 -->\r\n<g id="node3" class="node"><title>Node0x22420a69948</title>\r\n<polygon fill="none" stroke="black" points="96.5,-1250.5 96.5,-1473.5 443.5,-1473.5 443.5,-1250.5 96.5,-1250.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="107,-1448 107,-1467 434,-1467 434,-1448 107,-1448"/>\r\n<text text-anchor="start" x="241.5" y="-1454.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 138</text>\r\n<text text-anchor="start" x="109" y="-1433.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="113" y="-1407.8" font-family="Times New Roman,serif" font-size="14.00">7.</text>\r\n<text text-anchor="start" x="130" y="-1408.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="179" y="-1408.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="187" y="-1408.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="191" y="-1408.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">3</text>\r\n<text text-anchor="start" x="199" y="-1408.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="209" y="-1408.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclStmt</text>\r\n<text text-anchor="start" x="261" y="-1408.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="271" y="-1408.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S533</text>\r\n<text text-anchor="start" x="308" y="-1407.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStore</text>\r\n<text text-anchor="start" x="370" y="-1407.8" font-family="Times New Roman,serif" font-size="14.00">int *x = 0;</text>\r\n<text text-anchor="start" x="113" y="-1386.8" font-family="Times New Roman,serif" font-size="14.00">8.</text>\r\n<text text-anchor="start" x="130" y="-1387.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="179" y="-1387.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">4</text>\r\n<text text-anchor="start" x="187" y="-1387.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="191" y="-1387.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">3</text>\r\n<text text-anchor="start" x="199" y="-1387.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="209" y="-1387.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclStmt</text>\r\n<text text-anchor="start" x="261" y="-1387.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="271" y="-1387.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S533</text>\r\n<text text-anchor="start" x="308" y="-1386.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="370" y="-1386.8" font-family="Times New Roman,serif" font-size="14.00">int *x = 0;</text>\r\n<text text-anchor="start" x="109" y="-1362.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Store: </text>\r\n<text text-anchor="start" x="150" y="-1362.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="154" y="-1362.8" font-family="Times New Roman,serif" font-size="14.00" fill="gray">(0x22420a69878)</text>\r\n<text text-anchor="start" x="166" y="-1336.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="226" y="-1336.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="339" y="-1336.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="109" y="-1312.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="156" y="-1287.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="244" y="-1286.8" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="156" y="-1266.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="244" y="-1266.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="295" y="-1265.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="349" y="-1265.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<polygon fill="black" stroke="black" points="105,-1376 105,-1376 436,-1376 436,-1376 105,-1376"/>\r\n<polygon fill="black" stroke="black" points="105,-1326 105,-1326 436,-1326 436,-1326 105,-1326"/>\r\n</g>\r\n<!-- Node0x22420a696b8->Node0x22420a69948 -->\r\n<g id="edge2" class="edge"><title>Node0x22420a696b8->Node0x22420a69948</title>\r\n<path fill="none" stroke="black" d="M270,-1510.26C270,-1501.66 270,-1492.89 270,-1484.11"/>\r\n<polygon fill="black" stroke="black" points="273.5,-1483.83 270,-1473.83 266.5,-1483.83 273.5,-1483.83"/>\r\n</g>\r\n<!-- Node0x22420a69a60 -->\r\n<g id="node4" class="node"><title>Node0x22420a69a60</title>\r\n<polygon fill="none" stroke="black" points="99,-969.5 99,-1213.5 441,-1213.5 441,-969.5 99,-969.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="109,-1188.5 109,-1207.5 431,-1207.5 431,-1188.5 109,-1188.5"/>\r\n<text text-anchor="start" x="241" y="-1195.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 184</text>\r\n<text text-anchor="start" x="111" y="-1174.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="115" y="-1148.3" font-family="Times New Roman,serif" font-size="14.00">9.</text>\r\n<text text-anchor="start" x="139" y="-1149.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="188" y="-1149.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="196" y="-1149.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="200" y="-1149.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="216" y="-1149.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="226" y="-1149.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclRefExpr</text>\r\n<text text-anchor="start" x="299" y="-1149.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="309" y="-1149.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="346" y="-1148.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostLValue</text>\r\n<text text-anchor="start" x="418" y="-1148.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="115" y="-1127.3" font-family="Times New Roman,serif" font-size="14.00">10.</text>\r\n<text text-anchor="start" x="139" y="-1128.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="188" y="-1128.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="196" y="-1128.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="200" y="-1128.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="216" y="-1128.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="226" y="-1128.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">DeclRefExpr</text>\r\n<text text-anchor="start" x="299" y="-1128.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="309" y="-1128.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="346" y="-1127.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="418" y="-1127.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="111" y="-1103.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Store: </text>\r\n<text text-anchor="start" x="152" y="-1103.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="156" y="-1103.3" font-family="Times New Roman,serif" font-size="14.00" fill="gray">(0x22420a69878)</text>\r\n<text text-anchor="start" x="167" y="-1077.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="226" y="-1077.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="337" y="-1077.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="111" y="-1053.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="157" y="-1028.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="244" y="-1027.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="157" y="-1007.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="244" y="-1007.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="294" y="-1006.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="347" y="-1006.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="157" y="-986.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="244" y="-986.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="294" y="-985.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="347" y="-985.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<polygon fill="black" stroke="black" points="107,-1116.5 107,-1116.5 433,-1116.5 433,-1116.5 107,-1116.5"/>\r\n<polygon fill="black" stroke="black" points="107,-1066.5 107,-1066.5 433,-1066.5 433,-1066.5 107,-1066.5"/>\r\n</g>\r\n<!-- Node0x22420a69948->Node0x22420a69a60 -->\r\n<g id="edge3" class="edge"><title>Node0x22420a69948->Node0x22420a69a60</title>\r\n<path fill="none" stroke="black" d="M270,-1250.24C270,-1241.62 270,-1232.87 270,-1224.14"/>\r\n<polygon fill="black" stroke="black" points="273.5,-1223.9 270,-1213.9 266.5,-1223.9 273.5,-1223.9"/>\r\n</g>\r\n<!-- Node0x22420a69c48 -->\r\n<g id="node5" class="node"><title>Node0x22420a69c48</title>\r\n<polygon fill="none" stroke="black" points="38.5,-667.5 38.5,-932.5 501.5,-932.5 501.5,-667.5 38.5,-667.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="49,-907 49,-926 492,-926 492,-907 49,-907"/>\r\n<text text-anchor="start" x="241.5" y="-913.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 245</text>\r\n<text text-anchor="start" x="51" y="-892.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program points:</text>\r\n<text text-anchor="start" x="55" y="-866.8" font-family="Times New Roman,serif" font-size="14.00">11.</text>\r\n<text text-anchor="start" x="79" y="-867.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="128" y="-867.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="136" y="-867.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="140" y="-867.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="156" y="-867.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="166" y="-867.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="371" y="-867.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="381" y="-867.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S556</text>\r\n<text text-anchor="start" x="418" y="-866.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostLoad</text>\r\n<text text-anchor="start" x="479" y="-866.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="55" y="-845.8" font-family="Times New Roman,serif" font-size="14.00">12.</text>\r\n<text text-anchor="start" x="79" y="-846.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="128" y="-846.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="136" y="-846.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="140" y="-846.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">12</text>\r\n<text text-anchor="start" x="156" y="-846.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="166" y="-846.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="371" y="-846.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="381" y="-846.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S556</text>\r\n<text text-anchor="start" x="418" y="-845.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="479" y="-845.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="51" y="-821.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Store: </text>\r\n<text text-anchor="start" x="92" y="-821.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="96" y="-821.8" font-family="Times New Roman,serif" font-size="14.00" fill="gray">(0x22420a69878)</text>\r\n<text text-anchor="start" x="131" y="-795.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="214" y="-795.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="373" y="-795.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="51" y="-771.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="121" y="-746.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="232" y="-745.8" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="121" y="-725.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="232" y="-725.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="306" y="-724.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="384" y="-724.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="121" y="-704.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="232" y="-704.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="306" y="-703.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="384" y="-703.8" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="121" y="-683.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S556</text>\r\n<text text-anchor="start" x="232" y="-683.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="306" y="-682.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="384" y="-682.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<polygon fill="black" stroke="black" points="47,-835 47,-835 494,-835 494,-835 47,-835"/>\r\n<polygon fill="black" stroke="black" points="47,-785 47,-785 494,-785 494,-785 47,-785"/>\r\n</g>\r\n<!-- Node0x22420a69a60->Node0x22420a69c48 -->\r\n<g id="edge4" class="edge"><title>Node0x22420a69a60->Node0x22420a69c48</title>\r\n<path fill="none" stroke="black" d="M270,-969.403C270,-960.622 270,-951.722 270,-942.837"/>\r\n<polygon fill="black" stroke="black" points="273.5,-942.818 270,-932.818 266.5,-942.818 273.5,-942.818"/>\r\n</g>\r\n<!-- Node0x22420a69ec0 -->\r\n<g id="node6" class="node"><title>Node0x22420a69ec0</title>\r\n<polygon fill="none" stroke="black" points="96.5,-365.5 96.5,-630.5 443.5,-630.5 443.5,-365.5 96.5,-365.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="107,-605 107,-624 434,-624 434,-605 107,-605"/>\r\n<text text-anchor="start" x="241.5" y="-611.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 324</text>\r\n<text text-anchor="start" x="109" y="-590.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="113" y="-564.8" font-family="Times New Roman,serif" font-size="14.00">13.</text>\r\n<text text-anchor="start" x="137" y="-565.8" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="186" y="-565.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="194" y="-565.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="198" y="-565.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="214" y="-565.8" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="224" y="-565.8" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">UnaryOperator</text>\r\n<text text-anchor="start" x="309" y="-565.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="319" y="-565.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S559</text>\r\n<text text-anchor="start" x="356" y="-564.8" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PostStmt</text>\r\n<text text-anchor="start" x="414" y="-564.8" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="109" y="-540.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Store: </text>\r\n<text text-anchor="start" x="150" y="-540.8" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="154" y="-540.8" font-family="Times New Roman,serif" font-size="14.00" fill="gray">(0x22420a69878)</text>\r\n<text text-anchor="start" x="166" y="-514.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="226" y="-514.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="339" y="-514.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="109" y="-490.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="156" y="-465.8" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="244" y="-464.8" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="156" y="-444.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="244" y="-444.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="292" y="-443.8" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="349" y="-443.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="156" y="-423.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="244" y="-423.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="292" y="-422.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="349" y="-422.8" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="156" y="-402.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S556</text>\r\n<text text-anchor="start" x="244" y="-402.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="292" y="-401.8" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="349" y="-401.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="156" y="-381.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S559</text>\r\n<text text-anchor="start" x="244" y="-381.8" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="292" y="-380.8" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="349" y="-380.8" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<polygon fill="black" stroke="black" points="105,-554 105,-554 436,-554 436,-554 105,-554"/>\r\n<polygon fill="black" stroke="black" points="105,-504 105,-504 436,-504 436,-504 105,-504"/>\r\n</g>\r\n<!-- Node0x22420a69c48->Node0x22420a69ec0 -->\r\n<g id="edge5" class="edge"><title>Node0x22420a69c48->Node0x22420a69ec0</title>\r\n<path fill="none" stroke="black" d="M270,-667.416C270,-658.703 270,-649.905 270,-641.144"/>\r\n<polygon fill="black" stroke="black" points="273.5,-640.883 270,-630.883 266.5,-640.883 273.5,-640.883"/>\r\n</g>\r\n<!-- Node0x22420a69f28 -->\r\n<g id="node7" class="node"><title>Node0x22420a69f28</title>\r\n<polygon fill="none" stroke="black" points="38,-0.5 38,-328.5 502,-328.5 502,-0.5 38,-0.5"/>\r\n<polygon fill="#b3b3b3" stroke="none" points="48,-303.5 48,-322.5 492,-322.5 492,-303.5 48,-303.5"/>\r\n<text text-anchor="start" x="241" y="-310.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">State 324</text>\r\n<text text-anchor="start" x="50" y="-289.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Program point:</text>\r\n<text text-anchor="start" x="54" y="-263.3" font-family="Times New Roman,serif" font-size="14.00">14.</text>\r\n<text text-anchor="start" x="78" y="-264.3" font-family="Times New Roman,serif" font-size="14.00">test.cpp:</text>\r\n<text text-anchor="start" x="127" y="-264.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">5</text>\r\n<text text-anchor="start" x="135" y="-264.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="139" y="-264.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">11</text>\r\n<text text-anchor="start" x="155" y="-264.3" font-family="Times New Roman,serif" font-size="14.00">:</text>\r\n<text text-anchor="start" x="165" y="-264.3" font-family="Times New Roman,serif" font-size="14.00" fill="#008b8b">ImplicitCastExpr (LValueToRValue)</text>\r\n<text text-anchor="start" x="370" y="-264.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="380" y="-264.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S562</text>\r\n<text text-anchor="start" x="417" y="-263.3" font-family="Times New Roman,serif" font-size="14.00" fill="#00cdcd">PreLoad</text>\r\n<text text-anchor="start" x="472" y="-263.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="165" y="-243.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Tag: </text>\r\n<text text-anchor="start" x="198" y="-243.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="202" y="-243.3" font-family="Times New Roman,serif" font-size="14.00" fill="crimson">core.NullDereference</text>\r\n<text text-anchor="start" x="165" y="-222.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="red">Bug Report Attached</text>\r\n<text text-anchor="start" x="165" y="-201.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="50" y="-176.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Store: </text>\r\n<text text-anchor="start" x="91" y="-176.3" font-family="Times New Roman,serif" font-size="14.00"> </text>\r\n<text text-anchor="start" x="95" y="-176.3" font-family="Times New Roman,serif" font-size="14.00" fill="gray">(0x22420a69878)</text>\r\n<text text-anchor="start" x="131" y="-150.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="214" y="-150.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="373" y="-150.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="50" y="-126.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">Expressions: </text>\r\n<text text-anchor="start" x="120" y="-101.3" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">#0 Call</text>\r\n<text text-anchor="start" x="231" y="-100.3" font-family="Times New Roman,serif" font-size="14.00" fill="#999999">foo </text>\r\n<text text-anchor="start" x="120" y="-80.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S530</text>\r\n<text text-anchor="start" x="231" y="-80.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="302" y="-79.3" font-family="Times New Roman,serif" font-size="14.00">0</text>\r\n<text text-anchor="start" x="383" y="-79.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="120" y="-59.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S552</text>\r\n<text text-anchor="start" x="231" y="-59.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="302" y="-58.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="383" y="-58.3" font-family="Times New Roman,serif" font-size="14.00">&x</text>\r\n<text text-anchor="start" x="120" y="-38.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S556</text>\r\n<text text-anchor="start" x="231" y="-38.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="302" y="-37.3" font-family="Times New Roman,serif" font-size="14.00">x</text>\r\n<text text-anchor="start" x="383" y="-37.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<text text-anchor="start" x="120" y="-17.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00">S559</text>\r\n<text text-anchor="start" x="231" y="-17.3" font-family="Times New Roman,serif" font-style="italic" font-size="14.00" fill="darkgreen"> </text>\r\n<text text-anchor="start" x="302" y="-16.3" font-family="Times New Roman,serif" font-size="14.00">*x</text>\r\n<text text-anchor="start" x="383" y="-16.3" font-family="Times New Roman,serif" font-size="14.00">0 (Loc)</text>\r\n<polygon fill="black" stroke="black" points="46,-189.5 46,-189.5 494,-189.5 494,-189.5 46,-189.5"/>\r\n<polygon fill="black" stroke="black" points="46,-139.5 46,-139.5 494,-139.5 494,-139.5 46,-139.5"/>\r\n</g>\r\n<!-- Node0x22420a69ec0->Node0x22420a69f28 -->\r\n<g id="edge6" class="edge"><title>Node0x22420a69ec0->Node0x22420a69f28</title>\r\n<path fill="none" stroke="black" d="M270,-365.03C270,-356.306 270,-347.452 270,-338.57"/>\r\n<polygon fill="black" stroke="black" points="273.5,-338.535 270,-328.535 266.5,-338.535 273.5,-338.535"/>\r\n</g>\r\n</g>\r\n</svg>\r\n'</body></html>