Hi,
We apologize for the delay.
For the information that has been shared with us, it seems that this is a bug under S32DS. We are still looking for a clear confirmation on this topic.
Also, an idea came to our mind, can you modify the makefile that is used for building the project? Something like shown below:

Where you could modify your makefile prior to building the project, and maybe with the use of flags some defines are added to the build.
Again, we apologize for the delay on this topic.
Please, let us know.