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

    <tr>
        <th>Summary</th>
        <td>
            False positive "for loop analysis" warning
        </td>
    </tr>

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

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

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

<pre>
    This is tested with clang 18.1.0 on godbolt and occurs on trunk.

Here is the godbolt: https://godbolt.org/z/o3jhnoPso

Here is the code:
```c++
#include <iostream>
#include <vector>

/**
 * Definition for singly-linked list.
 */
struct ListNode
{
  int val;
  ListNode* next;
  ListNode() : val(0), next(nullptr) {}
 ListNode(int x) : val(x), next(nullptr) {}
  ListNode(int x, ListNode* next) : val(x), next(next) {}
};

class Solution
{
public:
 static std::vector<std::vector<int>> spiralMatrix(const int M, const int N, ListNode const* head)
  {
    std::vector<std::vector<int>> out(M, std::vector<int>(N, -1));

    const auto writeVal = [&](const int y, const int x) {
      if (head) {
        out[y][x] = head->val;
 head = head->next;
      }
    };

    // ok, we will loop in numbers.
    for (int iter = 0; head; iter++) {
      const int W = N - 2 * iter;
      const int H = M - 2 * iter;

      for (int j = 0; j < W; j++) {
        writeVal(iter, iter + j);
      }

      for (int j = 1; j < H; j++) {
        writeVal(iter + j, iter + W - 1);
 }

      for (int j = W - 2; 0 <= j; j--) {
        writeVal(iter + H - 1, iter + j);
      }

      for (int j = H - 2; 0 < j; j--) {
        writeVal(iter + j, iter);
      }
    }

    return out;
  }
};
```

If you compile this like so you get the following warning:
```c++
clang++ -Wall -Wextra -std=c++2a -Werror -o test test.cpp
<source>:31:24: error: variable 'head' used in loop condition not modified in loop body [-Werror,-Wfor-loop-analysis]
   31 | for (int iter = 0; head; iter++) {
      | ^~~~
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVltv8jgT_jXmZhSU2EDCRS44FPFJ31uttKvl2jgG3Bob2U6BvehvX40Tji3dVrsoCvEcHj8ztsfDvVdrI2VJ-mPSn3Z4HTbWlW4u3Vb6ztJWx_KPjfKgPATpg6xgr8IGhOZmDVnRzbopWANrWy2tDsBNBVaI2nmUBleb1y5JpyQdNe-5dDJibeTJh7ARbELYecJGhM4InbWKrnVrQmd_ETqz7GVj7G_ePsIStpLo36gHafMIQsf4NFLKlBG6riQQNlHWByf5lrCnz9RvUgTrLsrWZEboCJ84BEJHMJUrZVRQ1sDKOvDKrPUx0cq8ygq08qF7MUb_OPDB1SLA_5UPz0i8Qc9bogDKBHjjmrCz5GxKR2DkIXyqKggdAqYTfWmREjokdNLY08LUWu-Cizb5mOTTFuDKH-c93IIcvgfyCcrkI-kvkU8GV7D4cQq0eQvNvYffra4x5XeJ29VLrcR5G4APPCgBPlQoY6PTok4-SpQJuNjsCfxOOa5_8eDUgdBCWONDXJBfSPYyfL6OsJFjnBvJKwysTcvVosIPidga0xJnfWhGi0gjyWIuh3fJwjkbwrwOFvZOBfkn10DYFPC80wHpT29iPN7GeDgtyBkOQK2A0KIN814JkXV_fETg_vhA-tM4G5onhD3dbGoU3mjvNjb-rnZYM_gYYVMzwL4i972EvdIatLU7UAZMvV1K57sXczyl7SZVQbpIICVs3KwcG0dpWzc-BnjJzSJ6PkMCNBaC6MYeGM-j8a_Pja9drti9XKjh5wQW8fMhNTgvMALEICZtiDT6DR_l9ksC2YXA_IcEThNf0VhAAtkNle-xQD-K06fIBCUvkUySfJvIvJn6v8jJ_IbNz6mcc_IFgQdsnAy1M_GYXRw_L5inW_Aa4n8rONoahN3ulJYQ8GrX6lWCt1GxliHepyurtd0rs4Y9d0aZ9T9crrEfaASQLLjWkCzkITgOSSxe09aaclQ4Zx0kNnYU8dUVu10Lzybe1k7IWAVHLCNsRHt4a0Sv5vpwii-1BELzpg7lUHtZ4XmP515YUzVXsrEBtrZSK3WlxqYG619LhNBJslhZl6Ay4Ybro1ceC9gp6SwDkk_-ZeVABNJ_en9_v8tjpypZNWRD3pFlltNBwbKiRzubcrmU_V5W5P2hlFXalxVbrUQ6yIdcVsUgqzqqpCntpUOaZhlLWdEthGB5ka_EoKiGOVuRXiq3XOmu1m9bbKc6yvtallk67KW0o_lSah9bP0qN3EPUEkqxE3QlOiXLeu1JL8VOxl9gggpaljOuvYSd9SqoN1wOiimKOT6nkdLTDurUTpd3jZ4Km3rZFXZL6AzB279k5-yLFIHQWaTkCZ21nN9K-ncAAAD__1aR9fg">