Skip to content

Commit 3b4dc1f

Browse files
committed
Extract mem alloc & string copy logic to helper function
Add Clang release note item
1 parent 07648c7 commit 3b4dc1f

File tree

2 files changed

+17
-13
lines changed

2 files changed

+17
-13
lines changed

clang/docs/ReleaseNotes.rst

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -830,6 +830,8 @@ Bug Fixes in This Version
830830
- ``__is_trivially_equality_comparable`` no longer returns true for types which
831831
have a constrained defaulted comparison operator (#GH89293).
832832

833+
- Fixed Clang from generating dangling StringRefs when deserializing Exprs & Stmts (#GH98667)
834+
833835
Bug Fixes to Compiler Builtins
834836
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
835837

clang/lib/Serialization/ASTReaderStmt.cpp

Lines changed: 15 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -785,6 +785,12 @@ void ASTStmtReader::VisitUnaryExprOrTypeTraitExpr(UnaryExprOrTypeTraitExpr *E) {
785785
E->setRParenLoc(readSourceLocation());
786786
}
787787

788+
static StringRef saveStrToCtx(const std::string &S, ASTContext &Ctx) {
789+
char *Buf = new (Ctx) char[S.size()];
790+
std::copy(S.begin(), S.end(), Buf);
791+
return StringRef(Buf, S.size());
792+
}
793+
788794
static ConstraintSatisfaction
789795
readConstraintSatisfaction(ASTRecordReader &Record) {
790796
ConstraintSatisfaction Satisfaction;
@@ -795,14 +801,13 @@ readConstraintSatisfaction(ASTRecordReader &Record) {
795801
for (unsigned i = 0; i != NumDetailRecords; ++i) {
796802
if (/* IsDiagnostic */Record.readInt()) {
797803
SourceLocation DiagLocation = Record.readSourceLocation();
798-
std::string DiagMessage = Record.readString();
799-
char *DBuf = new (Record.getContext()) char[DiagMessage.size()];
800-
std::copy(DiagMessage.begin(), DiagMessage.end(), DBuf);
804+
StringRef DiagMessage =
805+
saveStrToCtx(Record.readString(), Record.getContext());
801806

802807
Satisfaction.Details.emplace_back(
803808
new (Record.getContext())
804809
ConstraintSatisfaction::SubstitutionDiagnostic(DiagLocation,
805-
StringRef(DBuf, DiagMessage.size())));
810+
DiagMessage));
806811
} else
807812
Satisfaction.Details.emplace_back(Record.readExpr());
808813
}
@@ -823,19 +828,16 @@ void ASTStmtReader::VisitConceptSpecializationExpr(
823828

824829
static concepts::Requirement::SubstitutionDiagnostic *
825830
readSubstitutionDiagnostic(ASTRecordReader &Record) {
826-
std::string SubstitutedEntity = Record.readString();
827-
char *SBuf = new (Record.getContext()) char[SubstitutedEntity.size()];
828-
std::copy(SubstitutedEntity.begin(), SubstitutedEntity.end(), SBuf);
831+
StringRef SubstitutedEntity =
832+
saveStrToCtx(Record.readString(), Record.getContext());
829833

830834
SourceLocation DiagLoc = Record.readSourceLocation();
831-
std::string DiagMessage = Record.readString();
832-
char *DBuf = new (Record.getContext()) char[DiagMessage.size()];
833-
std::copy(DiagMessage.begin(), DiagMessage.end(), DBuf);
835+
StringRef DiagMessage =
836+
saveStrToCtx(Record.readString(), Record.getContext());
834837

835838
return new (Record.getContext())
836-
concepts::Requirement::SubstitutionDiagnostic{
837-
StringRef(SBuf, SubstitutedEntity.size()), DiagLoc,
838-
StringRef(DBuf, DiagMessage.size())};
839+
concepts::Requirement::SubstitutionDiagnostic{SubstitutedEntity, DiagLoc,
840+
DiagMessage};
839841
}
840842

841843
void ASTStmtReader::VisitRequiresExpr(RequiresExpr *E) {

0 commit comments

Comments
 (0)