Fix for Issue #1200 "Assertion failure"#1201

arunkumarbhattar wants to merge 1 commit intocheckedc:maincheckedc/checkedc-llvm-project:mainfrom

checkedc-purdue:maincheckedc-purdue/checkedc-llvm-project-bugFix:mainCopy head branch name to clipboard