<feed xmlns='http://www.w3.org/2005/Atom'>
<title>llvm-project.git/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp, branch main</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.
</subtitle>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/'/>
<entry>
<title>[FlowSensitive] [StatusOr] [9/N] Make sure all StatusOr are initialized</title>
<updated>2025-10-27T16:29:24+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-27T16:29:24+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=4ed494e7282c3b36a35b8e0930fd2e14b7038167'/>
<id>4ed494e7282c3b36a35b8e0930fd2e14b7038167</id>
<content type='text'>
This is important if the first use of a StatusOr (or Status) is in a
conditional statement, we need a stable value for `ok` from outside of
the conditional statement to make sure we don't use a different variable
in every branch.

Reviewers: jvoung, Xazax-hun

Reviewed By: jvoung

Pull Request: https://github.com/llvm/llvm-project/pull/163898
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This is important if the first use of a StatusOr (or Status) is in a
conditional statement, we need a stable value for `ok` from outside of
the conditional statement to make sure we don't use a different variable
in every branch.

Reviewers: jvoung, Xazax-hun

Reviewed By: jvoung

Pull Request: https://github.com/llvm/llvm-project/pull/163898
</pre>
</div>
</content>
</entry>
<entry>
<title>[FlowSensitive] [StatusOr] [8/N] Support value ctor and assignment</title>
<updated>2025-10-27T16:27:19+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-27T16:27:19+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=430d0edb521c33e6bf6e38cd1b7a49b173ef18e7'/>
<id>430d0edb521c33e6bf6e38cd1b7a49b173ef18e7</id>
<content type='text'>
Reviewers: jvoung, Xazax-hun

Reviewed By: jvoung

Pull Request: https://github.com/llvm/llvm-project/pull/163894
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Reviewers: jvoung, Xazax-hun

Reviewed By: jvoung

Pull Request: https://github.com/llvm/llvm-project/pull/163894
</pre>
</div>
</content>
</entry>
<entry>
<title>[FlowSensitive] [StatusOr] [7/N] Support StatusOr::emplace</title>
<updated>2025-10-23T19:27:29+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-23T19:27:29+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=c745f745b11766949cfc7326e69e3cdccf9cc893'/>
<id>c745f745b11766949cfc7326e69e3cdccf9cc893</id>
<content type='text'>
This always makes the StatusOr OK.

Reviewers: jvoung, Xazax-hun

Reviewed By: jvoung

Pull Request: https://github.com/llvm/llvm-project/pull/163876
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This always makes the StatusOr OK.

Reviewers: jvoung, Xazax-hun

Reviewed By: jvoung

Pull Request: https://github.com/llvm/llvm-project/pull/163876
</pre>
</div>
</content>
</entry>
<entry>
<title>[FlowSensitive] [StatusOr] [6/N] support pointer comparison (#164856)</title>
<updated>2025-10-23T17:59:55+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-23T17:59:55+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=83f751a001fa57dd8eaa60f08ed420e90170e11d'/>
<id>83f751a001fa57dd8eaa60f08ed420e90170e11d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>[FlowSensitive] [StatusOr] [5/N] Support absl::OkStatus et al (#163872)</title>
<updated>2025-10-22T22:06:45+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-22T22:06:45+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=764acd81de99859c595842b40a12f496decb2bad'/>
<id>764acd81de99859c595842b40a12f496decb2bad</id>
<content type='text'>
This allows comparison which these status codes</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This allows comparison which these status codes</pre>
</div>
</content>
</entry>
<entry>
<title>[FlowSensitive] [StatusOr] [4/N] Support comparisons (#163871)</title>
<updated>2025-10-22T19:57:46+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-22T19:57:46+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=12f0e48c0175b59127e56e6ae0bdb0244174df96'/>
<id>12f0e48c0175b59127e56e6ae0bdb0244174df96</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>[FlowSensitive] [StatusOr] [3/N] Support absl::Status ops (#163868)</title>
<updated>2025-10-21T20:50:08+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-21T20:50:08+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=419fbf906b7d21808fdf768f07e4791a24b22c99'/>
<id>419fbf906b7d21808fdf768f07e4791a24b22c99</id>
<content type='text'>
`absl::StatusOr::status` allows extraction of the status associated with
a StatusOr value. That can also be used to check whether the StatusOr
has a value or not.

This makes sure code like this is checked properly:

```cpp
int target(absl::StatusOr&lt;int&gt; SOR) {
  if (SOR.status().ok())
    return *SOR;
  return 0;
}
```</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
`absl::StatusOr::status` allows extraction of the status associated with
a StatusOr value. That can also be used to check whether the StatusOr
has a value or not.

This makes sure code like this is checked properly:

```cpp
int target(absl::StatusOr&lt;int&gt; SOR) {
  if (SOR.status().ok())
    return *SOR;
  return 0;
}
```</pre>
</div>
</content>
</entry>
<entry>
<title>[NFC] [FlowSensitive] [StatusOr] remove unused function (#164351)</title>
<updated>2025-10-21T01:38:08+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-21T01:38:08+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=9c3ed5a389ce04c78d9738c3a7537ff9c702f420'/>
<id>9c3ed5a389ce04c78d9738c3a7537ff9c702f420</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Reapply "[FlowSensitive] [StatusOr] [2/N] Add minimal model" (#164040) (#164305)</title>
<updated>2025-10-20T23:56:49+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-20T23:56:49+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=0833b48760efb72318952f1f0eb4cbd45eb941f4'/>
<id>0833b48760efb72318952f1f0eb4cbd45eb941f4</id>
<content type='text'>
This reverts commit eed8d3aa4aa6efe01fcf7bd56015b671f5f18e29.</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This reverts commit eed8d3aa4aa6efe01fcf7bd56015b671f5f18e29.</pre>
</div>
</content>
</entry>
<entry>
<title>Revert "[FlowSensitive] [StatusOr] [2/N] Add minimal model" (#164040)</title>
<updated>2025-10-18T02:07:10+00:00</updated>
<author>
<name>Florian Mayer</name>
<email>fmayer@google.com</email>
</author>
<published>2025-10-18T02:07:10+00:00</published>
<link rel='alternate' type='text/html' href='https://git.belthelziquor.com/llvm-project.git/commit/?id=eed8d3aa4aa6efe01fcf7bd56015b671f5f18e29'/>
<id>eed8d3aa4aa6efe01fcf7bd56015b671f5f18e29</id>
<content type='text'>
Reverts llvm/llvm-project#162932

Failed Tests (1):
  Clang-Unit :: ./AllClangUnitTests/failed_to_discover_tests_from_gtest</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Reverts llvm/llvm-project#162932

Failed Tests (1):
  Clang-Unit :: ./AllClangUnitTests/failed_to_discover_tests_from_gtest</pre>
</div>
</content>
</entry>
</feed>
