/**

* @name whilestmt04

* @description In normal, the while condition or one of the condition's descendants is the unique successor of the exit point of the last statement in the body.

*/

import cpp

from WhileStmt ws, ExprStmt last, Expr succ

where

ws.getEnclosingFunction().hasName("normal") and

last = ws.getStmt().(BlockStmt).getLastStmt() and

succ = last.getExpr().getASuccessor() and

succ = ws.getCondition().getAChild*() and

count(last.getExpr().getASuccessor()) = 1

select last.getExpr(), succ