[llvm] [Workflows] Mark miscompilation:undef as uninteresting (PR #220300)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw created https://github.com/llvm/llvm-project/pull/220300

Address comment https://github.com/llvm/llvm-project/issues/218908#issuecomment-5470741016.

Can somebody create a team named `issue-subscribers-miscompilation:undef`?


>From 221bc3fdbd5578fac58507465db9eceea2baab77 Mon Sep 17 00:00:00 2001
From: Yingwei Zheng <dtcxzyw2333 at gmail.com>
Date: Wed, 2 Sep 2026 00:59:19 +0800
Subject: [PATCH] [Workflows] Mark miscompilation:undef as uninteresting

---
 llvm/utils/git/github-automation.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/llvm/utils/git/github-automation.py b/llvm/utils/git/github-automation.py
index 56aa8ce952193..b221d28ec7d23 100755
--- a/llvm/utils/git/github-automation.py
+++ b/llvm/utils/git/github-automation.py
@@ -86,6 +86,13 @@ def __init__(self, token: str, repo: str, issue_number: int, label_name: str):
         self._team_name = "issue-subscribers-{}".format(label_name).lower()
 
     def run(self) -> bool:
+        if self.team_name.endswith("miscompilation:undef"):
+            comment = """
+Undef values are deprecated. Unless this miscompilation is observable in real-world programs, we don't want to fix it.
+"""
+            self.issue.create_comment(comment)
+            return True
+
         team = _get_current_team(self.team_name, self.org.get_teams())
         if not team:
             print(f"couldn't find team named {self.team_name}")