Psudo-C displays empty structure access
Can you share the type definitions of wait_queue_head and whatever type the lock field is?
Can you share the type definitions of
wait_queue_headand whatever type thelockfield is?
struct raw_spinlock __packed
{
struct __packed
{
unsigned short owner;
unsigned short next;
} raw_lock;
};
struct list_head __packed
{
struct list_head* next;
struct list_head* prev;
};
struct swait_queue_head __packed
{
struct raw_spinlock lock;
struct list_head task_list;
};
for the reason of copy past in Ninja, I can not copy offset together with defination. if we need the offset, plz tell me
if need this file , i can upload it. but the file is a little big.
What version of binja? On what I think is a close approximation of the binary I'm seeing this:
If you can share the exact binary I can see if it still repros
I will retest , i am keeping update everytime I am waked up
after u see this, i will close it , after the retest, if still exist , i will make it open. Thank u.
I think the problem is related to pseudo-C, a workaround for now is to view the HLIL, which is far less likely to run into corner cases like this.
On the other hand, this does look like a bug, and we should fix it. Please upload the file and share with us a link either here or in private
I will check again. For the sake of everyone's time saving, I close it first. After checking this again, I will make it reopen.
i find the right case here
https://drive.google.com/file/d/15f_Z5GdhYeDYMbASg07rYXG9x83ziNSH/view?usp=sharing
this is really very small issue, if really not deserved to patch , just leave it alone. I'm ok about this