Skip to content

[analyzer] Disable a flaky test while triaging why its flaky #127034

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Feb 13, 2025

Conversation

steakhal
Copy link
Contributor

I had previous attempts for fixing this flaky test. Let's admit I failed so far, and disable this until we have a permanent fix.

See the discussion at:
#126913 (comment)

I had previous attempts for fixing this flaky test.
Let's admit I failed so far, and disable this until we have a permanent
fix.

See the discussion at:
llvm#126913 (comment)
@llvmbot llvmbot added the clang Clang issues not falling into any other category label Feb 13, 2025
@llvmbot
Copy link
Member

llvmbot commented Feb 13, 2025

@llvm/pr-subscribers-clang-analysis
@llvm/pr-subscribers-clang

@llvm/pr-subscribers-clang-static-analyzer-1

Author: Balazs Benics (steakhal)

Changes

I had previous attempts for fixing this flaky test. Let's admit I failed so far, and disable this until we have a permanent fix.

See the discussion at:
#126913 (comment)


Full diff: https://github.com/llvm/llvm-project/pull/127034.diff

1 Files Affected:

  • (modified) clang/test/Analysis/live-stmts.cpp (+3)
diff --git a/clang/test/Analysis/live-stmts.cpp b/clang/test/Analysis/live-stmts.cpp
index 8034d3a30436e..795302f7b4f52 100644
--- a/clang/test/Analysis/live-stmts.cpp
+++ b/clang/test/Analysis/live-stmts.cpp
@@ -1,3 +1,6 @@
+// Disabling this flaky test, see https://github.com/llvm/llvm-project/pull/126913#issuecomment-2655850766
+// UNSUPPORTED: *
+
 // RUN: %clang_analyze_cc1 -w -analyzer-checker=debug.DumpLiveExprs %s 2>&1\
 // RUN:   | FileCheck %s
 

Copy link
Collaborator

@mikaelholmen mikaelholmen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@steakhal
Copy link
Contributor Author

ValueError: Error in UNSUPPORTED list:                                                                                                                                                    
couldn't parse text: '*'                                                                                                                                                                  
in expression: '*'  

@steakhal
Copy link
Contributor Author

Now it says:

UNSUPPORTED: Clang :: Analysis/live-stmts.cpp (1 of 1)                                                                                                                                    
Test does not support the following features and/or targets: true, true                                                                                                                   
********************                                                                                                                                                                      
                                                                                                                                                                                          
Testing Time: 0.01s                                                                                                                                                                       
                                                                                                                                                                                          
Total Discovered Tests: 1                                                                                                                                                                 
  Unsupported: 1 (100.00%)

@steakhal steakhal merged commit b88c5d6 into llvm:main Feb 13, 2025
5 of 6 checks passed
@steakhal steakhal deleted the bb/disable-potentially-flaky-test branch February 13, 2025 09:55
flovent pushed a commit to flovent/llvm-project that referenced this pull request Feb 13, 2025
…7034)

I had previous attempts for fixing this flaky test. Let's admit I failed
so far, and disable this until we have a permanent fix.

See the discussion at:
llvm#126913 (comment)
joaosaffran pushed a commit to joaosaffran/llvm-project that referenced this pull request Feb 14, 2025
…7034)

I had previous attempts for fixing this flaky test. Let's admit I failed
so far, and disable this until we have a permanent fix.

See the discussion at:
llvm#126913 (comment)
steakhal added a commit that referenced this pull request Feb 17, 2025
…2nd attempt) (#127406)

In my previous attempt (#126913) of fixing the flaky case was on a good
track when I used the begin locations as a stable ordering. However, I
forgot to consider the case when the begin locations are the same among
the Exprs.

In an `EXPENSIVE_CHECKS` build, arrays are randomly shuffled prior to
sorting them. This exposed the flaky behavior much more often basically
breaking the "stability" of the vector - as it should.
Because of this, I had to revert the previous fix attempt in #127034.

To fix this, I use this time `Expr::getID` for a stable ID for an Expr.

Hopefully fixes #126619
Hopefully fixes #126804
sivan-shani pushed a commit to sivan-shani/llvm-project that referenced this pull request Feb 24, 2025
…7034)

I had previous attempts for fixing this flaky test. Let's admit I failed
so far, and disable this until we have a permanent fix.

See the discussion at:
llvm#126913 (comment)
sivan-shani pushed a commit to sivan-shani/llvm-project that referenced this pull request Feb 24, 2025
…2nd attempt) (llvm#127406)

In my previous attempt (llvm#126913) of fixing the flaky case was on a good
track when I used the begin locations as a stable ordering. However, I
forgot to consider the case when the begin locations are the same among
the Exprs.

In an `EXPENSIVE_CHECKS` build, arrays are randomly shuffled prior to
sorting them. This exposed the flaky behavior much more often basically
breaking the "stability" of the vector - as it should.
Because of this, I had to revert the previous fix attempt in llvm#127034.

To fix this, I use this time `Expr::getID` for a stable ID for an Expr.

Hopefully fixes llvm#126619
Hopefully fixes llvm#126804
steakhal added a commit to steakhal/llvm-project that referenced this pull request May 12, 2025
…2nd attempt) (llvm#127406)

In my previous attempt (llvm#126913) of fixing the flaky case was on a good
track when I used the begin locations as a stable ordering. However, I
forgot to consider the case when the begin locations are the same among
the Exprs.

In an `EXPENSIVE_CHECKS` build, arrays are randomly shuffled prior to
sorting them. This exposed the flaky behavior much more often basically
breaking the "stability" of the vector - as it should.
Because of this, I had to revert the previous fix attempt in llvm#127034.

To fix this, I use this time `Expr::getID` for a stable ID for an Expr.

Hopefully fixes llvm#126619
Hopefully fixes llvm#126804

(cherry picked from commit f378e52)
swift-ci pushed a commit to swiftlang/llvm-project that referenced this pull request May 13, 2025
…2nd attempt) (llvm#127406)

In my previous attempt (llvm#126913) of fixing the flaky case was on a good
track when I used the begin locations as a stable ordering. However, I
forgot to consider the case when the begin locations are the same among
the Exprs.

In an `EXPENSIVE_CHECKS` build, arrays are randomly shuffled prior to
sorting them. This exposed the flaky behavior much more often basically
breaking the "stability" of the vector - as it should.
Because of this, I had to revert the previous fix attempt in llvm#127034.

To fix this, I use this time `Expr::getID` for a stable ID for an Expr.

Hopefully fixes llvm#126619
Hopefully fixes llvm#126804

(cherry picked from commit f378e52)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
clang:analysis clang:static analyzer clang Clang issues not falling into any other category
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants