HLIL does not show nested structures

[nitrogar]

Version and Platform (required):

• Binary Ninja Version: latest

Bug Description:
nested types are not used in the HLIL

[nitrogar]

or mybe the problem is with arrays inside nested structures

[ccarpenter04]

How would that be represented?

[nitrogar]

well as close as possible to the provided C code , the main issue is that binja dose no show the usage of element l2 and l3 in the structures Level1 and Level2 even though they are defied in the types

[plafosse]

Here is a repro with original source, executable and bndb
repro.zip

[D0ntPanic]

The problem is that the compiler optimized two array lookups into a single multiply, because the index is the same for both. Because the multiplication factor doesn't match the size of any of the structures, it doesn't resolve the array access. We would need to account for this optimization.