https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115498

            Bug ID: 115498
           Summary: Missing warning for comparing distinct (char*)
                    pointers
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sjames at gcc dot gnu.org
  Target Milestone: ---

This is from an intermediate bad reduction in another PR:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115137#c5

```
enum { a } b;
int d, e;
static void f(char *g, char *h) {
    for (; g < h; g++) /* Comparison of two distinct & disjoint pointers */
        if (b)
            ++d;
}
int main() { f("somepage.html", "" + e); }
```

We don't warn on comparing these distinct pointers.

I suppose it might be hard to do this in general without some aliasing
sanitizer, but for constant pool references, it should be okay?

Reply via email to