[cfe-dev] [ASAN] sanitizing static initialization order fiasco

[Piotr Padlewski via cfe-dev]

Hi,
so I've heard that ASAN supports sanitizing static initialization order
fiasco:
http://clang.llvm.org/docs/AddressSanitizer.html#initialization-order-checking

I assume that it only reports occurrences of fiasco, and not cases when it
could happen but we were lucky enough that initialization order was right.
Am I right or not? If so, is there any way to staticly prove that code is
initialization order fiasco free?

Best
Piotr Padlewski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20151109/365d6e2c/attachment.html>