NagyDonat wrote: Nice, thanks for investigating this! Now that we have some results, the next question: are these all OK :sweat_smile: ? (True positive, or acceptable rare FP in unusual situation.) https://github.com/llvm/llvm-project/pull/196292