BGV noise analysis fails for trivial program
Open
analysis
bug
dialect: bgv
- Dominant language
- MLIR
- Stars
- 906
- Forks
- 171
- Avg merge
- 4d 12h
- Merged PRs (30d)
- 32
Description
```llvm
//RUN: heir-opt --mlir-to-bgv %s | FileCheck %s
func.func @foo(%arg0: i32 {secret.secret}) -> (i32) {
return %arg0 : i32
}
```
fails with `error: Noise validation failed.`
Contributor guide
Assessment
This issue has not been assessed yet.