49 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s2 3// expected-no-diagnostics4 5// This test case used to demonstrate a huge slowdown regression.6// Reported in https://bugs.llvm.org/show_bug.cgi?id=382087// Caused by 2bbccca9f75b6bce08d77cf19abfb206d0c3bc2e aka. "aggressive-binary-operation-simplification"8// Fixed by dcde8acc32f1355f37d3bc2814c528fdc2ca5f949 10int foo(int a, int b) {11 a += b; b -= a;12 a += b; b -= a;13 a += b; b -= a;14 a += b; b -= a;15 a += b; b -= a;16 a += b; b -= a;17 a += b; b -= a;18 a += b; b -= a;19 a += b; b -= a;20 a += b; b -= a;21 a += b; b -= a;22 a += b; b -= a;23 a += b; b -= a;24 a += b; b -= a;25 a += b; b -= a;26 a += b; b -= a;27 a += b; b -= a;28 a += b; b -= a;29 a += b; b -= a;30 a += b; b -= a;31 a += b; b -= a;32 a += b; b -= a;33 a += b; b -= a;34 a += b; b -= a;35 a += b; b -= a;36 a += b; b -= a;37 a += b; b -= a;38 a += b; b -= a;39 a += b; b -= a;40 a += b; b -= a;41 a += b; b -= a;42 a += b; b -= a;43 a += b; b -= a;44 a += b; b -= a;45 a += b; b -= a;46 a += b; b -= a;47 return a + b;48}49