[clang-tidy] False negative modernize-use-integer-sign-comparison without cast?

[chrchr-github]

#include <vector>

bool f(int i, const std::vector<int>& v) {
    return i >= v.size();
}
bool g(int i, const std::vector<int>& v) {
    return i >= static_cast<int>(v.size()); // warning
}
bool h(int i, const std::vector<int>& v) {
    return static_cast<std::size_t>(i) >= v.size();
}

int main() {
    return f(-1, {});
}

<source>:7:12: warning: comparison between 'signed' and 'unsigned' integers [modernize-use-integer-sign-comparison]
    1 | #include <vector>
    2 | 
    3 | bool f(int i, const std::vector<int>& v) {
    4 |     return i >= v.size();
    5 | }
    6 | bool g(int i, const std::vector<int>& v) {
    7 |     return i >= static_cast<int>(v.size());
      |            ^ ~~~~~~~~~~~~~~~~~~~~         
      |            std::cmp_greater_equal( ,      )
1 warning generated.

I wonder if the observed behavior is intentional (warning only for g(), but not for f() and h()).
https://godbolt.org/z/8GWMrh781

[llvmbot]

@llvm/issue-subscribers-clang-tidy

Author: None (chrchr-github)

~~~c++ #include <vector>

bool f(int i, const std::vector<int>& v) {
return i >= v.size();
}
bool g(int i, const std::vector<int>& v) {
return i >= static_cast<int>(v.size()); // warning
}
bool h(int i, const std::vector<int>& v) {
return static_cast<std::size_t>(i) >= v.size();
}

int main() {
return f(-1, {});
}

<source>:7:12: warning: comparison between 'signed' and 'unsigned' integers [modernize-use-integer-sign-comparison]
1 | #include <vector>
2 |
3 | bool f(int i, const std::vector<int>& v) {
4 | return i >= v.size();
5 | }
6 | bool g(int i, const std::vector<int>& v) {
7 | return i >= static_cast<int>(v.size());
| ^ ~~~~~~~~~~~~~~~~~~~~
| std::cmp_greater_equal( , )
1 warning generated.

I wonder if the observed behavior is intentional (warning only for `g()`, but not for `f()` and `h()`).
https://godbolt.org/z/8GWMrh781
</details>

[zufuliu]

https://godbolt.org/z/oGcc3aGff

f() is caught by [-Wsign-compare]:

<source>:4:14: warning: comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare]
    4 |     return i >= v.size();
      |            ~ ^  ~~~~~~~~
1 warning generated.

[chrchr-github]

f() is caught by [-Wsign-compare]:

Yes, but it should also be in scope for modernize-use-integer-sign-comparison.

The warning can be triggered by any cast to a different type (e.g. int, unsigned short, unsigned long long), which seems suspicious.