Skip to content

Commit

Permalink
[2] Lint error fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
ANSHUMAN TRIPATHY authored and ANSHUMAN TRIPATHY committed Mar 17, 2020
1 parent cb8d5c8 commit 1f5d949
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/te/schedule/message_passing.cc
Original file line number Diff line number Diff line change
Expand Up @@ -558,8 +558,9 @@ void PassUpBoundCheck(const Stage& s,

bool IsRangeSame(const Range input_1, const Range input_2) {
arith::Analyzer analyzer;
if(input_1.same_as(input_2)) return true;
if ( !analyzer.CanProve(input_1->min == input_2->min) || !analyzer.CanProve(input_1->extent == input_2->extent)) {
if (input_1.same_as(input_2)) return true;
if ( !analyzer.CanProve(input_1->min == input_2->min)
|| !analyzer.CanProve(input_1->extent == input_2->extent)) {
return false;
}
return true;
Expand Down

0 comments on commit 1f5d949

Please sign in to comment.