<html><head><style type="text/css"></style></head><body><div style="font-family:times new roman,new york,times,serif;font-size:12pt"><div>Hi, i need a sample-code, for which the llvm alias-analysis finds a *must-aliases*. I have tried codes like followings. In all cases, i see just *may-aliases* when i use "opt -aa-eval -print-all-alias-modref-info foo.bc": Regards Raad  1 ========================================== void foo() {     int i = 2;     int& r = i; }  2 =========================================== void foo(){     int gi;     int *gip1 = &gi;     int *gip2 = &gi; } 3 ========================================== void foo (double * fa){     int fi, fj;     fi = 0;     fj = 2;     if (!

 fa)<br>        fj = fj + 4;<br>    fa[fi] = fa[fi + fj];<br>}<br></div></div><br>

      </body></html>