From Jason Turner

[expr.mul]

Diff to HTML by rtfpessoa

tmp/tmpj0cq4e4f/{from.md → to.md} RENAMED
@@ -1,6 +1,6 @@
1
- ## Multiplicative operators <a id="expr.mul">[[expr.mul]]</a>
2
 
3
  The multiplicative operators `*`, `/`, and `%` group left-to-right.
4
 
5
  ``` bnf
6
  multiplicative-expression:
@@ -10,18 +10,18 @@ multiplicative-expression:
10
  multiplicative-expression '%' pm-expression
11
  ```
12
 
13
  The operands of `*` and `/` shall have arithmetic or unscoped
14
  enumeration type; the operands of `%` shall have integral or unscoped
15
- enumeration type. The usual arithmetic conversions are performed on the
16
- operands and determine the type of the result.
17
 
18
  The binary `*` operator indicates multiplication.
19
 
20
  The binary `/` operator yields the quotient, and the binary `%` operator
21
  yields the remainder from the division of the first expression by the
22
  second. If the second operand of `/` or `%` is zero the behavior is
23
  undefined. For integral operands the `/` operator yields the algebraic
24
- quotient with any fractional part discarded;[^24] if the quotient `a/b`
25
  is representable in the type of the result, `(a/b)*b + a%b` is equal to
26
  `a`; otherwise, the behavior of both `a/b` and `a%b` is undefined.
27
 
 
1
+ ### Multiplicative operators <a id="expr.mul">[[expr.mul]]</a>
2
 
3
  The multiplicative operators `*`, `/`, and `%` group left-to-right.
4
 
5
  ``` bnf
6
  multiplicative-expression:
 
10
  multiplicative-expression '%' pm-expression
11
  ```
12
 
13
  The operands of `*` and `/` shall have arithmetic or unscoped
14
  enumeration type; the operands of `%` shall have integral or unscoped
15
+ enumeration type. The usual arithmetic conversions [[expr.arith.conv]]
16
+ are performed on the operands and determine the type of the result.
17
 
18
  The binary `*` operator indicates multiplication.
19
 
20
  The binary `/` operator yields the quotient, and the binary `%` operator
21
  yields the remainder from the division of the first expression by the
22
  second. If the second operand of `/` or `%` is zero the behavior is
23
  undefined. For integral operands the `/` operator yields the algebraic
24
+ quotient with any fractional part discarded;[^28] if the quotient `a/b`
25
  is representable in the type of the result, `(a/b)*b + a%b` is equal to
26
  `a`; otherwise, the behavior of both `a/b` and `a%b` is undefined.
27