[PATCH] D92634: [Analyzer] Diagnose signed integer overflow

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> My code seems to think that a variable print_count has the value INT_MAX for some reason

Typically in such cases bug visitors should be added/improved until it is clear from the user-facing report why does the analyzer think so. They'd highlight the important events, prevent path pruning, and potentially suppress reports if the reason is discovered to not be valid.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D92634