Add warning options for non-serializable cases

mingweishih commented 3 years ago

This PR is based on the Enforcing full serialization in EDL proposal. More specifically, adding the following command line options:

-Wreturn-ptr: Check if an ocall or ecall returns a pointer
-Wptr-in-struct: Check if a user-defined struct includes a un-annotated pointer
-Wforeign-type-ptr: Check if an ocall or ecall includes a parameter that is a pointer of a foreign type
-Wptr-in-function: Check if an ocall or ecall includes a un-annotated pointer argument
-Wall: Enable all the warning options
-Wno-<option>: Disable the corresponding warning
-Werror: Turn warnings into errors
-Werror=<option>: Turn the specified warning into an error

Signed-off-by: Ming-Wei Shih mishih@microsoft.com

oe-ci-robot commented 3 years ago

Skipping CI for Draft Pull Request. If you want CI signal for your change, please convert it to an actual PR. You can still manually trigger a test run with /test all

oe-ci-robot commented 3 years ago

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: anakrish, mingweishih

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files: - ~~[OWNERS](https://github.com/openenclave/oeedger8r-cpp/blob/master/OWNERS)~~ [anakrish,mingweishih] Approvers can indicate their approval by writing `/approve` in a comment Approvers can cancel approval by writing `/approve cancel` in a comment

openenclave / oeedger8r-cpp

Add warning options for non-serializable cases #67