C Simple memory leak cannot be detected

[Achillesed]

version of infer - [ infer 1.1.0]
operating system and version - [ Ubuntu22.04]
command - [infer run -- gcc -c]
full output in a paste

1/1 [################################################################################] 100% 21.233ms

t.c:4: error: Dead Store
  The value written to &ptr (type int*) is never used.
  2. #include<stdlib.h>
  3. int main(){
  4.     int* ptr=malloc(sizeof(int));   //src
         ^
  5.     return 0;
  6. }


Found 1 issue
  Issue Type(ISSUED_TYPE_ID): #
      Dead Store(DEAD_STORE): 1

a minimal example

#include<stdio.h>
#include<stdlib.h>
int main(){
    int* ptr=malloc(sizeof(int));
    return 0;
}

[Achillesed]

--pluse