xlint/lint1/d_cvt_constant.c

*0a6a1f1dSLionel Sambuc/* the second assignment assumes failed before */
*0a6a1f1dSLionel Sambucint
*0a6a1f1dSLionel Sambucmain(void) {
*0a6a1f1dSLionel Sambuc    double x = 1;
*0a6a1f1dSLionel Sambuc    int foo = 0;
*0a6a1f1dSLionel Sambuc    if (foo)
*0a6a1f1dSLionel Sambuc	x = 1;
*0a6a1f1dSLionel Sambuc}