================
@@ -1427,8 +1427,13 @@ void StdLibraryFunctionsChecker::checkPostCall(const
CallEvent &Call,
});
Pred = C.addTransition(NewState, Pred, Tag);
}
- if (!Pred)
+ if (!Pred || Pred->isSink()) {
+ // Pred may be:
+ // - a nullpointer, when the generated node is not new;
+ // - a sink, when NewState is posteriorly overconstrained.
+ // In these situations we cannot add the errno note tag.
----------------
balazske wrote:
I like more if the comment is added before the `if` and the braces are not
added.
https://github.com/llvm/llvm-project/pull/66109
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
