/*****************************************************************************/
/*                                                                           */
/*                               staticassert.h                              */
/*                                                                           */
/*          _Static_assert handling for the cc65 C compiler                  */
/*                                                                           */
/*                                                                           */
/*                                                                           */
/* Copyright 2020 The cc65 Authors                                           */
/*                                                                           */
/*                                                                           */
/* This software is provided 'as-is', without any expressed or implied       */
/* warranty.  In no event will the authors be held liable for any damages    */
/* arising from the use of this software.                                    */
/*                                                                           */
/* Permission is granted to anyone to use this software for any purpose,     */
/* including commercial applications, and to alter it and redistribute it    */
/* freely, subject to the following restrictions:                            */
/*                                                                           */
/* 1. The origin of this software must not be misrepresented; you must not   */
/*    claim that you wrote the original software. If you use this software   */
/*    in a product, an acknowledgment in the product documentation would be  */
/*    appreciated but is not required.                                       */
/* 2. Altered source versions must be plainly marked as such, and must not   */
/*    be misrepresented as being the original software.                      */
/* 3. This notice may not be removed or altered from any source              */
/*    distribution.                                                          */
/*                                                                           */
/*****************************************************************************/



/* cc65 */
#include "error.h"
#include "expr.h"
#include "litpool.h"
#include "scanner.h"
#include "staticassert.h"



/*****************************************************************************/
/*                      _Static_assert handling functions                    */
/*****************************************************************************/



void ParseStaticAssert (void)
{
    /*
    ** static_assert-declaration ::=
    **     _Static_assert ( constant-expression ) ;
    **     _Static_assert ( constant-expression , string-literal ) ;
    */
    ExprDesc Expr;
    unsigned PrevErrorCount = ErrorCount;
    int      failed = 0;

    /* Skip the _Static_assert token itself */
    CHECK (CurTok.Tok == TOK_STATIC_ASSERT);
    NextToken ();

    /* We expect an opening paren */
    if (ConsumeLParen ()) {
        /* Parse assertion condition */
        Expr = NoCodeConstAbsIntExpr (hie1);
        failed = !Expr.IVal;
    }

    if (PrevErrorCount != ErrorCount) {
        goto ExitPoint;
    }

    /* If there is a comma, we also have an error message.  The message is optional because we
    ** support the C2X syntax with only an expression.
    */
    if (CurTok.Tok == TOK_COMMA) {
        /* Prevent from translating the message string literal */
        NoCharMap = 1;

        /* Skip the comma and get the next token */
        NextToken ();

        /* Reenable string literal translation */
        NoCharMap = 0;

        /* String literal */
        if (CurTok.Tok != TOK_SCONST) {
            Error ("String literal expected for static_assert message");
        } else {
            /* Issue an error including the message if the static_assert failed. */
            if (failed) {
                Error ("static_assert failed '%s'", GetLiteralStr (CurTok.SVal));
            }

            /* Consume the string constant, now that we don't need it anymore.
            ** This should never fail since we checked the token type above.
            */
            Consume (TOK_SCONST, "String literal expected");
        }
    } else {
        /* No message. */
        if (failed) {
            Error ("static_assert failed");
        }
    }

    /* The assertion failure error is not a syntax error */
    if (failed) {
        ++PrevErrorCount;
    }

    if (PrevErrorCount == ErrorCount) {
        /* Closing paren needed */
        ConsumeRParen ();
    }

    if (PrevErrorCount == ErrorCount) {
        /* Must be followed by a semicolon */
        ConsumeSemi ();
    }

ExitPoint:
    /* Try some smart error recovery */
    if (PrevErrorCount != ErrorCount) {
        SmartErrorSkip (1);
    }
}