ICU-23256 Fix floating exception while divided by 0

See #3769

Author: FrankYFTang

icu4c/source/i18n/nfrule.cpp

@@ -151,12 +151,17 @@ NFRule::makeRules(UnicodeString& description,
         UnicodeString sbuf;
         int32_t orElseOp = description.indexOf(gVerticalLine);
 
+        uint64_t mod = util64_pow(rule1->radix, rule1->exponent);
         // we'll actually only split the rule into two rules if its
         // base value is an even multiple of its divisor (or it's one
         // of the special rules)
+        if (rule1->baseValue > 0 && rule1->radix != 0 && mod == 0) {
+            status = U_NUMBER_ARG_OUTOFBOUNDS_ERROR;
+            return;
+        }
         if ((rule1->baseValue > 0
             && (rule1->radix != 0) // ICU-23109 Ensure next line won't "% 0"
-            && (rule1->baseValue % util64_pow(rule1->radix, rule1->exponent)) == 0)
+            && (rule1->baseValue % mod == 0))
             || rule1->getType() == kImproperFractionRule
             || rule1->getType() == kDefaultRule) {
 

icu4c/source/test/intltest/itrbnf.cpp

@@ -88,6 +88,7 @@ void IntlTestRBNF::runIndexedTest(int32_t index, UBool exec, const char* &name,
         TESTCASE(36, TestNullDereferenceREAD23184);
         TESTCASE(37, TestUnparseableConflictingSubstitutions);
         TESTCASE(38, TestAmbiguousDelimiter);
+        TESTCASE(39, TestDividedByZero);
 #else
         TESTCASE(0, TestRBNFDisabled);
 #endif
@@ -2818,6 +2819,14 @@ IntlTestRBNF::TestAmbiguousDelimiter() {
     }
 }
 
+void
+IntlTestRBNF::TestDividedByZero() {
+    UParseError perror;
+    UErrorCode status = U_ZERO_ERROR;
+    RuleBasedNumberFormat rbnf(u"7060920374060940374/4:[]", Locale::getUS(), perror, status);
+    assertEquals("base is too large", U_NUMBER_ARG_OUTOFBOUNDS_ERROR, status);
+}
+
 /* U_HAVE_RBNF */
 #else
 

icu4c/source/test/intltest/itrbnf.h

@@ -169,6 +169,7 @@ class IntlTestRBNF : public IntlTest {
     void TestNullDereferenceREAD23184();
     void TestUnparseableConflictingSubstitutions();
     void TestAmbiguousDelimiter();
+    void TestDividedByZero();
 
 protected:
     virtual void doTest(RuleBasedNumberFormat* formatter, const char* const testData[][2], UBool testParsing);

icu4j/main/core/src/main/java/com/ibm/icu/text/NFRule.java

@@ -131,10 +131,14 @@ public static void makeRules(
             StringBuilder sbuf = new StringBuilder();
             int orElseOp = description.indexOf('|');
 
+            long mod = power(rule1.radix, rule1.exponent);
+            if (rule1.baseValue > 0 && mod == 0) {
+                throw new IllegalArgumentException("value out of range");
+            }
             // we'll actually only split the rule into two rules if its
             // base value is an even multiple of its divisor (or it's one
             // of the special rules)
-            if ((rule1.baseValue > 0 && rule1.baseValue % (power(rule1.radix, rule1.exponent)) == 0)
+            if ((rule1.baseValue > 0 && rule1.baseValue % mod == 0)
                     || rule1.baseValue == IMPROPER_FRACTION_RULE
                     || rule1.baseValue == DEFAULT_RULE) {
 

icu4j/main/core/src/test/java/com/ibm/icu/dev/test/format/RBNFParseTest.java

@@ -212,6 +212,17 @@ public void Test23184EmptyRuleSet() {
     public void TestNullRuleSet() {
         try {
             RuleBasedNumberFormat rbnf = new RuleBasedNumberFormat("x00:a>>>b>#>", Locale.US);
+            errln("Failed: should throw IllegalArgumentException");
+        } catch (IllegalArgumentException e) {
+            // success!
+        }
+    }
+
+    @Test
+    public void TestDividedByZero() {
+        try {
+            RuleBasedNumberFormat rbnf = new RuleBasedNumberFormat("7060920374060940374/4:[]");
+            errln("Failed: should throw IllegalArgumentException");
         } catch (IllegalArgumentException e) {
             // success!
         }