mbaret opened a new pull request #5155: [FIX] Fixed merging behaviour in AnnotateRegionSet URL: https://github.com/apache/incubator-tvm/pull/5155 This is a small fix to the PR that introduces AnnotatedRegionSet. Deleting items from a list while iterating it seems to result in undefined behaviour which sometimes segfaults. This makes sure all the item deletion happens separately.
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
