diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 568ba2e78f5..4c022e5071b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2006-10-23 Ulrich Weigand + + * config/s390/predicates.md ("bras_sym_operand"): Do not accept + nonlocal function symbols if flag_pic. + 2006-10-23 Richard Guenther PR middle-end/27132 diff --git a/gcc/config/s390/predicates.md b/gcc/config/s390/predicates.md index de6e796318d..5f9e8d43892 100644 --- a/gcc/config/s390/predicates.md +++ b/gcc/config/s390/predicates.md @@ -62,7 +62,8 @@ ;; Allow SYMBOL_REFs and @PLT stubs. (define_special_predicate "bras_sym_operand" - (ior (match_code "symbol_ref") + (ior (and (match_code "symbol_ref") + (match_test "!flag_pic || SYMBOL_REF_LOCAL_P (op)")) (and (match_code "const") (and (match_test "GET_CODE (XEXP (op, 0)) == UNSPEC") (match_test "XINT (XEXP (op, 0), 1) == UNSPEC_PLT"))))) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b8b1c525dd4..b5cd9012f62 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2006-10-23 Ulrich Weigand + + * g++.dg/other/s390-1.C: New testcase. + 2006-10-23 Richard Guenther PR middle-end/27132 diff --git a/gcc/testsuite/g++.dg/other/s390-1.C b/gcc/testsuite/g++.dg/other/s390-1.C new file mode 100644 index 00000000000..bf37ca449e3 --- /dev/null +++ b/gcc/testsuite/g++.dg/other/s390-1.C @@ -0,0 +1,32 @@ +// { dg-do compile { target s390x-*-* } } +// { dg-options "-O3 -fPIC" } + +class A +{ +public: + void f (void) { _M_a = 0; } + void g (void) { _M_a = 1; } + void h (void); + +private: + int _M_a; +}; + +class B : virtual public A +{ +}; + +void +test (B& x) +{ + for (int i = 0; i < 17; i++) + { + x.f (); + (x.*&A::g) (); + x.h (); + } +} + +// Check that every call to A::g goes via the PLT. +// { dg-final { scan-assembler-not "brasl\[^@\]*\n" } } +