C Program with getchar() and EOF

Question

Why does the program enter infinite loop when I input EOF (Ctrl-D)?

    #include  
    
    main()
    {
            int c = EOF ;