projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54f10f8) | patch
[analyzer] pr38273: Legalize Loc<>NonLoc comparison symbols.
authorArtem Dergachev <artem.dergachev@gmail.com>
Mon, 23 Jul 2018 23:09:44 +0000 (23:09 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Mon, 23 Jul 2018 23:09:44 +0000 (23:09 +0000)
commit917111f91ec136d6acab7da78eedd0fb41f169ae
tree030211e76bddff63a45bed838f725d0f24b5b05btree | snapshot
parent54f10f8e68012217c5a72bc68d98104303a3c0e0commit | diff
[analyzer] pr38273: Legalize Loc<>NonLoc comparison symbols.

Remove an assertion in RangeConstraintManager that expects such symbols to never
appear, while admitting that the constraint manager doesn't yet handle them.

Differential Revision: https://reviews.llvm.org/D49703

llvm-svn: 337769
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
clang/test/Analysis/casts.c diff | blob | history
Domain: System / Toolchain;