[PATCH v2] Add model file for Coverity

[Joel Sherrill]

I tried this and got this error. I have attached the hack I did to see if
it
helped the modeling. It can't be  {} and it can't be just a forward
reference.
I added a dummy entry. I hope we don't have to duplicate the enums.

"/home/deploy/www/scan/current/tmp/modeling_files/nnx5CJ2NPZJPcw3n0aLS4w/model.
          c", line 39: error #40: expected an identifier
  typedef enum { } Internal_errors_Source;
                 ^

[ERROR] 1 error detected in the compilation of "modeling_file.c".
ERROR: cov-emit returned with code 1


On Fri, Jan 29, 2021 at 12:07 AM Sebastian Huber <
sebastian.huber at embedded-brains.de> wrote:

> ---
>  static-analysis/coverity/model.c | 53 ++++++++++++++++++++++++++++++++
>  1 file changed, 53 insertions(+)
>  create mode 100644 static-analysis/coverity/model.c
>
> diff --git a/static-analysis/coverity/model.c
> b/static-analysis/coverity/model.c
> new file mode 100644
> index 0000000..874b1b3
> --- /dev/null
> +++ b/static-analysis/coverity/model.c
> @@ -0,0 +1,53 @@
> +/* SPDX-License-Identifier: BSD-2-Clause */
> +
> +/**
> + * @file
> + *
> + * @brief This file provides models for the Coverity static analyser.
> + *
> + * If you update this file, then ask a project administrator to update the
> + * analysis settings:
> + *
> + * https://scan.coverity.com/projects/rtems?tab=analysis_settings
> + */
> +
> +/*
> + * Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de
> )
> + *
> + * Redistribution and use in source and binary forms, with or without
> + * modification, are permitted provided that the following conditions
> + * are met:
> + * 1. Redistributions of source code must retain the above copyright
> + *    notice, this list of conditions and the following disclaimer.
> + * 2. Redistributions in binary form must reproduce the above copyright
> + *    notice, this list of conditions and the following disclaimer in the
> + *    documentation and/or other materials provided with the distribution.
> + *
> + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
> "AS IS"
> + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
> THE
> + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
> PURPOSE
> + * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS
> BE
> + * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
> + * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
> + * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
> BUSINESS
> + * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
> + * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
> + * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
> THE
> + * POSSIBILITY OF SUCH DAMAGE.
> + */
> +
> +typedef enum { } Internal_errors_Source;
> +
> +typedef unsigned long Internal_errors_t;
> +
> +void _Terminate( Internal_errors_Source the_source, Internal_errors_t
> the_error )
> +{
> +  (void) the_source;
> +  (void) the_error;
> +  __coverity_panic__();
> +}
> +
> +void __builtin_unreachable( void )
> +{
> +  __coverity_panic__();
> +}
> --
> 2.26.2
>
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20210129/4a92124f/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: model.c
Type: application/octet-stream
Size: 2181 bytes
Desc: not available
URL: <http://lists.rtems.org/pipermail/devel/attachments/20210129/4a92124f/attachment.obj>