If some branches in the process are not **explicitly** assigning some net, it is **implicitly** assigned with the previous value with an inferred latch. So there is no situation the process won't drive this signal (unless explicitly assigning hi-Z to it..).