diff options
| author | tiif <pekyuan@gmail.com> | 2024-05-12 15:01:18 +0800 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2024-05-12 15:01:18 +0800 |
| commit | bf5906fbb44f8bbe9707bf98ddb4d4705e4b302a (patch) | |
| tree | f8de9a07acc8ddb016c8fa067629e450609b918c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 32b22381749163da5a413283561c5c6509c538b4 (diff) | |
| download | rust-bf5906fbb44f8bbe9707bf98ddb4d4705e4b302a.tar.gz rust-bf5906fbb44f8bbe9707bf98ddb4d4705e4b302a.zip | |
Add non-null pointer for posix_memalign
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions