Ghosts and Demons: Undefined Behavior in C2Y (Status 26-03-16)

https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3861.pdf

@uecker What are ghosts? Theoretical problems with no real-world examples?
@alison Anything where there is not actually undefined behavior. Either because the wording sounds as if there is UB, but where from the context it is clear that the text means something else, or an impossible situation that is declared to have UB, or simply an obsolete entry in the annex which does not correspond to any normative text anymore but where the editor forgot to remove it.
@uecker Makes sense: thanks for the explanation.