https://github.com/nikic commented: As a side note, it would be nice to add support for DA to update_analyze_test_checks.py, so we can use generated check lines. https://github.com/llvm/llvm-project/pull/116631