new smatch
@@ -3,7 +3,7 @@ /* * check-name: c11-noreturn * check-command: test-parsing -std=c11 $file * * check-output-ignore - * check-output-contains: \[noreturn\] + * check-output-contains: \\[noreturn\\] */