diff --git a/src/Type/ExponentiateHelper.php b/src/Type/ExponentiateHelper.php
index 4e62ed9a5d..9a1d10b6f3 100644
--- a/src/Type/ExponentiateHelper.php
+++ b/src/Type/ExponentiateHelper.php
@@ -4,8 +4,10 @@
 
 use PHPStan\Type\Constant\ConstantFloatType;
 use PHPStan\Type\Constant\ConstantIntegerType;
+use Throwable;
 use function is_float;
 use function is_int;
+use function pow;
 
 final class ExponentiateHelper
 {
@@ -95,7 +97,12 @@ private static function exponentiateConstantScalar(ConstantScalarType $base, Typ
 		}
 
 		if ($exponent instanceof ConstantScalarType) {
-			$result = $base->getValue() ** $exponent->getValue();
+			try {
+				// @ to avoid "Warning: A non-numeric value encountered"
+				$result = @pow($base->getValue(), $exponent->getValue()); // @phpstan-ignore-line
+			} catch (Throwable) {
+				return new ErrorType();
+			}
 			if (is_int($result)) {
 				return new ConstantIntegerType($result);
 			}
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
index 574004643e..2c8a2befe6 100644
--- a/tests/PHPStan/Analyser/NodeScopeResolverTest.php
+++ b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -191,6 +191,11 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-1014.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-pr-339.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/pow.php');
+		if (PHP_VERSION_ID >= 80000) {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/pow-php8.php');
+		} else {
+			yield from $this->gatherAssertTypes(__DIR__ . '/data/pow-php7.php');
+		}
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/throw-expr.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5351.php');
 
diff --git a/tests/PHPStan/Analyser/data/pow-php7.php b/tests/PHPStan/Analyser/data/pow-php7.php
new file mode 100644
index 0000000000..0e068ccabc
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/pow-php7.php
@@ -0,0 +1,8 @@
+<?php
+
+namespace PowFunction;
+
+use function PHPStan\Testing\assertType;
+
+assertType('4', '4a' ** 1);
+assertType('0', 'a' ** 1);
diff --git a/tests/PHPStan/Analyser/data/pow-php8.php b/tests/PHPStan/Analyser/data/pow-php8.php
new file mode 100644
index 0000000000..04ece4d5d0
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/pow-php8.php
@@ -0,0 +1,8 @@
+<?php
+
+namespace PowFunction;
+
+use function PHPStan\Testing\assertType;
+
+assertType('4', '4a' ** 1);
+assertType('*ERROR*', 'a' ** 1);