tree 2eb4cc7c27cc6a74e18567311fe975ad1bbe49d4
parent b975d9d903f7a60510393d438a086294ab086dea
author Eylon Krause <eylon1909@gmail.com> 1787784236 +0300
committer Eylon Krause <eylon1909@gmail.com> 1788421207 +0300

formatter: avoid crash on attribute instance in for-loop header

TreeUnwrapper::ReshapeTokenPartitions' kForSpec case assumed the
for-loop header always yields two semicolon-leading partitions and
CHECK-failed (SIGABRT) otherwise. An attribute instance ((* ... *)) in
the for-loop init/condition changes the partition structure so those
partitions are absent, aborting the formatter on otherwise valid input,
e.g.:

  module m; initial for(int i=0(* a *);i<4;i++) x=i; endmodule

Replace the two CHECKs with graceful early-outs: when a required
semicolon-leading partition is not found, leave the partitions
unreshaped instead of aborting. Normal for-loops (both partitions
present) reshape exactly as before. Adds a formatter regression test.

Signed-off-by: Eylon Krause <eylon1909@gmail.com>