On Wed, Apr 19, 2023 at 8:55 AM Juergen Gross wrote:
>
> On 19.04.23 12:06, Olaf Hering wrote:
> > gcc13 fails to track the allocated memory in backup_ptes:
> >
> > xg_offline_page.c: In function 'backup_ptes':
> > xg_offline_page.c:191:13: error: pointer 'orig' may be used after 'realloc'
> > [-
On 19.04.23 12:06, Olaf Hering wrote:
gcc13 fails to track the allocated memory in backup_ptes:
xg_offline_page.c: In function 'backup_ptes':
xg_offline_page.c:191:13: error: pointer 'orig' may be used after 'realloc'
[-Werror=use-after-free]
191 | free(orig);
Assist the analyze
gcc13 fails to track the allocated memory in backup_ptes:
xg_offline_page.c: In function 'backup_ptes':
xg_offline_page.c:191:13: error: pointer 'orig' may be used after 'realloc'
[-Werror=use-after-free]
191 | free(orig);
Assist the analyzer by slightly rearranging the code:
In ca
