code: def p_while_sentence(p):
      
      gl.LOOPS.pop()
      q = make_block(p[2], p[3])
  
      if is_number(p[1]) and p[1].value:
          if q is None:
              warning(p[1].lineno, "Condition is always true and leads to an infinite loop.")
          else:
              warning(p[1].lineno, "Condition is always true and might lead to an infinite loop.")
  
      p[0] = make_sentence('WHILE', p[1], q)
docs: statement : while_start co_statements_co label_end_while
                    | while_start program_co label_end_while