[PATCH] D50256: [Analyzer] Basic support for multiplication and division in the constraint manager (for == and != only)

Vince Bridgers via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 9 16:02:37 PDT 2020

Previous message: [PATCH] D77836: [Attribute] Fix noderef attribute false-negatives
Next message: [PATCH] D49074: [Analyzer] Basic support for multiplication and division in the constraint manager
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

vabridgers added a comment.

ping! Any chance of this patch being accepted? This patch can help some SA false positives.


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

https://reviews.llvm.org/D50256

Previous message: [PATCH] D77836: [Attribute] Fix noderef attribute false-negatives
Next message: [PATCH] D49074: [Analyzer] Basic support for multiplication and division in the constraint manager
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list