{"owner":"nuudlman","repo":"llvm","channel":"main","channels":["main"],"can_delete":true,"inode":{"File":{"path":[{"basename":"clang","pos":"7OVOGA6QKF5OI.EJBFAJQ","meta":576},{"basename":"test","pos":"7OVOGA6QKF5OI.RXSO6JQ","meta":576},{"basename":"Analysis","pos":"7OVOGA6QKF5OI.SXA2ULY","meta":576},{"basename":"division-by-zero-track-zero.cpp","pos":"7OVOGA6QKF5OI.GCH5WLY","meta":0}],"file":"// RUN: %clang_analyze_cc1 -analyzer-checker=core \\\n// RUN: -analyzer-output=text \\\n// RUN: -verify %s\n\nnamespace test_tracking_of_lhs_multiplier {\n int f(int x, int y) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = p0 * y; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_lhs_multiplier\n\nnamespace test_tracking_of_rhs_multiplier {\n int f(int x, int y) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = y * p0; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_rhs_multiplier\n\nnamespace test_tracking_of_nested_multiplier {\n int f(int x, int y, int z) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = y*z*p0; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_nested_multiplier\n\nnamespace test_tracking_through_multiple_stmts {\n int f(int x, int y) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}}\n bool p1 = p0 ? 0 : 1; // expected-note {{'p0' is false}} \\\n // expected-note {{'?' condition is false}}\n bool p2 = 1 - p1; // expected-note {{'p2' initialized to 0}}\n int div = p2 * y; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_through_multiple_stmts\n\nnamespace test_tracking_both_lhs_and_rhs {\n int f(int x, int y) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n bool p1 = y < 0; // expected-note {{Assuming 'y' is >= 0}} \\\n // expected-note {{'p1' initialized to 0}}\n int div = p0 * p1; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_both_lhs_and_rhs\n\nnamespace test_tracking_of_multiplier_and_parens {\n int f(int x, int y, int z) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = y*(z*p0); // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_multiplier_and_parens\n\nnamespace test_tracking_of_divisible {\n int f(int x, int y) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = p0 / y; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_divisible\n\nnamespace test_tracking_of_modulo {\n int f(int x, int y) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = p0 % y; // expected-note {{'div' initialized to 0}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_modulo\n\nnamespace test_tracking_of_assignment {\n int f(int x) {\n bool p0 = x < 0; // expected-note {{Assuming 'x' is >= 0}} \\\n // expected-note {{'p0' initialized to 0}}\n int div = 1;\n div *= p0; // expected-note {{The value 0 is assigned to 'div'}}\n return 1 / div; // expected-note {{Division by zero}} \\\n // expected-warning {{Division by zero}}\n }\n} // namespace test_tracking_of_assignment\n"}},"token":"cHLylKnl4xTcoUlui92Q11imHWiSWEYgprPDyiBoens=","login":null}