[Voted into the WP at the March, 2011 meeting.]

Proposed resolution (November, 2010):

Change 7.7 [expr.const] bullet 2.19 as follows:

• a relational (7.6.9 [expr.rel]) or equality (7.6.10 [expr.eq]) operator where at least one of the operands is a pointer the result is unspecified;

It's not clear whether the current rules for constant expressions allow indirect calls of constexpr functions and constexpr member functions; for example,

    constexpr bool is_negative(int x) { return x < 0; }
    constexpr bool check(int x, bool (*p)(int)) { return p(x); }
    static_assert(check(-2, is_negative), "Error");

If this is to be permitted, there does not seem to be a reason to prohibit equality comparison of pointers to functions or pointers to objects of static storage duration -- these can be tracked as is already done for non-type template parameters.