[clang] [clang][analysis] Fix flaky clang/test/Analysis/live-stmts.cpp test (PR #126913)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 12 22:54:00 PST 2025


steakhal wrote:

> Unfortunately the test still seems to be flaky. With EXPENSIVE_CHECKS I often see it fail on the RHEL8 x86_64 machines I use.
> E.g.
> ```
> FAIL: Clang :: Analysis/live-stmts.cpp (1 of 1)
> ******************** TEST 'Clang :: Analysis/live-stmts.cpp' FAILED ********************
> Exit Code: 1
> 
> Command Output (stderr):
> --
> RUN: at line 1: /repo/uabelho/main-github/llvm/build-all-expensive/bin/clang -cc1 -internal-isystem /repo/uabelho/main-github/llvm/build-all-expensive/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -w -analyzer-checker=debug.DumpLiveExprs /repo/uabelho/main-github/clang/test/Analysis/live-stmts.cpp 2>&1   | /repo/uabelho/main-github/llvm/build-all-expensive/bin/FileCheck /repo/uabelho/main-github/clang/test/Analysis/live-stmts.cpp
> + /repo/uabelho/main-github/llvm/build-all-expensive/bin/clang -cc1 -internal-isystem /repo/uabelho/main-github/llvm/build-all-expensive/lib/clang/21/include -nostdsysteminc -analyze -analyzer-constraints=range -setup-static-analyzer -w -analyzer-checker=debug.DumpLiveExprs /repo/uabelho/main-github/clang/test/Analysis/live-stmts.cpp
> + /repo/uabelho/main-github/llvm/build-all-expensive/bin/FileCheck /repo/uabelho/main-github/clang/test/Analysis/live-stmts.cpp
> /repo/uabelho/main-github/clang/test/Analysis/live-stmts.cpp:227:16: error: CHECK-EMPTY: is not on the line after the previous match
> // CHECK-EMPTY:
>                ^
> <stdin>:160:1: note: 'next' match was here
> 
> ^
> <stdin>:157:81: note: previous match ended here
> | `-DeclRefExpr 0x55e1600cec58 '_Bool' lvalue ParmVar 0x55e1600cead8 'b' '_Bool'
>                                                                                 ^
> <stdin>:158:1: note: non-matching line after previous match is here
> `-ImplicitCastExpr 0x55e1600cecb0 '_Bool' <LValueToRValue>
> ^
> 
> Input file: <stdin>
> Check file: /repo/uabelho/main-github/clang/test/Analysis/live-stmts.cpp
> 
> -dump-input=help explains the following input dump.
> 
> Input was:
> <<<<<<
>            .
>            .
>            .
>          155: BinaryOperator 0x55e1600cecc8 '_Bool' '||' 
>          156: |-ImplicitCastExpr 0x55e1600cec98 '_Bool' <LValueToRValue> 
>          157: | `-DeclRefExpr 0x55e1600cec58 '_Bool' lvalue ParmVar 0x55e1600cead8 'b' '_Bool' 
>          158: `-ImplicitCastExpr 0x55e1600cecb0 '_Bool' <LValueToRValue> 
>          159:  `-DeclRefExpr 0x55e1600cec78 '_Bool' lvalue ParmVar 0x55e1600cead8 'b' '_Bool' 
>          160:  
> empty:227     ! error: match on wrong line
>          161: ImplicitCastExpr 0x55e1600cec98 '_Bool' <LValueToRValue> 
>          162: `-DeclRefExpr 0x55e1600cec58 '_Bool' lvalue ParmVar 0x55e1600cead8 'b' '_Bool' 
>          163:  
>          164: ImplicitCastExpr 0x55e1600cecb0 '_Bool' <LValueToRValue> 
>          165: `-DeclRefExpr 0x55e1600cec78 '_Bool' lvalue ParmVar 0x55e1600cead8 'b' '_Bool' 
>            .
>            .
>            .
> >>>>>>
> 
> --
> 
> ********************
> ********************
> Failed Tests (1):
>   Clang :: Analysis/live-stmts.cpp
> ```

Oh cmmon. :(
Could you send me your nonpassing output, the whole one? @mikaelholmen 

https://github.com/llvm/llvm-project/pull/126913


More information about the cfe-commits mailing list