We are planning to use S32K for one of the products.Can the GHS compiler be used?
If you look to the NXP Partner page for Green Hills, NXP - Partner Profile Information, there is a table 'Green Hills Software Recommended Solutions'. Locate the row for 'C/C++ Optimizing Compiler', then in the column with heading 'Supported NXP Solutions' there is a link Devices. Clicking the link brings up the list of supported NXP devices. As you can see here, S32K is listed:
Hope it helps,
Retrieving data ...