[PATCH] D52848: [analyzer] Do not crash if the assumption added in TrustNonNullChecker is enough to make the state unfeasible

Fangrui Song via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Oct 3 16:52:04 PDT 2018

Previous message: [PATCH] D52848: [analyzer] Do not crash if the assumption added in TrustNonNullChecker is enough to make the state unfeasible
Next message: r343736 - [analyzer] [tests] [quickfix] Make more test more resilient for non-defaut -std.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

MaskRay added a comment.

This change appears to break `test/Analysis/trustnonnullchecker_test.m` in non-optimized (__OPTIMIZE__ not defined) mode. Can you take a look?


Repository:
  rC Clang

https://reviews.llvm.org/D52848

Previous message: [PATCH] D52848: [analyzer] Do not crash if the assumption added in TrustNonNullChecker is enough to make the state unfeasible
Next message: r343736 - [analyzer] [tests] [quickfix] Make more test more resilient for non-defaut -std.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list