[
https://issues.apache.org/jira/browse/DAFFODIL-2364?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17688084#comment-17688084
]
Mike McGann commented on DAFFODIL-2364:
---------------------------------------
The validation check happens here:
https://github.com/apache/daffodil/blob/dede0cf7dfaa3a7e67af5dabc7389192eb92c4d5/daffodil-runtime1/src/main/scala/org/apache/daffodil/runtime1/processors/parsers/SequenceChildBases.scala#L518-L534
It appears to be using a counter of the current array index and using that for
the count. But that number includes empty elements even if they are removed in
the final infoset. I'm not sure how the code should be validating the infoset
here and could use some assistance.
> infinite loop with separators and suppression (NUL related)
> -----------------------------------------------------------
>
> Key: DAFFODIL-2364
> URL: https://issues.apache.org/jira/browse/DAFFODIL-2364
> Project: Daffodil
> Issue Type: Bug
> Components: Back End
> Affects Versions: 2.7.0
> Reporter: Mike Beckerle
> Assignee: Mike McGann
> Priority: Critical
> Fix For: 3.5.0
>
>
> test_nulPad1 goes into an infinite loop on 2.7.0.
> Some aspect of no-forward-progress checking isn't working.
>
--
This message was sent by Atlassian Jira
(v8.20.10#820010)