mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-01-15 12:39:19 +00:00
44fa31fa6d
https://bugs.llvm.org/show_bug.cgi?id=51109 When we merged two classes, `*this` became an obsolete representation of the new `State`. This is b/c the member relations had changed during the previous merge of another member of the same class in a way that `*this` had no longer any members. (`mergeImpl` might keep the member relations to `Other` and could dissolve `*this`.) Differential Revision: https://reviews.llvm.org/D106285
24 lines
471 B
C
24 lines
471 B
C
// RUN: %clang_analyze_cc1 %s \
|
|
// RUN: -analyzer-checker=core \
|
|
// RUN: -analyzer-checker=debug.ExprInspection \
|
|
// RUN: -verify
|
|
|
|
// Here, we test that symbol simplification in the solver does not produce any
|
|
// crashes.
|
|
// https://bugs.llvm.org/show_bug.cgi?id=51109
|
|
|
|
// expected-no-diagnostics
|
|
|
|
int a, b, c, d;
|
|
void f() {
|
|
a = -1;
|
|
d = b * a;
|
|
a = d / c;
|
|
if (a < 7 / b)
|
|
return;
|
|
if (d *a / c < 7 / b)
|
|
return;
|
|
if (b == 1 && c == -1)
|
|
return;
|
|
}
|