termination_graph.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: g Pages: 1 -->
<svg width="1543pt" height="1350pt"
 viewBox="0.00 0.00 1542.62 1349.66" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1345.66)">
<title>g</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-1345.66 1538.62,-1345.66 1538.62,4 -4,4"/>
<!-- _Exit -->
<g id="node1" class="node">
<title>_Exit</title>
<ellipse fill="lightgrey" stroke="black" cx="403" cy="-778.2" rx="91.31" ry="18"/>
<text text-anchor="middle" x="403" y="-775.4" font-family="Monospace" font-size="11.00">_Exit(int exit_code)</text>
</g>
<!-- END -->
<g id="node28" class="node">
<title>END</title>
<ellipse fill="none" stroke="black" cx="970" cy="-26.25" rx="22.46" ry="22.46"/>
<ellipse fill="none" stroke="black" cx="970" cy="-26.25" rx="26.5" ry="26.5"/>
<text text-anchor="middle" x="970" y="-23.45" font-family="Monospace" font-size="11.00">END</text>
</g>
<!-- _Exit&#45;&gt;END -->
<g id="edge6" class="edge">
<title>_Exit&#45;&gt;END</title>
<path fill="none" stroke="black" d="M449.11,-762.58C479.61,-749.71 514,-727.55 514,-693.09 514,-693.09 514,-693.09 514,-110.5 514,-67.91 825.84,-38.83 933.76,-30.04"/>
<polygon fill="black" stroke="black" points="934.16,-33.52 943.85,-29.23 933.6,-26.54 934.16,-33.52"/>
</g>
<!-- atexit_func -->
<g id="node2" class="node">
<title>atexit_func</title>
<ellipse fill="none" stroke="black" cx="317" cy="-581.87" rx="83.38" ry="22.76"/>
<text text-anchor="middle" x="317" y="-585.07" font-family="Monospace" font-size="11.00">User&#45;specified</text>
<text text-anchor="middle" x="317" y="-573.07" font-family="Monospace" font-size="11.00">exit handler(s)</text>
</g>
<!-- atexit_func&#45;&gt;atexit_func -->
<g id="edge14" class="edge">
<title>atexit_func&#45;&gt;atexit_func</title>
<path fill="none" stroke="black" d="M392.65,-591.57C407.7,-590.48 418.44,-587.25 418.44,-581.87 418.44,-577.79 412.27,-574.94 402.73,-573.33"/>
<polygon fill="black" stroke="black" points="402.98,-569.84 392.65,-572.16 402.18,-576.79 402.98,-569.84"/>
<text text-anchor="middle" x="452.44" y="-585.07" font-family="Monospace" font-size="11.00">in reverse</text>
<text text-anchor="middle" x="452.44" y="-573.07" font-family="Monospace" font-size="11.00">order</text>
</g>
<!-- terminate -->
<g id="node5" class="node">
<title>terminate</title>
<ellipse fill="lightgrey" stroke="black" cx="818" cy="-456.13" rx="75.33" ry="18"/>
<text text-anchor="middle" x="818" y="-453.33" font-family="Monospace" font-size="11.00">std::terminate()</text>
</g>
<!-- atexit_func&#45;&gt;terminate -->
<g id="edge15" class="edge">
<title>atexit_func&#45;&gt;terminate</title>
<path fill="none" stroke="black" d="M354.97,-561.69C396.2,-541.83 464.54,-511.65 527,-496.75 616.4,-475.44 642.39,-494.14 733,-478.75 742.36,-477.17 752.2,-475.07 761.74,-472.8"/>
<polygon fill="black" stroke="black" points="762.65,-476.18 771.53,-470.4 760.98,-469.38 762.65,-476.18"/>
<text text-anchor="middle" x="574.5" y="-511.95" font-family="Monospace" font-size="11.00">if func throws</text>
</g>
<!-- atexit_func&#45;&gt;END -->
<g id="edge16" class="edge">
<title>atexit_func&#45;&gt;END</title>
<path fill="none" stroke="darkorange" stroke-width="2" d="M320.97,-559.05C325.11,-534.39 331,-493.02 331,-457.13 331,-457.13 331,-457.13 331,-110.5 331,-49.3 797.89,-31.9 933.49,-28.13"/>
<polygon fill="darkorange" stroke="darkorange" stroke-width="2" points="933.86,-31.63 943.76,-27.86 933.67,-24.63 933.86,-31.63"/>
</g>
<!-- atexit -->
<g id="node3" class="node">
<title>atexit</title>
<ellipse fill="pink" stroke="black" cx="368" cy="-692.09" rx="62.58" ry="18"/>
<text text-anchor="middle" x="368" y="-689.29" font-family="Monospace" font-size="11.00">std::atexit()</text>
</g>
<!-- atexit&#45;&gt;atexit_func -->
<g id="edge13" class="edge">
<title>atexit&#45;&gt;atexit_func</title>
<path fill="none" stroke="pink" d="M360.03,-674.18C352.42,-658.04 340.78,-633.33 331.52,-613.69"/>
<polygon fill="pink" stroke="pink" points="334.63,-612.06 327.2,-604.51 328.29,-615.05 334.63,-612.06"/>
<text text-anchor="middle" x="374.5" y="-634.18" font-family="Monospace" font-size="11.00" fill="hotpink">registers</text>
</g>
<!-- set_terminate -->
<g id="node4" class="node">
<title>set_terminate</title>
<ellipse fill="pink" stroke="black" cx="633" cy="-456.13" rx="91.31" ry="18"/>
<text text-anchor="middle" x="633" y="-453.33" font-family="Monospace" font-size="11.00">std::set_terminate()</text>
</g>
<!-- terminate_handler -->
<g id="node6" class="node">
<title>terminate_handler</title>
<ellipse fill="none" stroke="black" cx="794" cy="-367.5" rx="99.44" ry="18"/>
<text text-anchor="middle" x="794" y="-364.7" font-family="Monospace" font-size="11.00">std::terminate_handler</text>
</g>
<!-- set_terminate&#45;&gt;terminate_handler -->
<g id="edge28" class="edge">
<title>set_terminate&#45;&gt;terminate_handler</title>
<path fill="none" stroke="pink" d="M662.91,-439.04C688.84,-425.08 726.54,-404.79 754.87,-389.55"/>
<polygon fill="pink" stroke="pink" points="756.56,-392.62 763.71,-384.8 753.24,-386.45 756.56,-392.62"/>
<text text-anchor="middle" x="741" y="-406.7" font-family="Monospace" font-size="11.00" fill="hotpink">sets</text>
</g>
<!-- terminate&#45;&gt;terminate_handler -->
<g id="edge25" class="edge">
<title>terminate&#45;&gt;terminate_handler</title>
<path fill="none" stroke="black" d="M813.26,-438.01C809.91,-425.91 805.34,-409.44 801.5,-395.56"/>
<polygon fill="black" stroke="black" points="804.77,-394.28 798.73,-385.58 798.03,-396.15 804.77,-394.28"/>
</g>
<!-- user_terminate_handler -->
<g id="node8" class="node">
<title>user_terminate_handler</title>
<path fill="none" stroke="black" d="M853.5,-129.5C853.5,-129.5 746.5,-129.5 746.5,-129.5 740.5,-129.5 734.5,-123.5 734.5,-117.5 734.5,-117.5 734.5,-105.5 734.5,-105.5 734.5,-99.5 740.5,-93.5 746.5,-93.5 746.5,-93.5 853.5,-93.5 853.5,-93.5 859.5,-93.5 865.5,-99.5 865.5,-105.5 865.5,-105.5 865.5,-117.5 865.5,-117.5 865.5,-123.5 859.5,-129.5 853.5,-129.5"/>
<text text-anchor="middle" x="800" y="-114.7" font-family="Monospace" font-size="11.00">User&#45;Specified</text>
<text text-anchor="middle" x="800" y="-102.7" font-family="Monospace" font-size="11.00">Terminate Handler</text>
</g>
<!-- terminate_handler&#45;&gt;user_terminate_handler -->
<g id="edge27" class="edge">
<title>terminate_handler&#45;&gt;user_terminate_handler</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M794.4,-349.44C795.42,-306.34 798.1,-192.79 799.35,-140.09"/>
<polygon fill="black" stroke="black" points="802.85,-139.9 799.59,-129.82 795.86,-139.73 802.85,-139.9"/>
<text text-anchor="middle" x="854.5" y="-238.7" font-family="monospace italic" font-size="11.00">if user&#45;specified</text>
</g>
<!-- abort -->
<g id="node21" class="node">
<title>abort</title>
<ellipse fill="lightgrey" stroke="black" cx="921" cy="-283.5" rx="58.86" ry="18"/>
<text text-anchor="middle" x="921" y="-280.7" font-family="Monospace" font-size="11.00">std::abort()</text>
</g>
<!-- terminate_handler&#45;&gt;abort -->
<g id="edge26" class="edge">
<title>terminate_handler&#45;&gt;abort</title>
<path fill="none" stroke="black" d="M819.7,-349.91C839.58,-337.07 867.22,-319.22 888.61,-305.41"/>
<polygon fill="black" stroke="black" points="890.55,-308.32 897.06,-299.96 886.76,-302.44 890.55,-308.32"/>
</g>
<!-- terminateCause -->
<g id="node7" class="node">
<title>terminateCause</title>
<path fill="none" stroke="black" d="M857.5,-1204.68C857.5,-1204.68 696.5,-1204.68 696.5,-1204.68 690.5,-1204.68 684.5,-1198.68 684.5,-1192.68 684.5,-1192.68 684.5,-988.68 684.5,-988.68 684.5,-982.68 690.5,-976.68 696.5,-976.68 696.5,-976.68 857.5,-976.68 857.5,-976.68 863.5,-976.68 869.5,-982.68 869.5,-988.68 869.5,-988.68 869.5,-1192.68 869.5,-1192.68 869.5,-1198.68 863.5,-1204.68 857.5,-1204.68"/>
<text text-anchor="middle" x="777" y="-1191.88" font-family="Monospace" font-size="11.00">An exception is thrown</text>
<text text-anchor="middle" x="777" y="-1179.88" font-family="Monospace" font-size="11.00">and not caught;</text>
<text text-anchor="middle" x="777" y="-1154.88" font-family="Monospace" font-size="11.00">An exception is thrown</text>
<text text-anchor="middle" x="777" y="-1142.88" font-family="Monospace" font-size="11.00">(e.g., from a destructor)</text>
<text text-anchor="middle" x="777" y="-1130.88" font-family="Monospace" font-size="11.00">during the handling of</text>
<text text-anchor="middle" x="777" y="-1118.88" font-family="Monospace" font-size="11.00">another exception;</text>
<text text-anchor="middle" x="777" y="-1093.88" font-family="Monospace" font-size="11.00">A noexcept specification</text>
<text text-anchor="middle" x="777" y="-1081.88" font-family="Monospace" font-size="11.00">is violated;</text>
<text text-anchor="middle" x="777" y="-1056.88" font-family="Monospace" font-size="11.00">Uncaught exception</text>
<text text-anchor="middle" x="777" y="-1044.88" font-family="Monospace" font-size="11.00">during the execution</text>
<text text-anchor="middle" x="777" y="-1032.88" font-family="Monospace" font-size="11.00">of a parallel</text>
<text text-anchor="middle" x="777" y="-1020.88" font-family="Monospace" font-size="11.00">algorithm element</text>
<text text-anchor="middle" x="777" y="-1008.88" font-family="Monospace" font-size="11.00">access [C++17];</text>
<text text-anchor="middle" x="777" y="-983.88" font-family="Monospace" font-size="11.00">...</text>
</g>
<!-- terminateCause&#45;&gt;terminate -->
<g id="edge29" class="edge">
<title>terminateCause&#45;&gt;terminate</title>
<path fill="none" stroke="black" d="M803.75,-976.46C810.07,-941.08 815,-901.76 815,-865.32 815,-865.32 815,-865.32 815,-580.87 815,-547.73 816.09,-509.63 816.95,-484.55"/>
<polygon fill="black" stroke="black" points="820.46,-484.46 817.32,-474.34 813.46,-484.21 820.46,-484.46"/>
</g>
<!-- user_terminate_handler&#45;&gt;END -->
<g id="edge30" class="edge">
<title>user_terminate_handler&#45;&gt;END</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M834.81,-93.45C864.97,-78.69 908.25,-57.49 937.65,-43.09"/>
<polygon fill="black" stroke="black" points="939.24,-46.21 946.68,-38.67 936.16,-39.92 939.24,-46.21"/>
</g>
<!-- mainReturn -->
<g id="node9" class="node">
<title>mainReturn</title>
<path fill="none" stroke="black" d="M143.5,-1119.18C143.5,-1119.18 22.5,-1119.18 22.5,-1119.18 16.5,-1119.18 10.5,-1113.18 10.5,-1107.18 10.5,-1107.18 10.5,-1074.18 10.5,-1074.18 10.5,-1068.18 16.5,-1062.18 22.5,-1062.18 22.5,-1062.18 143.5,-1062.18 143.5,-1062.18 149.5,-1062.18 155.5,-1068.18 155.5,-1074.18 155.5,-1074.18 155.5,-1107.18 155.5,-1107.18 155.5,-1113.18 149.5,-1119.18 143.5,-1119.18"/>
<text text-anchor="middle" x="83" y="-1106.38" font-family="Monospace" font-size="11.00">return from main();</text>
<text text-anchor="middle" x="83" y="-1081.38" font-family="Monospace" font-size="11.00">the return value</text>
<text text-anchor="middle" x="83" y="-1069.38" font-family="Monospace" font-size="11.00">is the exit_code</text>
</g>
<!-- destroyLocal -->
<g id="node11" class="node">
<title>destroyLocal</title>
<polygon fill="none" stroke="black" points="158,-882.32 0,-882.32 0,-846.32 158,-846.32 158,-882.32"/>
<text text-anchor="middle" x="79" y="-867.52" font-family="Monospace" font-size="11.00">Destroy local objects</text>
<text text-anchor="middle" x="79" y="-855.52" font-family="Monospace" font-size="11.00">and unwind stack.</text>
</g>
<!-- mainReturn&#45;&gt;destroyLocal -->
<g id="edge8" class="edge">
<title>mainReturn&#45;&gt;destroyLocal</title>
<path fill="none" stroke="darkorange" stroke-width="2" d="M82.51,-1062.17C81.74,-1018.92 80.25,-935.5 79.48,-892.47"/>
<polygon fill="darkorange" stroke="darkorange" stroke-width="2" points="82.98,-892.38 79.31,-882.45 75.98,-892.51 82.98,-892.38"/>
</g>
<!-- Cleanup -->
<g id="node10" class="node">
<title>Cleanup</title>
<polygon fill="none" stroke="black" points="287,-720.09 81,-720.09 81,-664.09 287,-664.09 287,-720.09"/>
<text text-anchor="middle" x="184" y="-707.29" font-family="Monospace" font-size="11.00">Normal Program Termination:</text>
<text text-anchor="middle" x="184" y="-695.29" font-family="Monospace" font-size="11.00">destroys all static objects;</text>
<text text-anchor="middle" x="184" y="-683.29" font-family="Monospace" font-size="11.00"> flushes all buffers;</text>
<text text-anchor="middle" x="184" y="-671.29" font-family="Monospace" font-size="11.00"> closes all I/O channels</text>
</g>
<!-- Cleanup&#45;&gt;atexit_func -->
<g id="edge12" class="edge">
<title>Cleanup&#45;&gt;atexit_func</title>
<path fill="none" stroke="darkorange" stroke-width="2" d="M217.22,-664.06C237.6,-647.48 263.59,-626.33 283.94,-609.77"/>
<polygon fill="darkorange" stroke="darkorange" stroke-width="2" points="286.17,-612.47 291.72,-603.44 281.75,-607.04 286.17,-612.47"/>
</g>
<!-- exit -->
<g id="node12" class="node">
<title>exit</title>
<ellipse fill="lightgrey" stroke="black" cx="184" cy="-778.2" rx="107.78" ry="18"/>
<text text-anchor="middle" x="184" y="-775.4" font-family="Monospace" font-size="11.00">std::exit(int exit_code)</text>
</g>
<!-- destroyLocal&#45;&gt;exit -->
<g id="edge9" class="edge">
<title>destroyLocal&#45;&gt;exit</title>
<path fill="none" stroke="darkorange" stroke-width="2" d="M100.25,-846.3C116.01,-833.67 137.67,-816.32 155.02,-802.42"/>
<polygon fill="darkorange" stroke="darkorange" stroke-width="2" points="157.53,-804.9 163.14,-795.91 153.15,-799.43 157.53,-804.9"/>
</g>
<!-- exit&#45;&gt;Cleanup -->
<g id="edge11" class="edge">
<title>exit&#45;&gt;Cleanup</title>
<path fill="none" stroke="darkorange" stroke-width="2" d="M184,-760.18C184,-751.61 184,-740.87 184,-730.5"/>
<polygon fill="darkorange" stroke="darkorange" stroke-width="2" points="187.5,-730.35 184,-720.35 180.5,-730.35 187.5,-730.35"/>
</g>
<!-- quick_exit -->
<g id="node13" class="node">
<title>quick_exit</title>
<ellipse fill="lightgrey" stroke="black" cx="588" cy="-1090.68" rx="78.55" ry="18"/>
<text text-anchor="middle" x="588" y="-1087.88" font-family="Monospace" font-size="11.00">std::quick_exit()</text>
</g>
<!-- at_quick_exit_func -->
<g id="node14" class="node">
<title>at_quick_exit_func</title>
<ellipse fill="none" stroke="black" cx="582" cy="-864.32" rx="111.95" ry="22.76"/>
<text text-anchor="middle" x="582" y="-867.52" font-family="Monospace" font-size="11.00">User&#45;specified</text>
<text text-anchor="middle" x="582" y="-855.52" font-family="Monospace" font-size="11.00">quick_exit handler(s)</text>
</g>
<!-- quick_exit&#45;&gt;at_quick_exit_func -->
<g id="edge19" class="edge">
<title>quick_exit&#45;&gt;at_quick_exit_func</title>
<path fill="none" stroke="black" d="M587.54,-1072.45C586.54,-1034.96 584.14,-945.5 582.86,-897.33"/>
<polygon fill="black" stroke="black" points="586.35,-897.05 582.58,-887.15 579.35,-897.24 586.35,-897.05"/>
</g>
<!-- at_quick_exit_func&#45;&gt;_Exit -->
<g id="edge22" class="edge">
<title>at_quick_exit_func&#45;&gt;_Exit</title>
<path fill="none" stroke="black" d="M539.58,-843.38C511.34,-830.12 474.37,-812.74 446.01,-799.41"/>
<polygon fill="black" stroke="black" points="447.29,-796.15 436.75,-795.06 444.31,-802.48 447.29,-796.15"/>
</g>
<!-- at_quick_exit_func&#45;&gt;terminate -->
<g id="edge21" class="edge">
<title>at_quick_exit_func&#45;&gt;terminate</title>
<path fill="none" stroke="black" d="M605.21,-842.12C619.85,-826.38 636,-803.5 636,-779.2 636,-779.2 636,-779.2 636,-580.87 636,-521.52 703.01,-488.63 755.7,-471.95"/>
<polygon fill="black" stroke="black" points="756.81,-475.27 765.36,-469.02 754.77,-468.57 756.81,-475.27"/>
<text text-anchor="middle" x="683.5" y="-689.29" font-family="Monospace" font-size="11.00">if func throws</text>
</g>
<!-- at_quick_exit_func&#45;&gt;at_quick_exit_func -->
<g id="edge20" class="edge">
<title>at_quick_exit_func&#45;&gt;at_quick_exit_func</title>
<path fill="none" stroke="black" d="M686.33,-872.44C701.5,-871.15 711.72,-868.44 711.72,-864.32 711.72,-861.19 705.85,-858.88 696.41,-857.38"/>
<polygon fill="black" stroke="black" points="696.68,-853.89 686.33,-856.2 695.86,-860.84 696.68,-853.89"/>
<text text-anchor="middle" x="745.72" y="-867.52" font-family="Monospace" font-size="11.00">in reverse</text>
<text text-anchor="middle" x="745.72" y="-855.52" font-family="Monospace" font-size="11.00">order</text>
</g>
<!-- at_quick_exit -->
<g id="node15" class="node">
<title>at_quick_exit</title>
<ellipse fill="pink" stroke="black" cx="400" cy="-1090.68" rx="91.31" ry="18"/>
<text text-anchor="middle" x="400" y="-1087.88" font-family="Monospace" font-size="11.00">std::at_quick_exit()</text>
</g>
<!-- at_quick_exit&#45;&gt;at_quick_exit_func -->
<g id="edge18" class="edge">
<title>at_quick_exit&#45;&gt;at_quick_exit_func</title>
<path fill="none" stroke="pink" d="M408.91,-1072.55C426.66,-1039.39 469.01,-965.17 518,-913.43 525.1,-905.94 533.46,-898.74 541.76,-892.3"/>
<polygon fill="pink" stroke="pink" points="544.09,-894.93 549.99,-886.13 539.89,-889.33 544.09,-894.93"/>
<text text-anchor="middle" x="548.5" y="-933.26" font-family="Monospace" font-size="11.00" fill="hotpink">registers</text>
</g>
<!-- unexpected -->
<g id="node16" class="node">
<title>unexpected</title>
<ellipse fill="#f5f5f5" stroke="gray" cx="1123" cy="-864.32" rx="111.95" ry="31.23"/>
<text text-anchor="middle" x="1123" y="-873.52" font-family="Monospace" font-size="11.00" fill="#424242">std::unexpected()</text>
<text text-anchor="middle" x="1123" y="-861.52" font-family="Monospace" font-size="11.00" fill="#424242">[DEPRECATED IN C++11]</text>
<text text-anchor="middle" x="1123" y="-849.52" font-family="Monospace" font-size="11.00" fill="#424242">[REMOVED &#160;&#160;&#160;IN C++17]</text>
</g>
<!-- unexpected_handler -->
<g id="node17" class="node">
<title>unexpected_handler</title>
<ellipse fill="none" stroke="gray" cx="1088" cy="-581.87" rx="121.74" ry="31.23"/>
<text text-anchor="middle" x="1088" y="-591.07" font-family="Monospace" font-size="11.00" fill="#424242">std::unexpected_handler</text>
<text text-anchor="middle" x="1088" y="-579.07" font-family="Monospace" font-size="11.00" fill="#424242">[DEPRECATED IN C++11]</text>
<text text-anchor="middle" x="1088" y="-567.07" font-family="Monospace" font-size="11.00" fill="#424242">[REMOVED &#160;&#160;&#160;IN C++17]</text>
</g>
<!-- unexpected&#45;&gt;unexpected_handler -->
<g id="edge36" class="edge">
<title>unexpected&#45;&gt;unexpected_handler</title>
<path fill="none" stroke="#c2c2c2" d="M1151.22,-833.98C1186.25,-793.83 1237.72,-720.01 1206,-660.98 1195.46,-641.37 1177.6,-625.85 1158.92,-613.99"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="1160.67,-610.96 1150.3,-608.8 1157.06,-616.96 1160.67,-610.96"/>
</g>
<!-- unexpected_handler&#45;&gt;terminate -->
<g id="edge37" class="edge">
<title>unexpected_handler&#45;&gt;terminate</title>
<path fill="none" stroke="#c2c2c2" d="M1015.04,-556.81C995.3,-549.67 974.12,-541.42 955,-532.75 935.49,-523.91 888.04,-497.27 854.47,-478.11"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="855.82,-474.85 845.41,-472.93 852.35,-480.93 855.82,-474.85"/>
<text text-anchor="middle" x="1016" y="-523.95" font-family="Monospace" font-size="11.00" fill="#424242">default or if</text>
<text text-anchor="middle" x="1016" y="-511.95" font-family="Monospace" font-size="11.00" fill="#424242">unexpected_handler</text>
<text text-anchor="middle" x="1016" y="-499.95" font-family="Monospace" font-size="11.00" fill="#424242">throws</text>
</g>
<!-- user_unexpected_handler -->
<g id="node19" class="node">
<title>user_unexpected_handler</title>
<path fill="none" stroke="gray" d="M1027,-129.5C1027,-129.5 913,-129.5 913,-129.5 907,-129.5 901,-123.5 901,-117.5 901,-117.5 901,-105.5 901,-105.5 901,-99.5 907,-93.5 913,-93.5 913,-93.5 1027,-93.5 1027,-93.5 1033,-93.5 1039,-99.5 1039,-105.5 1039,-105.5 1039,-117.5 1039,-117.5 1039,-123.5 1033,-129.5 1027,-129.5"/>
<text text-anchor="middle" x="970" y="-114.7" font-family="Monospace" font-size="11.00" fill="#424242">User&#45;specified</text>
<text text-anchor="middle" x="970" y="-102.7" font-family="Monospace" font-size="11.00" fill="#424242">Unexpected Handler</text>
</g>
<!-- unexpected_handler&#45;&gt;user_unexpected_handler -->
<g id="edge38" class="edge">
<title>unexpected_handler&#45;&gt;user_unexpected_handler</title>
<path fill="none" stroke="#c2c2c2" stroke-dasharray="1,5" d="M1085.32,-550.67C1083.57,-534.56 1080.88,-514.45 1077,-496.75 1049.14,-369.78 1021.55,-343.61 990,-217.5 983.45,-191.32 977.89,-161 974.3,-139.69"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="977.74,-139.02 972.66,-129.73 970.84,-140.16 977.74,-139.02"/>
<text text-anchor="middle" x="1082.5" y="-322.7" font-family="monospace italic" font-size="11.00" fill="#424242">if user&#45;specified</text>
</g>
<!-- unexpectedCause -->
<g id="node18" class="node">
<title>unexpectedCause</title>
<path fill="none" stroke="gray" d="M1206.5,-1118.68C1206.5,-1118.68 1045.5,-1118.68 1045.5,-1118.68 1039.5,-1118.68 1033.5,-1112.68 1033.5,-1106.68 1033.5,-1106.68 1033.5,-1074.68 1033.5,-1074.68 1033.5,-1068.68 1039.5,-1062.68 1045.5,-1062.68 1045.5,-1062.68 1206.5,-1062.68 1206.5,-1062.68 1212.5,-1062.68 1218.5,-1068.68 1218.5,-1074.68 1218.5,-1074.68 1218.5,-1106.68 1218.5,-1106.68 1218.5,-1112.68 1212.5,-1118.68 1206.5,-1118.68"/>
<text text-anchor="middle" x="1126" y="-1105.88" font-family="Monospace" font-size="11.00" fill="#424242">A dynamic exception</text>
<text text-anchor="middle" x="1126" y="-1093.88" font-family="Monospace" font-size="11.00" fill="#424242">specification is violated</text>
<text text-anchor="middle" x="1126" y="-1081.88" font-family="Monospace" font-size="11.00" fill="#424242">[DEPRECATED IN C++11]</text>
<text text-anchor="middle" x="1126" y="-1069.88" font-family="Monospace" font-size="11.00" fill="#424242">[REMOVED &#160;&#160;&#160;IN C++17]</text>
</g>
<!-- unexpectedCause&#45;&gt;unexpected -->
<g id="edge35" class="edge">
<title>unexpectedCause&#45;&gt;unexpected</title>
<path fill="none" stroke="#c2c2c2" d="M1125.64,-1062.62C1125.12,-1023.59 1124.15,-951.2 1123.54,-905.79"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="1127.04,-905.65 1123.41,-895.7 1120.04,-905.75 1127.04,-905.65"/>
</g>
<!-- user_unexpected_handler&#45;&gt;END -->
<g id="edge40" class="edge">
<title>user_unexpected_handler&#45;&gt;END</title>
<path fill="none" stroke="#c2c2c2" stroke-dasharray="5,2" d="M970,-93.25C970,-84.46 970,-73.44 970,-62.93"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="973.5,-62.7 970,-52.7 966.5,-62.7 973.5,-62.7"/>
</g>
<!-- set_unexpected -->
<g id="node20" class="node">
<title>set_unexpected</title>
<ellipse fill="lightpink" stroke="gray" cx="1085" cy="-692.09" rx="111.95" ry="31.23"/>
<text text-anchor="middle" x="1085" y="-701.29" font-family="Monospace" font-size="11.00" fill="#424242">std::set_unexpected()</text>
<text text-anchor="middle" x="1085" y="-689.29" font-family="Monospace" font-size="11.00" fill="#424242">[DEPRECATED IN C++11]</text>
<text text-anchor="middle" x="1085" y="-677.29" font-family="Monospace" font-size="11.00" fill="#424242">[REMOVED &#160;&#160;&#160;IN C++17]</text>
</g>
<!-- set_unexpected&#45;&gt;unexpected_handler -->
<g id="edge39" class="edge">
<title>set_unexpected&#45;&gt;unexpected_handler</title>
<path fill="none" stroke="pink" d="M1085.84,-660.95C1086.16,-649.32 1086.53,-635.84 1086.88,-623.38"/>
<polygon fill="pink" stroke="pink" points="1090.38,-623.32 1087.16,-613.23 1083.38,-623.13 1090.38,-623.32"/>
<text text-anchor="middle" x="1100" y="-634.18" font-family="Monospace" font-size="11.00" fill="hotpink">sets</text>
</g>
<!-- raise -->
<g id="node22" class="node">
<title>raise</title>
<ellipse fill="lightgrey" stroke="black" cx="1287" cy="-199.5" rx="87.39" ry="18"/>
<text text-anchor="middle" x="1287" y="-196.7" font-family="Monospace" font-size="11.00">std::raise(SIGABRT)</text>
</g>
<!-- abort&#45;&gt;raise -->
<g id="edge32" class="edge">
<title>abort&#45;&gt;raise</title>
<path fill="none" stroke="black" d="M966.98,-272.2C1030.8,-257.9 1146.62,-231.95 1220.03,-215.5"/>
<polygon fill="black" stroke="black" points="1221.11,-218.85 1230.1,-213.25 1219.57,-212.02 1221.11,-218.85"/>
</g>
<!-- user_signal_handler -->
<g id="node24" class="node">
<title>user_signal_handler</title>
<path fill="none" stroke="black" d="M1156.5,-133.5C1156.5,-133.5 1069.5,-133.5 1069.5,-133.5 1063.5,-133.5 1057.5,-127.5 1057.5,-121.5 1057.5,-121.5 1057.5,-101.5 1057.5,-101.5 1057.5,-95.5 1063.5,-89.5 1069.5,-89.5 1069.5,-89.5 1156.5,-89.5 1156.5,-89.5 1162.5,-89.5 1168.5,-95.5 1168.5,-101.5 1168.5,-101.5 1168.5,-121.5 1168.5,-121.5 1168.5,-127.5 1162.5,-133.5 1156.5,-133.5"/>
<text text-anchor="middle" x="1113" y="-120.7" font-family="Monospace" font-size="11.00">User&#45;specified</text>
<text text-anchor="middle" x="1113" y="-108.7" font-family="Monospace" font-size="11.00">Signal Handler</text>
<text text-anchor="middle" x="1113" y="-96.7" font-family="Monospace" font-size="11.00">for SIGABRT</text>
</g>
<!-- raise&#45;&gt;user_signal_handler -->
<g id="edge44" class="edge">
<title>raise&#45;&gt;user_signal_handler</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M1216.9,-188.78C1195.52,-183.59 1172.73,-175.65 1154,-163.5 1145.37,-157.9 1137.72,-149.88 1131.43,-141.86"/>
<polygon fill="black" stroke="black" points="1134.11,-139.6 1125.38,-133.59 1128.46,-143.73 1134.11,-139.6"/>
<text text-anchor="middle" x="1211.5" y="-154.7" font-family="monospace italic" font-size="11.00">if user&#45;specified</text>
</g>
<!-- raise&#45;&gt;END -->
<g id="edge42" class="edge">
<title>raise&#45;&gt;END</title>
<path fill="none" stroke="black" d="M1283.07,-181.13C1280.3,-171.65 1275.83,-160.13 1269,-151.5 1238.64,-113.12 1222.19,-110.54 1178,-89.5 1120.31,-62.03 1047.81,-43.64 1005.42,-34.36"/>
<polygon fill="black" stroke="black" points="1006.08,-30.92 995.57,-32.24 1004.62,-37.76 1006.08,-30.92"/>
</g>
<!-- signal -->
<g id="node23" class="node">
<title>signal</title>
<ellipse fill="pink" stroke="black" cx="1090" cy="-199.5" rx="91.31" ry="18"/>
<text text-anchor="middle" x="1090" y="-196.7" font-family="Monospace" font-size="11.00">std::signal(SIGABRT)</text>
</g>
<!-- signal&#45;&gt;user_signal_handler -->
<g id="edge43" class="edge">
<title>signal&#45;&gt;user_signal_handler</title>
<path fill="none" stroke="pink" d="M1092.62,-181.38C1094.16,-172.41 1096.33,-161.28 1099,-151.5 1099.72,-148.86 1100.54,-146.14 1101.41,-143.43"/>
<polygon fill="pink" stroke="pink" points="1104.79,-144.36 1104.69,-133.76 1098.16,-142.11 1104.79,-144.36"/>
<text text-anchor="middle" x="1113" y="-154.7" font-family="Monospace" font-size="11.00" fill="hotpink">sets</text>
</g>
<!-- user_signal_handler&#45;&gt;END -->
<g id="edge45" class="edge">
<title>user_signal_handler&#45;&gt;END</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M1076.92,-89.49C1053.64,-75.94 1023.68,-58.5 1001.39,-45.53"/>
<polygon fill="black" stroke="black" points="1003.06,-42.45 992.66,-40.44 999.54,-48.5 1003.06,-42.45"/>
</g>
<!-- _exit -->
<g id="node25" class="node">
<title>_exit</title>
<ellipse fill="#f0f0f0" stroke="gray" cx="375" cy="-936.06" rx="92.76" ry="22.76"/>
<text text-anchor="middle" x="375" y="-939.26" font-family="Monospace" font-size="11.00" fill="#707070">_exit(int status)</text>
<text text-anchor="middle" x="375" y="-927.26" font-family="Monospace" font-size="11.00" fill="#707070">[POSIX&#45;specific]</text>
</g>
<!-- _exit&#45;&gt;_Exit -->
<g id="edge5" class="edge">
<title>_exit&#45;&gt;_Exit</title>
<path fill="none" stroke="gray" d="M378.81,-913.19C382.42,-892.56 388.01,-860.77 393,-833.2 394.59,-824.4 396.36,-814.79 397.96,-806.16"/>
<polygon fill="gray" stroke="gray" points="401.42,-806.69 399.81,-796.22 394.54,-805.41 401.42,-806.69"/>
<text text-anchor="middle" x="427" y="-861.52" font-family="Monospace" font-size="11.00" fill="#707070">is same as</text>
</g>
<!-- __fastfail -->
<g id="node26" class="node">
<title>__fastfail</title>
<ellipse fill="#f0f0f0" stroke="gray" cx="1413" cy="-456.13" rx="121.74" ry="22.76"/>
<text text-anchor="middle" x="1413" y="-459.33" font-family="Monospace" font-size="11.00" fill="#707070">__fastfail(FAST_FAIL_*)</text>
<text text-anchor="middle" x="1413" y="-447.33" font-family="Monospace" font-size="11.00" fill="#707070">[Microsoft&#45;specific]</text>
</g>
<!-- __fastfail&#45;&gt;END -->
<g id="edge4" class="edge">
<title>__fastfail&#45;&gt;END</title>
<path fill="none" stroke="gray" d="M1412.22,-433.41C1411.66,-415.89 1411,-390.61 1411,-368.5 1411,-368.5 1411,-368.5 1411,-110.5 1411,-69.45 1112.09,-39.56 1006.45,-30.28"/>
<polygon fill="gray" stroke="gray" points="1006.53,-26.78 996.27,-29.4 1005.93,-33.75 1006.53,-26.78"/>
</g>
<!-- PROGRAM -->
<g id="node27" class="node">
<title>PROGRAM</title>
<ellipse fill="none" stroke="black" cx="867" cy="-1303.17" rx="38.47" ry="38.47"/>
<text text-anchor="middle" x="867" y="-1300.37" font-family="Monospace" font-size="11.00">PROGRAM</text>
</g>
<!-- PROGRAM&#45;&gt;_Exit -->
<g id="edge2" class="edge">
<title>PROGRAM&#45;&gt;_Exit</title>
<path fill="none" stroke="black" d="M828.45,-1301.38C719.49,-1298.67 411.27,-1287.5 320,-1246.68 294.73,-1235.38 286.93,-1229.16 274,-1204.68 243.55,-1147.05 211.09,-972.34 239,-913.43 263.99,-860.68 320.99,-821.76 360.73,-799.79"/>
<polygon fill="black" stroke="black" points="362.53,-802.79 369.68,-794.97 359.21,-796.63 362.53,-802.79"/>
<text text-anchor="middle" x="256" y="-933.26" font-family="Monospace" font-size="11.00">calls</text>
</g>
<!-- PROGRAM&#45;&gt;terminate -->
<g id="edge24" class="edge">
<title>PROGRAM&#45;&gt;terminate</title>
<path fill="none" stroke="black" d="M872.69,-1264.77C875.17,-1246.67 877.78,-1224.6 879,-1204.68 891.58,-999.51 873,-947.77 873,-742.2 873,-742.2 873,-742.2 873,-580.87 873,-544.39 852.79,-506.67 836.87,-482.61"/>
<polygon fill="black" stroke="black" points="839.58,-480.36 831.03,-474.09 833.8,-484.32 839.58,-480.36"/>
<text text-anchor="middle" x="890" y="-775.4" font-family="Monospace" font-size="11.00">calls</text>
</g>
<!-- PROGRAM&#45;&gt;terminateCause -->
<g id="edge23" class="edge">
<title>PROGRAM&#45;&gt;terminateCause</title>
<path fill="none" stroke="black" d="M852.14,-1267.41C845.67,-1252.29 837.67,-1233.58 829.33,-1214.06"/>
<polygon fill="black" stroke="black" points="832.49,-1212.55 825.34,-1204.74 826.05,-1215.31 832.49,-1212.55"/>
</g>
<!-- PROGRAM&#45;&gt;mainReturn -->
<g id="edge7" class="edge">
<title>PROGRAM&#45;&gt;mainReturn</title>
<path fill="none" stroke="darkorange" stroke-width="2" d="M828.34,-1301.17C690.4,-1297.33 227.6,-1281.9 172,-1246.68 129.95,-1220.05 105.65,-1165.93 93.37,-1129.23"/>
<polygon fill="darkorange" stroke="darkorange" stroke-width="2" points="96.6,-1127.84 90.22,-1119.38 89.93,-1129.97 96.6,-1127.84"/>
</g>
<!-- PROGRAM&#45;&gt;exit -->
<g id="edge10" class="edge">
<title>PROGRAM&#45;&gt;exit</title>
<path fill="none" stroke="black" d="M828.45,-1301.19C714.76,-1297.88 382.55,-1285.08 282,-1246.68 252.6,-1235.46 241.03,-1231.76 225,-1204.68 147.14,-1073.18 168.01,-877.93 179.16,-806.58"/>
<polygon fill="black" stroke="black" points="182.63,-807.03 180.78,-796.59 175.72,-805.9 182.63,-807.03"/>
<text text-anchor="middle" x="186" y="-933.26" font-family="Monospace" font-size="11.00">calls</text>
</g>
<!-- PROGRAM&#45;&gt;quick_exit -->
<g id="edge17" class="edge">
<title>PROGRAM&#45;&gt;quick_exit</title>
<path fill="none" stroke="black" d="M830.81,-1289.23C790.21,-1273.53 723.79,-1244.17 676,-1204.68 645.61,-1179.58 619.11,-1142.23 603.34,-1117.43"/>
<polygon fill="black" stroke="black" points="606.29,-1115.55 598.03,-1108.91 600.35,-1119.25 606.29,-1115.55"/>
<text text-anchor="middle" x="751" y="-1231.88" font-family="Monospace" font-size="11.00">calls</text>
</g>
<!-- PROGRAM&#45;&gt;unexpected -->
<g id="edge34" class="edge">
<title>PROGRAM&#45;&gt;unexpected</title>
<path fill="none" stroke="#c2c2c2" d="M902.07,-1286.81C918.93,-1277.61 937.86,-1264.25 949,-1246.68 1014.03,-1144.12 931.49,-1082.55 991,-976.68 1009.04,-944.59 1040.15,-917.66 1067.63,-898.33"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="1069.76,-901.11 1076.03,-892.57 1065.8,-895.34 1069.76,-901.11"/>
<text text-anchor="middle" x="1008" y="-1087.88" font-family="Monospace" font-size="11.00" fill="#424242">calls</text>
</g>
<!-- PROGRAM&#45;&gt;unexpectedCause -->
<g id="edge33" class="edge">
<title>PROGRAM&#45;&gt;unexpectedCause</title>
<path fill="none" stroke="#c2c2c2" d="M903.84,-1291.26C930.78,-1282.13 967.3,-1267.27 995,-1246.68 1039.97,-1213.27 1079.62,-1161.56 1103.21,-1127.17"/>
<polygon fill="#c2c2c2" stroke="#c2c2c2" points="1106.15,-1129.07 1108.85,-1118.83 1100.35,-1125.15 1106.15,-1129.07"/>
</g>
<!-- PROGRAM&#45;&gt;abort -->
<g id="edge31" class="edge">
<title>PROGRAM&#45;&gt;abort</title>
<path fill="none" stroke="black" d="M884.87,-1268.97C905.01,-1228.37 935,-1156.97 935,-1091.68 935,-1091.68 935,-1091.68 935,-814.2 935,-735.64 921,-716.55 921,-637.98 921,-637.98 921,-637.98 921,-366.5 921,-348.34 921,-327.92 921,-312"/>
<polygon fill="black" stroke="black" points="924.5,-311.78 921,-301.78 917.5,-311.78 924.5,-311.78"/>
<text text-anchor="middle" x="944" y="-689.29" font-family="Monospace" font-size="11.00">calls</text>
</g>
<!-- PROGRAM&#45;&gt;raise -->
<g id="edge41" class="edge">
<title>PROGRAM&#45;&gt;raise</title>
<path fill="none" stroke="black" d="M905.72,-1303.16C978.83,-1302.86 1137.91,-1291.53 1228,-1204.68 1265.85,-1168.19 1263,-1144.26 1263,-1091.68 1263,-1091.68 1263,-1091.68 1263,-282.5 1263,-263.52 1269,-243.02 1275,-227.27"/>
<polygon fill="black" stroke="black" points="1278.37,-228.25 1278.87,-217.67 1271.88,-225.63 1278.37,-228.25"/>
<text text-anchor="middle" x="1280" y="-634.18" font-family="Monospace" font-size="11.00">calls</text>
</g>
<!-- PROGRAM&#45;&gt;_exit -->
<g id="edge3" class="edge">
<title>PROGRAM&#45;&gt;_exit</title>
<path fill="none" stroke="gray" d="M828.14,-1301.69C711.49,-1299.34 368.15,-1285.55 300,-1204.68 267.35,-1165.94 273.85,-1020.08 300,-976.68 303.76,-970.44 308.87,-965.13 314.67,-960.63"/>
<polygon fill="gray" stroke="gray" points="316.66,-963.5 322.94,-954.97 312.71,-957.73 316.66,-963.5"/>
<text text-anchor="middle" x="419.5" y="-1237.88" font-family="Monospace" font-size="11.00" fill="#707070">calls</text>
<text text-anchor="middle" x="419.5" y="-1225.88" font-family="Monospace" font-size="11.00" fill="#707070">[POSIX&#45;specific]</text>
</g>
<!-- PROGRAM&#45;&gt;__fastfail -->
<g id="edge1" class="edge">
<title>PROGRAM&#45;&gt;__fastfail</title>
<path fill="none" stroke="gray" d="M905.71,-1301.3C995.95,-1298.59 1217.13,-1287.81 1277,-1246.68 1341.76,-1202.2 1362,-1170.25 1362,-1091.68 1362,-1091.68 1362,-1091.68 1362,-580.87 1362,-547.08 1378.46,-511.75 1392.67,-487.53"/>
<polygon fill="gray" stroke="gray" points="1395.77,-489.18 1397.97,-478.82 1389.79,-485.54 1395.77,-489.18"/>
<text text-anchor="middle" x="1430" y="-781.4" font-family="Monospace" font-size="11.00" fill="#707070">calls</text>
<text text-anchor="middle" x="1430" y="-769.4" font-family="Monospace" font-size="11.00" fill="#707070">[Microsoft&#45;specific]</text>
</g>
</g>
</svg>