Henrich Lauko
Henrich Lauko
Use mlir conversion idioms: - make trailing `ScopeOp` illegal - use rewriter to delete trailing scopes - obliterate faulty `find` methods
On the following program: ``` void foo() {} ``` `vast-front -vast-emit-mlir=llvm` dies with: ``` empty block: expect at least a terminator ```
inspire from: https://www.py4u.net/discuss/64945
create a convenient way to print abstract values right from debugger: - it should detect that value is tainted and return abstract print abstract values only in such case -...