Paul Fultz II fd3c1fd040 Fix issue 1777: Undefined Behavior: Comparing pointers to different objects
This uses the lifetime analysis to check when comparing pointer that point to different objects:

```cpp
int main(void)
{
    int foo[10];
    int bar[10];
    int diff;

    if(foo > bar)   // Undefined Behavior
    {
       diff = 1;
    }

    return 0;
}
```
2019-02-23 08:32:08 +01:00
..
2017-06-05 13:23:00 +02:00
2018-01-14 15:37:52 +01:00
2018-01-14 15:37:52 +01:00
2018-01-14 15:37:52 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2018-10-13 18:20:31 +02:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00
2019-02-09 07:24:06 +01:00