pointers are complicated

Provenance notion for LLVM IR is important when implementing compiler which has pointer(e.g. Rust, C, C++).

Otherwise, compiler optimization would cause error result.

reference

• src
• open-std Aprovenance-aware Memory Object Model for C
• gcc(6.4.0) bug report