[clang] [analyzer] Model [[assume]] attributes without side-ffects (PR #130418)

[Gábor Horváth via cfe-commits]

================
@@ -91,8 +91,29 @@ QualType getOverflowBuiltinResultType(const CallEvent &Call, CheckerContext &C,
   }
 }
 
-class BuiltinFunctionChecker : public Checker<eval::Call> {
+class BuiltinFunctionChecker
+    : public Checker<eval::Call, check::PostStmt<AttributedStmt>> {
 public:
+  void checkPostStmt(const AttributedStmt *A, CheckerContext &C) const {
----------------
Xazax-hun wrote:

I am a bit confused. Do we need this in both here and in AssumeModelingChecker?

https://github.com/llvm/llvm-project/pull/130418