// { dg-output "f\r*\nd\r*\n" }
// { dg-additional-options "-w" }
#![feature(no_core)]
#![feature(lang_items)]
#![no_core]

extern "C" {
    fn printf(s: *const i8, ...);
}

#[lang = "sized"]
pub trait Sized {}

#[lang = "drop"]
pub trait Drop {
    fn drop(&mut self);
}

struct Droppable;

impl Drop for Droppable {
    fn drop(&mut self) {
        let msg = "d\n\0" as *const str as *const i8;
        unsafe {
            printf(msg);
        }
    }
}

fn foo() -> i32 {
    let msg = "f\n\0" as *const str as *const i8;
    unsafe {
        printf(msg);
    }

    0
}

fn f() -> i32 {
    let _x = Droppable;
    foo()
}

fn main() -> i32 {
    f()
}