diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 597e1c14a7ac799be16f0ec4fd69221c59585bca..a6473416f5395357fdb260f9a1b1414ef46916b2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-07-21  Mike Stump  <mrs@apple.com>
+
+	* doc/invoke.texi (C++ Dialect Options): Note that
+	-fvisibility-inlines-hidden doesn't affect explicitly
+	instantiationed inline methods.
+
 2006-07-20  Roger Sayle  <roger@eyesopen.com>
 
 	* config.gcc (i[34567]86-*-solaris2*): Add usegas.h to $tm_file
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 0017e1d8b405a8e9af7260f7ea4d1cb9e401cf64..f74d1a7649f2e389f1a1c9c547fc4fdad16cf5f9 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2006-07-20  Mike Stump  <mrs@apple.com>
+
+	* decl2.c (determine_visibility_from_class): Don't use hidden
+	visibility for explicit instantiations.
+
 2006-07-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
 	PR c++/28250
diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c
index 351de049f4c1075a5a5f4bb3f4909ad6ec65584c..876dea30ef23281056f6cf4ed1abd2762dd8c8b5 100644
--- a/gcc/cp/decl2.c
+++ b/gcc/cp/decl2.c
@@ -1801,7 +1801,9 @@ determine_visibility_from_class (tree decl, tree class_type)
       && !processing_template_decl
       && ! DECL_VISIBILITY_SPECIFIED (decl)
       && TREE_CODE (decl) == FUNCTION_DECL
-      && DECL_DECLARED_INLINE_P (decl))
+      && DECL_DECLARED_INLINE_P (decl)
+      && (! DECL_LANG_SPECIFIC (decl)
+	  || ! DECL_EXPLICIT_INSTANTIATION (decl)))
     DECL_VISIBILITY (decl) = VISIBILITY_HIDDEN;
   else if (!DECL_VISIBILITY_SPECIFIED (decl))
     {
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 7d72bd7e51d1222f3b55eeec3bc724a42b362c21..28a0a5bfa904ea17fc8045f63eff46b98a3480d1 100644
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -1627,6 +1627,10 @@ effect of the switch for that method.  For example, if you do want to
 compare pointers to a particular inline method, you might mark it as
 having default visibility.
 
+Explicitly instantiated inline methods are unaffected by this option
+as their linkage might otherwise cross a shared library boundary.
+@xref{Template Instantiation}.
+
 @item -fno-weak
 @opindex fno-weak
 Do not use weak symbol support, even if it is provided by the linker.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c50a2497d6f44592a5511f095e83524a40d66267..d0b9521f656725cdcad6b6098b01f6a1e4e1ddd2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2006-07-21  Mike Stump  <mrs@apple.com>
 
+	* g++.dg/ext/visibility/fvisibility-inlines-hidden-3.C: New test.
+
 	* gcc.c-torture/unsorted/dump-noaddr.x: Fix test case name.
 
 2006-07-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
diff --git a/gcc/testsuite/g++.dg/ext/visibility/fvisibility-inlines-hidden-3.C b/gcc/testsuite/g++.dg/ext/visibility/fvisibility-inlines-hidden-3.C
new file mode 100644
index 0000000000000000000000000000000000000000..50885a798ddcf1221543627fe819074b039b9dfe
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/visibility/fvisibility-inlines-hidden-3.C
@@ -0,0 +1,30 @@
+/* { dg-do compile } */
+/* { dg-require-visibility "" } */
+/* { dg-options "-fvisibility-inlines-hidden" } */
+/* { dg-final { scan-not-hidden "_ZN1IIiE3fooEv" } } */
+/* { dg-final { scan-not-hidden "_ZN1OIiE3fooEv" } } */
+/* { dg-final { scan-hidden "_ZN1S3fooEv" } } */
+
+template <class T>
+struct O {
+  static inline void foo() { }
+};
+
+template void O<int>::foo();
+
+template <class T>
+struct I {
+  static inline void foo() { }
+};
+
+extern template void I<int>::foo();
+
+struct S {
+  static inline void foo() { }
+};
+
+void bar() {
+  I<int>::foo();
+  O<int>::foo();
+  S::foo();
+}