search for: r271421

...g codes: int a[10], b[10]; a[N] = ...; b[N] = ...; This seemingly insane behavior was actually there to safeguard certain cases where people do crazy stuffs with pointer arithmetics. Later we figured out that those crazy behaviors were in fact UB and therefore we could drop support for it. - [r271421] Teach CFL-AA to understand function attributes. CFL-AA used to treat opaque function calls in a very conservative manner. However, we know that library calls such as malloc(), free() and strcmp() are marked with special attributes we can use to help resolve aliasing queries. With this patch, w...