[PATCH] D81254: [analyzer] Produce symbolic values for C-array elements

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 14 11:25:01 PDT 2020

Previous message: [PATCH] D81254: [analyzer] Produce symbolic values for C-array elements
Next message: [PATCH] D85312: [ADT] Move FixedPoint.h from Clang to LLVM.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

ASDenysPetrov added a comment.

Hey, folk, welcome to https://reviews.llvm.org/D85984
I've moved the logic of this checker in `PthreadLockChecker`

Should this revision be //closed //or //rejected //somehow?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D81254/new/

https://reviews.llvm.org/D81254

Previous message: [PATCH] D81254: [analyzer] Produce symbolic values for C-array elements
Next message: [PATCH] D85312: [ADT] Move FixedPoint.h from Clang to LLVM.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list