[clang] [analyzer] Do not reason about locations passed as inline asm input (PR #103714)

Pavel Skripkin via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 14 05:52:48 PDT 2024


pskrgag wrote:

Thank you for review!

Deleted newline and renamed `O` -> `I`. 

> It's a pitty that ProgramState::invalidateRegions accepts an Expr instead of a Stmt and then later inside it just conjures the result of the invalidation for a Stmt

I saw that API, but thought there was a reason why it accepts `Stmt`...

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


More information about the cfe-commits mailing list