The GitHub Actions job "Lint" on tvm.git/require-declbuffer-before-use has failed. Run started by GitHub user tqchen (triggered by tqchen).
Head commit for run: 066c94a402385f64920d10f923dd0474bd98cb5e / tqchen <[email protected]> [TIR][FEAT] Require DeclBuffer before use in verify_well_formed This PR adds an UndefinedBufferVerifier to verify_well_formed that checks two buffer-scope invariants: (1) any buffer that was declared via buffer_map, DeclBuffer, alloc_buffers, match_buffers, or buffer_bind_scope must not be used outside its declaration scope; (2) in schedule-level TIR (functions with SBlock nodes), all buffers accessed in BufferLoad/BufferStore must have a prior declaration. Also fixes TIRVisitorWithPath to call WithDef for Buffer at two previously missing sites: SBlock::match_buffers and AttrStmt::buffer_bind_scope. Report URL: https://github.com/apache/tvm/actions/runs/22508496481 With regards, GitHub Actions via GitBox --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
