[dfsan] Fix the declaration of dfsan_add_label.