[PATCH] D38214: [analyzer] Fix crash on modeling of pointer arithmetic
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 25 05:05:06 PDT 2017
NoQ added a comment.
I guess the accurate thing to do would be to return LocAsInteger of type `intptr_t` of an ElementRegion with index `-1` from SymbolicRegion around `p`. But i'm totally fine with another `UnknownVal` placeholder until this becomes an actual problem.
More information about the cfe-commits