Branch data Line data Source code
1 : : #include "package3/package3.hpp" 2 : : 3 : 1 : int dangerous_function() { 4 : 1 : double x = 1.0; 5 : 1 : x = x++ + ++x; // Undefined behavior 6 : 1 : return x; 7 : : }