top_sort_lattice(): clang analyzer warning about zero size VLA
Clang analyzer warns about top_sort_lattice() potentially having zero-size array "bool marked[lattice->size]"
Clang analyzer warns about top_sort_lattice() potentially having zero-size array "bool marked[lattice->size]"