Skip to content

Commit a62049c

Browse files
MMoryfabianbs96
andauthored
Update lib/PhasarLLVM/Utils/Annotation.cpp
Co-authored-by: fabianbs96 <52407375+fabianbs96@users.noreply.github.com>
1 parent 3c58586 commit a62049c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

lib/PhasarLLVM/Utils/Annotation.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ uint64_t VarAnnotation::getLine() const {
5656
llvm::StringRef VarAnnotation::retrieveString(unsigned Idx) const {
5757
if (const auto *ConstExpr = llvm::dyn_cast<llvm::ConstantExpr>(
5858
AnnotationCall->getArgOperand(Idx))) {
59-
if (true // ConstExpr->isGEPWithNoNotionalOverIndexing()
59+
if (llvm::isa<llvm::GEPOperator>(ConstExpr)
6060
) {
6161
if (const auto *GlobalVar =
6262
llvm::dyn_cast<llvm::GlobalVariable>(ConstExpr->getOperand(0))) {

0 commit comments

Comments
 (0)