NoQ added inline comments.
Comment at: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp:175
+
+ if (RepresentsUntilExp >= sizeof(unsigned long long)*8) {
return false;
Szelethus wrote:
> Szelethus wrote:
> > How about `AC.getSizeType(AC.UnsignedLongLongTy)
Szelethus added a subscriber: whisperity.
Szelethus added inline comments.
Comment at: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp:175
+
+ if (RepresentsUntilExp >= sizeof(unsigned long long)*8) {
return false;
Szelethus wrote:
> How about `AC.getSize
Szelethus added inline comments.
Comment at: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp:175
+
+ if (RepresentsUntilExp >= sizeof(unsigned long long)*8) {
return false;
How about `AC.getSizeType(AC.UnsignedLongLongTy))`?
Comment at:
donat.nagy created this revision.
donat.nagy added reviewers: NoQ, george.karpenkov, rnkovacs,
baloghadamsoftware, mikhail.ramalho.
Herald added subscribers: cfe-commits, Szelethus.
Extend the alpha.core.Conversion checker to handle implicit converions
where a too large integer value is converted
