[PATCH] D139759: [analyzer] Fix assertion in getAPSIntType

[Vince Bridgers via Phabricator via cfe-commits]

vabridgers added a comment.

Some debug context ...

  (gdb) frame 4
  #4  0x0000000006f55b73 in clang::ento::BasicValueFactory::getAPSIntType (this=0x1088e470, T=...)
      at <root>/clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h:155
  155	    assert(T->isIntegralOrEnumerationType() || Loc::isLocType(T));
  (gdb) p T
  $1 = {Value = {Value = 276884496}}
  (gdb) p T.dump()
  BuiltinType 0x1080ec10 'long _Accum'
  $2 = void
  (gdb) p T->isIntegralOrEnumerationType()
  $3 = false
  (gdb) p Loc::isLocType(T)
  $4 = false
  (gdb) p Ctx.getIntWidth(T)
  $5 = 64
  (gdb) p !T->isSignedIntegerOrEnumerationType()
  $6 = true


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D139759