+++ /dev/null
-extern "C" void abort ();
-
-struct A {
- unsigned long long u;
-} *a;
-
-struct B {
- unsigned long long v;
- unsigned long long w ()
- {
- return a->u - v;
- }
-} b;
-
-struct C {
- static unsigned long long x;
- static void y (unsigned long long z);
-};
-
-unsigned long long C::x = 0;
-
-int main ()
-{
- a = new A;
- b.v = 333418;
- a->u = 1132270;
- C::x = 0;
- C::y (799016);
-}
-
-void foo (unsigned long long a, unsigned long long b, unsigned long long c)
-{
-}
-
-void C::y (unsigned long long z)
-{
- unsigned long long c = b.w () - x;
- if (z < b.w ())
- {
- if ((long long) c < 0)
- {
- foo (b.w (), a->u, b.v);
- abort ();
- }
- }
-}