[Webkit-unassigned] [Bug 273407] New: ASSERTION FAILED: !m_inferredType in WebGPU/WGSL/TypeCheck.cpp(1978)

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=273407

            Bug ID: 273407
           Summary: ASSERTION FAILED: !m_inferredType in
                    WebGPU/WGSL/TypeCheck.cpp(1978)
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Linux
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebGPU
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: wgslfuzz at gmail.com

On git commit e9acc98eb155a5d5a45ea8fb4e763ff4cede6eb0, compiling the attached shader program with `./wgslfuzz shader.wgsl main` triggers an assertion violation.

```
@compute @workgroup_size(1, 1, 1)
fn main() {
    if array<f32, 9>() {
        return;
    } else {
        storageBarrier();
        return;
    }
}
```

#0  __pthread_kill_implementation (no_tid=0, signo=6, threadid=<optimized out>) at ./nptl/pthread_kill.c:44
#1  __pthread_kill_internal (signo=6, threadid=<optimized out>) at ./nptl/pthread_kill.c:78
#2  __GI___pthread_kill (threadid=<optimized out>, signo=signo at entry=6) at ./nptl/pthread_kill.c:89
#3  0x00007fdc2fc048e6 in __GI_raise (sig=sig at entry=6) at ../sysdeps/posix/raise.c:26
#4  0x00007fdc2fbe88b7 in __GI_abort () at ./stdlib/abort.c:79
#5  0x0000559ad36c1a30 in WTFCrashWithInfo () at WTF/Headers/wtf/Assertions.h:862
#6  0x0000559ad3ad39d1 in WGSL::TypeChecker::infer (this=<optimized out>, expression=..., evaluation=<optimized out>, discardResult=<optimized out>)
    at Source/WebGPU/WGSL/TypeCheck.cpp:1978
#7  0x0000559ad3b9a2f9 in WGSL::AST::Visitor::checkErrorAndVisit<WGSL::AST::Statement> (this=0x7fdc2df03420, x=...) at Source/WebGPU/WGSL/AST/ASTVisitor.h:135
#8  WGSL::AST::Visitor::visit (this=0x7fdc2df03420, compoundStatement=...) at Source/WebGPU/WGSL/AST/ASTVisitor.cpp:479
#9  0x0000559ad3ad8343 in WGSL::AST::ScopedVisitor<WGSL::Binding>::visit (this=0x7fdc2df03420, statement=...) at Source/WebGPU/WGSL/AST/ASTScopedVisitorInlines.h:44
#10 0x0000559ad3b9a2f9 in WGSL::AST::Visitor::checkErrorAndVisit<WGSL::AST::Statement> (this=0x7fdc2df03420, x=...) at Source/WebGPU/WGSL/AST/ASTVisitor.h:135
#11 WGSL::AST::Visitor::visit (this=0x7fdc2df03420, compoundStatement=...) at Source/WebGPU/WGSL/AST/ASTVisitor.cpp:479
#12 0x0000559ad3ad7075 in WGSL::AST::ScopedVisitor<WGSL::Binding>::visit (this=0x7fdc2df03420, statement=...) at Source/WebGPU/WGSL/AST/ASTScopedVisitorInlines.h:44
#13 WGSL::TypeChecker::visit (this=0x7fdc2df03420, function=...) at Source/WebGPU/WGSL/TypeCheck.cpp:722
#14 0x0000559ad3b95971 in WGSL::AST::Visitor::checkErrorAndVisit<WGSL::AST::Declaration> (this=0x7fdc2df03420, x=...) at Source/WebGPU/WGSL/AST/ASTVisitor.h:135
#15 WGSL::AST::Visitor::visit (this=0x7fdc2df03420, shaderModule=...) at Source/WebGPU/WGSL/AST/ASTVisitor.cpp:51
#16 0x0000559ad3accfd2 in WGSL::TypeChecker::check (this=0x7fdc2df03420) at Source/WebGPU/WGSL/TypeCheck.cpp:439
#17 0x0000559ad3b0bf60 in WGSL::typeCheck (shaderModule=...) at Source/WebGPU/WGSL/TypeCheck.cpp:2449
#18 0x0000559ad3b7fca1 in WGSL::staticCheck(WTF::String const&, std::optional<WGSL::SourceMap> const&, WGSL::Configuration const&)::$_2::operator()() const (this=<optimized out>)
    at Source/WebGPU/WGSL/WGSL.cpp:76
#19 WGSL::staticCheck (wgsl=..., configuration=...) at Source/WebGPU/WGSL/WGSL.cpp:76
#20 0x0000559ad3b7e13d in runWGSL (options=...) at Source/WebGPU/WGSL/wgslc.cpp:122
#21 main (argc=<optimized out>, argv=<optimized out>) at Source/WebGPU/WGSL/wgslc.cpp:16

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20240429/6e51b765/attachment.htm>