Control flow statements are those that make decisions about what happens in a program. a programmer needs to take care that the conditions used do not contradict one another. This would create regions in the code that would be unreachable.