[Mlir-commits] [mlir] [mlir][smt] Allow empty function domains (PR #193732)

[LLVM Continuous Integration]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `clang-aarch64-sve2-vla` running on `linaro-g4-01` while building `mlir` at step 14 "test-suite".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/198/builds/13026

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 14 (test-suite) failure: test (failure)
******************** TEST 'test-suite :: tools/test/alloc_mem.test' FAILED ********************

/home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/timeit-target --timeout 7200 --limit-core 0 --limit-cpu 7200 --limit-file-size 209715200 --limit-rss-size 838860800 --redirect-input /dev/null --summary /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/test/Output/alloc_mem.test.time /usr/bin/python3.10 /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/test/test_maxrss.py /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/timeit-target /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/test/alloc_mem
maxrss too low: 134111232 < 134217728

+ /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/timeit-target --timeout 7200 --limit-core 0 --limit-cpu 7200 --limit-file-size 209715200 --limit-rss-size 838860800 --redirect-input /dev/null --summary /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/test/Output/alloc_mem.test.time /usr/bin/python3.10 /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/test/test_maxrss.py /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/timeit-target /home/tcwg-buildbot/worker/clang-aarch64-sve2-vla/test/sandbox/build/tools/test/alloc_mem

********************


```

</details>

https://github.com/llvm/llvm-project/pull/193732