[PATCH] D70725: [analyzer] Add path notes to FuchsiaHandleCheck

Csaba Dabis via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Dec 3 12:16:22 PST 2019


Charusso added a comment.

In D70725#1767579 <https://reviews.llvm.org/D70725#1767579>, @xazax.hun wrote:

> Just a small side note. If the state was same as the previous we do not end up creating a new ExplodedNode right? Is this also the case when we add a NoteTag?


It only happens for evaluation when you cannot evaluate something. Other than that `Pre/PostCall` working fine to add a node with the `NoteTag`.


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

https://reviews.llvm.org/D70725





More information about the cfe-commits mailing list