[clang] [clang][analyzer] Model more getline/getdelim pre and postconditions (PR #83027)

Alejandro Álvarez Ayllón via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 6 06:56:11 PST 2024

Previous message: [clang] [clang][analyzer] Model more getline/getdelim pre and postconditions (PR #83027)
Next message: [clang] [clang][analyzer] Model more getline/getdelim pre and postconditions (PR #83027)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

alejandro-alvarez-sonarsource wrote:

Rebased on top of main and solved conflicts.

https://github.com/llvm/llvm-project/pull/83027

Previous message: [clang] [clang][analyzer] Model more getline/getdelim pre and postconditions (PR #83027)
Next message: [clang] [clang][analyzer] Model more getline/getdelim pre and postconditions (PR #83027)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list