Thank you @nikic.
I’ve put up a first PR for clang integration, adding the nuw attribute to struct GEPs, if anyone wants to take a look:
I’ve not restricted this to a subset of languages because it seems fairly unambiguous that nuw holds for these inbounds struct member accesses, but it could be limited to e.g. C/C++ if that is more appropriate. There’s a lot of test changes so I appreciate it is a difficult one to review.