[code-reflection] Integrated: Experiments focused on injecting buffer tracking on statement boundaries

[Gary Frost]

On Sun, 18 Jan 2026 11:58:01 GMT, Gary Frost <gfrost at openjdk.org> wrote:

> At present we inject buffer tracking before and after iface mutations in the compute method. 
> 
> This works fine, because the resulting model converted to bytecode is valid. 
> 
> Sadly if we reify back to java code (for jextracted backend) we have invalid java code. 
> 
> Or if we use the model to create C99 compute code, we have to align the instrumentation on statement boundaries. 
> 
> This PR adds some low level helper code to find statement boundaries and help transforms inject on boundaries.

This pull request has now been integrated.

Changeset: f8d04e2a
Author:    Gary Frost <gfrost at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/f8d04e2a9c8af1edf78caca7b6045ee20d6a4d12
Stats:     431 lines in 16 files changed: 282 ins; 78 del; 71 mod

Experiments focused on injecting buffer tracking on statement boundaries

-------------

PR: https://git.openjdk.org/babylon/pull/851