Method: AdLint::Cc1::IntersectionValueDomain#&

Defined in:
lib/adlint/cc1/domain.rb

#&(rhs_dom) ⇒ Object 



6428
6429
6430
6431
6432
6433
6434
6435
 
# File 'lib/adlint/cc1/domain.rb', line 6428

def &(rhs_dom)
  if rhs_max = rhs_dom.max_value
    ValueDomain.greater_than_or_equal_to(0, logical_shr?).intersection(
      ValueDomain.less_than_or_equal_to(rhs_max, logical_shr?))
  else
    ValueDomain.greater_than_or_equal_to(0, logical_shr?)
  end
end