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

typeOfLLVMVal duplicates Crucible.MemModel.Value.llvmValStorableType #412

Closed
langston-barrett opened this issue Apr 17, 2019 · 1 comment
Closed

typeOfLLVMVal duplicates Crucible.MemModel.Value.llvmValStorableType #412

langston-barrett opened this issue Apr 17, 2019 · 1 comment
Assignees
@robdockins
Labels
subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm tech debt Issues that document or involve technical debt
Milestone
0.7

Comments

@langston-barrett
Copy link
Contributor

This method:

saw-script/src/SAWScript/CrucibleResolveSetupValue.hs

Line 451 in 0f85d0b

typeOfLLVMVal :: Crucible.DataLayout -> LLVMVal -> Crucible.StorageType

Duplicates the following (unexported) one from Crucible:
https://github.com/GaloisInc/crucible/blob/a9bac7723eae011d9bbce756dce1354ff68deb35/crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Value.hs#L89
@langston-barrett langston-barrett added the subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm label Jun 7, 2019
@robdockins robdockins self-assigned this Oct 5, 2020
@robdockins robdockins added this to the 0.7 milestone Oct 16, 2020
@brianhuffman brianhuffman added the tech debt Issues that document or involve technical debt label Oct 16, 2020
@robdockins
Copy link
Contributor

This was fixed via 9c6d6ab

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robdockins robdockins

Labels
subsystem: crucible-llvm Issues related to LLVM bitcode verification with crucible-llvm tech debt Issues that document or involve technical debt
Projects
None yet
Milestone
0.7
Development

No branches or pull requests
3 participants
@brianhuffman @langston-barrett @robdockins