{"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":"unary-sym-expr.c","pos":"7OVOGA6QKF5OI.67Q22LY","meta":0}],"file":"// RUN: %clang_analyze_cc1 %s \\\n// RUN: -analyzer-checker=core,debug.ExprInspection \\\n// RUN: -analyzer-config eagerly-assume=false \\\n// RUN: -verify\n\nvoid clang_analyzer_eval(int);\nvoid clang_analyzer_dump(int);\n\nint test(int x, int y) {\n\n clang_analyzer_dump(-x); // expected-warning{{-reg_$0}}\n clang_analyzer_dump(~x); // expected-warning{{~reg_$0}}\n int z = x + y;\n clang_analyzer_dump(-z); // expected-warning{{-((reg_$0) + (reg_$1))}}\n clang_analyzer_dump(-(x + y)); // expected-warning{{-((reg_$0) + (reg_$1))}}\n clang_analyzer_dump(-x + y); // expected-warning{{(-reg_$0) + (reg_$1)}}\n\n if (-x == 0) {\n clang_analyzer_eval(-x == 0); // expected-warning{{TRUE}}\n clang_analyzer_eval(-x > 0); // expected-warning{{FALSE}}\n clang_analyzer_eval(-x < 0); // expected-warning{{FALSE}}\n }\n if (~y == 0) {\n clang_analyzer_eval(~y == 0); // expected-warning{{TRUE}}\n clang_analyzer_eval(~y > 0); // expected-warning{{FALSE}}\n clang_analyzer_eval(~y < 0); // expected-warning{{FALSE}}\n }\n (void)(x);\n return 42;\n}\n\nvoid test_svalbuilder_simplification(int x, int y) {\n if (x + y != 3)\n return;\n clang_analyzer_eval(-(x + y) == -3); // expected-warning{{TRUE}}\n // FIXME Commutativity is not supported yet.\n clang_analyzer_eval(-(y + x) == -3); // expected-warning{{UNKNOWN}}\n}\n\nint test_fp(int flag) {\n int value;\n if (flag == 0)\n value = 1;\n if (-flag == 0)\n return value; // no-warning\n return 42;\n}\n"}},"token":"IApOYVlFShW1fCDefWDVco6y0m+521aO2g9juDjmsPo=","login":null}