Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Windows home_dir fallback when HOME is not set not supported #3499

Closed
RalfJung opened this issue Apr 22, 2024 · 0 comments · Fixed by #3502
Closed

Windows home_dir fallback when HOME is not set not supported #3499

RalfJung opened this issue Apr 22, 2024 · 0 comments · Fixed by #3502
Labels
A-shims Area: This affects the external function shims A-windows Area: affects only Windows targets C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement

Comments

@RalfJung
Copy link
Member 

  0.159555   error: unsupported operation: can't call foreign function `GetUserProfileDirectoryW` on OS `windows`
  0.000051      --> /home/runner/work/miri-test-libstd/miri-test-libstd/rust-src-patched/library/std/src/sys/pal/windows/os.rs:329:23
  0.000008       |
  0.000008   329 |                   match c::GetUserProfileDirectoryW(
  0.000005       |  _______________________^
  0.000006   330 | |                     ptr::without_provenance_mut(CURRENT_PROCESS_TOKEN),
  0.000006   331 | |                     buf,
  0.000005   332 | |                     &mut sz,
  0.000009   333 | |                 ) {
  0.000010       | |_________________^ can't call foreign function `GetUserProfileDirectoryW` on OS `windows`
@RalfJung RalfJung added C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement A-windows Area: affects only Windows targets labels Apr 22, 2024
@RalfJung RalfJung mentioned this issue Apr 22, 2024
Merged
@RalfJung RalfJung added the A-shims Area: This affects the external function shims label Apr 22, 2024
@RalfJung RalfJung mentioned this issue Apr 23, 2024
Merged
@bors bors closed this as completed in 4c399a3 Apr 24, 2024
RalfJung pushed a commit to RalfJung/rust that referenced this issue Apr 25, 2024
@bors
Auto merge of rust-lang#3502 - RalfJung:GetUserProfileDirectoryW, r=R…
6c34d46 
…alfJung

windows: basic support for GetUserProfileDirectoryW

Fixes rust-lang/miri#3499
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-shims Area: This affects the external function shims A-windows Area: affects only Windows targets C-enhancement Category: a PR with an enhancement or an issue tracking an accepted enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

windows: basic support for GetUserProfileDirectoryW RalfJung/miri
1 participant
@RalfJung