pass -faddress-sanitizer when --asan is set, [Coke]++