> no it doesn't; it has undefined behaviour Oops... [expr.delete]/3 quite clearly states that it is indeed undefined behaviour. OTOH, this can't be statically detected, so I still think there should be no warning. Thanks for pointing out that error, Martin