---
id: pr-triton-10167
repo: triton-lang/triton
pr: 10167
title: '[CONSAN] Add read before any write check'
author: lezcano
date: '2026-05-04'
url: https://github.com/triton-lang/triton/pull/10167
source_category: upstream-code
architectures:
- sm100
tags:
- tma
techniques:
- async-copy
hardware_features:
- tma
kernel_types: []
languages:
- triton
captured_at: '2026-05-16'
status: merged
merge_sha: 4790c35390e62830fed7210d69f5988accf8aeda
inclusion_reason: Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.
changed_paths:
- include/triton/Dialect/TritonInstrument/IR/FunctionBuilder.h
- lib/Dialect/TritonInstrument/IR/FunctionBuilder.cpp
- lib/Dialect/TritonInstrument/Transforms/ConcurrencySanitizer.cpp
- python/test/gluon/test_consan.py
artifact_dir: evidence/pull-bundles/triton/gh-10167
head_ref_oid: b053ca1a61f2bc51652621a45af861f8920cd38e
---
# [CONSAN] Add read before any write check

- Repository: `triton-lang/triton`
- PR: [10167](https://github.com/triton-lang/triton/pull/10167)
- Decision: `Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.`
- Reason: Search-matched CUDA kernel optimization PR; materialize diff/source before synthesis.

## Changed Paths

- `include/triton/Dialect/TritonInstrument/IR/FunctionBuilder.h`
- `lib/Dialect/TritonInstrument/IR/FunctionBuilder.cpp`
- `lib/Dialect/TritonInstrument/Transforms/ConcurrencySanitizer.cpp`
- `python/test/gluon/test_consan.py`

## Evidence Bundle

`evidence/pull-bundles/triton/gh-10167`
