projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 400a9bf) | patch
[analyzer] Rename assumeWithinInclusiveRange*()
authorDominic Chen <d.c.ddcc@gmail.com>
Tue, 15 Nov 2016 01:54:41 +0000 (01:54 +0000)
committerDominic Chen <d.c.ddcc@gmail.com>
Tue, 15 Nov 2016 01:54:41 +0000 (01:54 +0000)
commite7feaec187f11d4bd61dd100d339a87da952ba0b
tree2f3748f1eefa6c71738daebe721c64d139969400tree | snapshot
parent400a9bf83c05e714e10c39bf3e8d62778a2df6f5commit | diff
[analyzer] Rename assumeWithinInclusiveRange*()

Summary: The name is slightly confusing, since the constraint is not necessarily within the range unless `Assumption` is true. Split out renaming for ConstraintManager.h from D26061

Reviewers: zaks.anna, dcoughlin

Subscribers: cfe-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@286927 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp diff | blob | history
lib/StaticAnalyzer/Core/SimpleConstraintManager.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.