Add chance to draw local constants in HypothesisProvider

.github/workflows/main.yml

@@ -190,7 +190,8 @@ jobs:
       run: |
         pip install --upgrade setuptools pip wheel
         pip install -r requirements/coverage.txt
-        pip install hypothesis-python/[all]
+        pip install -r requirements/crosshair.txt
+        pip install hypothesis-python/
     - name: Run tests
       run: python -m pytest --numprocesses auto ${{ matrix.whichtests == 'nocover' && 'hypothesis-python/tests/nocover' || 'hypothesis-python/tests/ --ignore=hypothesis-python/tests/nocover/ --ignore=hypothesis-python/tests/quality/ --ignore=hypothesis-python/tests/ghostwriter/ --ignore=hypothesis-python/tests/patching/' }}
 

hypothesis-python/RELEASE.rst

@@ -0,0 +1,3 @@
+RELEASE_TYPE: patch
+
+Hypothesis now looks for constant values in the source code of your program, and sometimes uses them while generating examples. This lets Hypothesis generate interesting inputs that are specific to your program.

hypothesis-python/src/hypothesis/internal/conjecture/data.py

@@ -861,6 +861,16 @@ def draw_float(
         assert not math.isnan(min_value)
         assert not math.isnan(max_value)
 
+        if smallest_nonzero_magnitude == 0.0:  # pragma: no cover
+            raise FloatingPointError(
+                "Got allow_subnormal=True, but we can't represent subnormal floats "
+                "right now, in violation of the IEEE-754 floating-point "
+                "specification.  This is usually because something was compiled with "
+                "-ffast-math or a similar option, which sets global processor state.  "
+                "See https://simonbyrne.github.io/notes/fastmath/ for a more detailed "
+                "writeup - and good luck!"
+            )
+
         if forced is not None:
             assert allow_nan or not math.isnan(forced)
             assert math.isnan(forced) or (