================
@@ -279,6 +279,16 @@ void TransferFunctions::Visit(Stmt *S) {
}
break;
}
+ case Stmt::AttributedStmtClass: {
+ // In an attributed statement, include the assumptions of the
+ // [[assume(...)]] attributes as being live.
+ AttributedStmt *AS = cast<AttributedStmt>(S);
+ for (const auto *Attr : getSpecificAttrs<CXXAssumeAttr>(AS->getAttrs()))
{
+ AddLiveExpr(val.liveExprs, LV.ESetFact, Attr->getAssumption());
+ }
+ // FIXME: Also handle other attributes that have relevant substatements.
----------------
NagyDonat wrote:
Done in
https://github.com/llvm/llvm-project/pull/198618/commits/0e3622db66807868854daa24a7b3fd467f143222
https://github.com/llvm/llvm-project/pull/198618
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
