<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/61506>61506</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            CSA emits confusing unrolling info with widen-loops configs
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          Geoffrey1014
      </td>
    </tr>
</table>

<pre>
    CSA reports a fase psotive: " \<source\>:10:7: warning: Dereference of null pointer (loaded from variable 'd') [core.NullDereference] ".  And the path note about the for loop ` for (b = 0; b <= 2; b++)` is  confusing.  (Too many " Entering loop body" and wrong note  " \<source\>:7:15: note: Value assigned to 'd'".)
See it alive: https://godbolt.org/z/GYn5x4dTf

Input:
```c
# include <stdio.h>

int a() {
  int b;
  int c;
  int *d = &c;
  for (b = 0; b <= 2; b++)
    if (d != 0,1) { // note: Assuming 'd' is equal to null
      printf("NPD_FLAG\n"); 
      *d;
    }
}
void main() { a(); }
```

Output:
```bash 
ANALYZE (Syntax): <source> a : 13.0 ms
ANALYZE (Syntax): <source> main : 0.0 ms
ANALYZE (Path,  Inline_Regular): <source> main : 35.3 ms
<source>:10:7: warning: Dereference of null pointer (loaded from variable 'd') [core.NullDereference]
      *d;
      ^
<source>:13:15: note: Calling 'a'
void main() { a(); }
              ^~~
<source>:7:3: note: Loop condition is true.  Entering loop body
  for (b = 0; b <= 2; b++)
  ^
<source>:8:5: note: Taking true branch
    if (d != 0,1) { // note: Assuming 'd' is equal to null
    ^
<source>:7:3: note: Loop condition is true.  Entering loop body
  for (b = 0; b <= 2; b++)
 ^
<source>:8:5: note: Taking true branch
    if (d != 0,1) { // note: Assuming 'd' is equal to null
    ^
<source>:7:3: note: Loop condition is true.  Entering loop body
  for (b = 0; b <= 2; b++)
 ^
<source>:8:5: note: Taking true branch
    if (d != 0,1) { // note: Assuming 'd' is equal to null
    ^
<source>:7:15: note: Value assigned to 'd'
  for (b = 0; b <= 2; b++)
              ^
<source>:7:15: note: Assuming 'b' is <= 2
  for (b = 0; b <= 2; b++)
 ^~~~~~
<source>:7:3: note: Loop condition is true.  Entering loop body
 for (b = 0; b <= 2; b++)
  ^
<source>:8:9: note: Assuming 'd' is equal to null
    if (d != 0,1) { // note: Assuming 'd' is equal to null
 ^~~~~~
<source>:8:9: note: Assuming pointer value is null
    if (d != 0,1) { // note: Assuming 'd' is equal to null
 ^~~~~~
<source>:8:5: note: Taking true branch
    if (d != 0,1) { // note: Assuming 'd' is equal to null
    ^
<source>:10:7: note: Dereference of null pointer (loaded from variable 'd')
      *d;
 ^~
===-------------------------------------------------------------------------===
 Analyzer timers
===-------------------------------------------------------------------------===
 Total Execution Time: 0.0049 seconds (0.0528 wall clock)

   ---User Time---   --System Time--   --User+System--   ---Wall Time---  --- Name ---
   0.0000 (  0.0%)   0.0035 ( 77.4%)   0.0035 ( 71.2%)   0.0353 ( 66.8%)  Path exploration time
   0.0002 ( 44.2%)   0.0003 (  7.6%) 0.0005 ( 10.5%)   0.0166 ( 31.4%)  Syntax-based analysis time
   0.0002 ( 55.8%)   0.0007 ( 15.0%)   0.0009 ( 18.3%)   0.0010 (  1.8%)  Path-sensitive report post-processing time
   0.0004 (100.0%)   0.0045 (100.0%)   0.0049 (100.0%)   0.0528 (100.0%)  Total

1 warning generated.
Compiler returned: 0

```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWFuP27YS_jX0y8CCREqy_eAHrb0OAgR7grN7TpG-BJRE2Wwo0iWpveQhv70YSr5t7DRpLg2KGoYtfuLMfPxmSJHizsm1FmJOsiuSLUe88xtj5y-EaRornpI4SUelqZ_mi9sCrNga6x1waLgTsHXGy3tBWAGEUiDZgrCFM52tRLi-JqxIYsKKCXZ54FZLvcbLpbCiEVboSoBpQHdKwdZI7YUFQqfK8FrU0FjTwj23kpdKAKGTmtAJoTMg2VVlrIhuOqWOXJFsiTwigELX4DcCttxvQBsvgJem8wFrjAVlzBZIHocGodMSCFtCTNgV4OUCWzS0CL0K3xn2lg6gMrrpnNTrCNDyzhhouX4KAlzjAKRe9_5RNUS5ruHBGr3umVyWClVKMtQHO-L__7nqBAwpqsGbgwo0QlLxksTFrRAgPXA15GLj_dYRVhC6InS1NnVplI-MXRO6ek_o6sUbnT2m9V3Tm_e_L_W282jUY3ncf6uhTRlIXamuFqiP87U00QZpH7mQ2gMndBpSNLnqQQCES8JO2tWzNqFFHXJAaH587wvyM1gAyAZNaiA06a3oIhkoQS_JXt_Cua7FhA2yYobF7x1XKDVW5cErwNZK7ZswPnrzevl29ap4QbKFJpRifHYFx71xREcDASCT5SDW7uLeyBpaLvVBs51-wdveYJeMY7H_0_mzCSu52wxEipvi1Ztfr1GN2yft-WNwXMCh8tg1cEAoYVEMrfsCO-QdTOPzlq-53xC6AHipldTi7X_FulPcftIVyyK293Xc5YevI5_MJADJrs-TZB9N4QVXaqgwjmG_KPNw8iHZ9YcPZ-OiLuw46itcgCqja-ml0VjW3nYignNL1F-eapdUmBJWnGhwx99hSKQApeW62nzv2XqJ2t8i1L86_aN1-txH9lc80k7WgM8kcjy6chjdPs5XpOgDfr5X0XzbRWh2SY8_yfZ3qKFPCneZ6-5hdh-qSrqfgOhPOhMP-4Od06_bHFzeAaBCOwrL_jv-Vp-9xyFWobl6ei8seNkK635U2DvjuYLrR1F1YebeyVYMe704nYETOKkdqhhHcUan8MCVgkqZ6t1eur2A4_H4f07Y4GQ8Hgfk9sl50Q5QQLALoVf9jQEb_4Ju93b4c8NbgRd770gpjpFKuCY0wxrrcZYFfDKJ0rN4EtFjnGUs4HkeTXc4bmNBPG6VsTxIgYk4DU6DUZqeOovj3hlMonzAA9qHTuIoO-6d5HnAWXKg2u-9xyV3ogaOheBwBb0QP8sOpHt80kfKnokSz3p8GrETPBlETE4HP3ZCO4nH_OH0D1vj_HhrTSWcC5P_I0Ypekri5-lIswv47CyOdfUcD4V5XF_J7jgAa6GF5V7UUX9nYdqtVMKCFb6zWtShgI9t92emUT1n9YzN-EjMk3wyo0nGEjrazKf1NI8nk2lTzUSTTspkWtJymuWJmKWTtJqN5JzGlMUsmcXTNMlolDOeVjHL85JzOk1mJI1Fy6WKlLpv8Qw-ks51Yp4nWZyPFC-FcuHVC6VaPEC4iQfKbDmyc7QZl93akTRW0nl38OKlVyK8kxGt9O7wWgI6bU1_5JC6MfAg_QYeZC30GB-2fU-5dqPOqvmzNwXSb7oyqkxL6AojDX-Y7N9E5QldBX6O0FXg_0cAAAD__2xI3ns">