maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[ConstraintSystem] Mark function as const (NFC).

This commit is contained in:
Florian Hahn 2022-01-27 13:44:47 +00:00
parent d44de46254
commit 1ca02bddb4
No known key found for this signature in database
GPG Key ID: CF59919C6547A668
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
llvm/include/llvm/Analysis/ConstraintSystem.h
View File

@ -73,7 +73,7 @@ public:
return R;
}
bool isConditionImplied(SmallVector<int64_t, 8> R);
bool isConditionImplied(SmallVector<int64_t, 8> R) const;
void popLastConstraint() { Constraints.pop_back(); }

2
llvm/lib/Analysis/ConstraintSystem.cpp
View File

@ -142,7 +142,7 @@ bool ConstraintSystem::mayHaveSolution() {
return HasSolution;
}
bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) {
bool ConstraintSystem::isConditionImplied(SmallVector<int64_t, 8> R) const {
// If all variable coefficients are 0, we have 'C >= 0'. If the constant is >=
// 0, R is always true, regardless of the system.
if (all_of(makeArrayRef(R).drop_front(1), [](int64_t C) { return C == 0; }))