状态机的一个问题

case state is                                                                                                                          when a =>
         state <= b;
    when b =>
          if (r=0) then
            state <= c;
         end if;
    when others =>
         state <= a;
end case;

上面这个代码在状态为b时，若r=1，下一个状态是保持不变还是变为a

保持不变

   谢谢