Allocate global variables before populating constants

Constants can depend on the addresses of global variables

```c
int flag;
int * const flag_ptr = &flag;
```

Author: glguy

saw-central/src/SAWCentral/Crucible/LLVM/Builtins.hs

@@ -218,6 +218,7 @@ import SAWCentral.Crucible.LLVM.Override
 import SAWCentral.Crucible.LLVM.ResolveSetupValue
 import SAWCentral.Crucible.LLVM.MethodSpecIR
 import SAWCentral.Panic (panic)
+import qualified Lang.Crucible.LLVM.Globals as Crucible
 
 type AssumptionReason = (MS.ConditionMetadata, String)
 
@@ -1760,7 +1761,7 @@ setupLLVMCrucibleContext pathSat lm action =
                                  bindings (Crucible.llvmExtensionImpl ?memOpts)
                                  Common.SAWCruciblePersonality
                mem <- Crucible.populateConstGlobals bak (view Crucible.globalInitMap mtrans)
-                        =<< Crucible.initializeMemoryConstGlobals bak ctx llvm_mod
+                        =<< Crucible.initializeAllMemory bak ctx llvm_mod
 
                let globals  = Crucible.llvmGlobals (Crucible.llvmMemVar ctx) mem