[LLVMdev] interesting possible compiler bug
kparzysz at codeaurora.org
Mon Oct 15 14:38:44 PDT 2012
On 10/2/2012 4:12 AM, Nick Lewycky wrote:
> This is a straight-forward application of the as-if rule. The malloc
> call behaves as-if it allocated memory. Because we prove that the code
> doesn't use that memory, we can get away with allocating no memory at
> all and not change the behaviour of the program.
Are you saying that we do this kind of an analysis at -O2? This could
only work if the entire program was contained in a single source file,
and even then it would require interprocedural analysis to get it right.
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum,
hosted by The Linux Foundation
More information about the llvm-dev