Given int **p1 and const int**p2 is p1 == p2 well formed?

Question

Given the following function:

void g(int **p1, const int**p2)
{
   if (p1 == p2) { }  
}

clang(back to version 3.0) produ