nikic wrote:

@eddyz87 Right, this is exactly the change I have been working on, see 
https://github.com/llvm/llvm-project/pull/75311. Unfortunately, it doesn't 
actually fix the BPF case, because that one involves a loop, and LVI is 
currently terrible at handling those. (Basically, even though the relevant 
condition is outside the loop, just querying something in the loop will form a 
cycle, which will be resolved to overdefined.)

https://github.com/llvm/llvm-project/pull/73662
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to