cck2 (5) --- Second phase of C program checker 10/10/84 | _U_s_a_g_e | cck2 | _D_e_s_c_r_i_p_t_i_o_n | 'Cck2' is the second phase of the UNIX (tm) 'lint' like | facility provided by the Georgia Tech Software Tools C com- | piler. This program is normally not called directly by the | user, but instead via one of the C compiler interludes, with | the '-y' option. | 'Cck2' reads the (hopefully) sorted output of 'cck1', the | first phase of the C program checker. It then prints mes- | sages detailing possible syntactic and semantic errors in | the given C program. | _E_x_a_m_p_l_e_s | prog.ck> cck1 | sort | cck2 | _F_i_l_e_s | ?*.ck file output by 'c1' with the '-y' option, used as | input to 'cck1'. | _M_e_s_s_a_g_e_s | Numerous and self explanatory. | _B_u_g_s | TTThhhiiisss ppprrrooogggrrraaammm iiisss ooonnnlllyyy aaavvvaaaiiilllaaabbbllleee tttooo llliiiccceeennnssseeeeeesss ooofff VVVeeerrrsssiiiooonnn 222...000 | ooofff ttthhheee GGGeeeooorrrgggiiiaaa TTTeeeccchhh CCC CCCooommmpppiiillleeerrr... | _S_e_e _A_l_s_o | cc (1), ccl (1), ucc (1), c1 (5), cck1 (5), _U_s_e_r_'_s _G_u_i_d_e _t_o | _t_h_e _G_e_o_r_g_i_a _T_e_c_h _C _C_o_m_p_i_l_e_r cck2 (5) - 1 - cck2 (5)