------- Additional Comments From bangerth at dealii dot org 2004-11-02 16:10 ------- I don't want to have these symbols not mangled (they need indeed be mangled and randomized), the problem is that the randomness is sometimes not enough. See PR 9393 for a case that would have been solved with making symbols have internal linkage. W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18267
