newclay.analyzer: raise an error if not all branches return. propagate returns properly if the "else" clause of an "if" or "default" clause of a "switch" is omitted. propagate nontermination of "if" expression condition and of the left-hand side of and/or expressions
newclay.analyzer: raise an error if not all branches return. propagate returns properly if the "else" clause of an "if" or "default" clause of a "switch" is omitted. propagate nontermination of "if" expression condition and of the left-hand side of and/or expressions

mario-campos/clay,mario-campos/clay,iamrekcah/clay,aep/clay,iamrekcah/clay,mario-campos/clay,aep/clay,jckarter/clay,aep/clay,iamrekcah/clay,iamrekcah/clay,iamrekcah/clay,jckarter/clay,mario-campos/clay,aep/clay,aep/clay,jckarter/clay,jckarter/clay,mario-campos/clay,aep/clay,jckarter/clay,jckarter/clay