[PATCH] asan: do not instrument direct inbounds accesses to stack variables

[Dmitry Vyukov]

> Also, I believe removal of all unnecessary checks is a bigger task.


I would say it is an infinite task. Besides loops there are also access coalescing, inter-BB duduplication, range deduplication (if we checked [this, this+X), then we may omit checks of everything in [this, this+X)), figuring out what calls can actually free what objects, etc.


http://reviews.llvm.org/D7583

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/