From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on sa.local.altlinux.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,RP_MATCHES_RCVD, SPF_FAIL, TO_EQ_FM_DOM_SPF_FAIL autolearn=ham autolearn_force=no version=3.4.1 Date: Sat, 22 Jun 2024 01:10:34 +0000 From: "Girar awaiter (vt)" To: Vitaly Chikunov Subject: [#351306] [test-only] FAILED cbmc.git=6.0.1-alt1 Message-ID: Mail-Followup-To: Girar awaiter robot MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-girar-task-id: 351306 X-girar-task-owner: vt X-girar-task-repo: sisyphus X-girar-task-try: 1 X-girar-task-iter: 1 X-girar-task-status: FAILED X-girar-task-URL: https://git.altlinux.org/tasks/351306/ X-girar-task-log: logs/events.1.1.log X-girar-task-summary: [#351306] [test-only] FAILED cbmc.git=6.0.1-alt1 User-Agent: Mutt/1.10.1 (2018-07-13) Cc: sisyphus-incominger@lists.altlinux.org, girar-builder-sisyphus@altlinux.org X-BeenThere: sisyphus-incominger@lists.altlinux.org X-Mailman-Version: 2.1.12 Precedence: list Reply-To: ALT Devel discussion list List-Id: ALT Linux Girar Builder robot reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 22 Jun 2024 01:10:36 -0000 Archived-At: List-Archive: https://git.altlinux.org/tasks/351306/logs/events.1.1.log subtask name aarch64 i586 ppc64le x86_64 #100 cbmc failed 11:56 7:14 5:18 2024-Jun-22 00:58:35 :: test-only task #351306 for sisyphus started by vt: #100 build 6.0.1-alt1 from /people/vt/packages/cbmc.git fetched at 2024-Jun-22 00:58:32 2024-Jun-22 00:58:37 :: [x86_64] #100 cbmc.git 6.0.1-alt1: build start 2024-Jun-22 00:58:37 :: [i586] #100 cbmc.git 6.0.1-alt1: build start 2024-Jun-22 00:58:37 :: [aarch64] #100 cbmc.git 6.0.1-alt1: build start 2024-Jun-22 00:58:37 :: [ppc64le] #100 cbmc.git 6.0.1-alt1: build start [aarch64] __libcheck.c: In function 'vsnprintf': [aarch64] __libcheck.c:1777:31: error: incompatible type for argument 1 of '__CPROVER_OBJECT_SIZE' [aarch64] 1777 | __CPROVER_OBJECT_SIZE(ap)) [aarch64] -- [aarch64] 59 | __CPROVER_size_t __CPROVER_OBJECT_SIZE(const void *); [aarch64] __libcheck.c:1782:65: error: incompatible type for argument 1 of '__CPROVER_POINTER_OBJECT' [aarch64] 1782 | __CPROVER_POINTER_OBJECT(str) != __CPROVER_POINTER_OBJECT(ap), [aarch64] -- [aarch64] __libcheck.c: In function 's__builtin___vsnprintf_chk': [aarch64] __libcheck.c:1825:31: error: incompatible type for argument 1 of '__CPROVER_OBJECT_SIZE' [aarch64] 1825 | __CPROVER_OBJECT_SIZE(ap)) [aarch64] -- [aarch64] 59 | __CPROVER_size_t __CPROVER_OBJECT_SIZE(const void *); [aarch64] __libcheck.c:1830:65: error: incompatible type for argument 1 of '__CPROVER_POINTER_OBJECT' [aarch64] 1830 | __CPROVER_POINTER_OBJECT(str) != __CPROVER_POINTER_OBJECT(ap), [aarch64] -- [aarch64] cc1: note: unrecognized command-line option '-Wno-dollar-in-identifier-extension' may have been intended to silence earlier diagnostics [aarch64] rm: cannot remove '__libcheck.s': No such file or directory [aarch64] gmake[2]: *** [src/ansi-c/CMakeFiles/ansi-c.dir/build.make:293: src/ansi-c/library-check.stamp] Error 1 2024-Jun-22 01:01:46 :: [aarch64] cbmc.git 6.0.1-alt1: remote: build failed 2024-Jun-22 01:01:46 :: [aarch64] #100 cbmc.git 6.0.1-alt1: build FAILED 2024-Jun-22 01:01:46 :: [aarch64] requesting cancellation of task processing 2024-Jun-22 01:03:55 :: [x86_64] #100 cbmc.git 6.0.1-alt1: build OK 2024-Jun-22 01:05:51 :: [ppc64le] #100 cbmc.git 6.0.1-alt1: build OK 2024-Jun-22 01:10:33 :: [i586] #100 cbmc.git 6.0.1-alt1: build OK 2024-Jun-22 01:01:47 :: [aarch64] build FAILED 2024-Jun-22 01:10:33 :: task #351306 for sisyphus FAILED