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=unavailable autolearn_force=no version=3.4.1 Date: Tue, 30 Jul 2024 05:54:54 +0000 From: "Girar awaiter (vt)" To: Vitaly Chikunov Subject: [#353937] [test-only] FAILED cbmc.git=6.1.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: 353937 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/353937/ X-girar-task-log: logs/events.1.1.log X-girar-task-summary: [#353937] [test-only] FAILED cbmc.git=6.1.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: Tue, 30 Jul 2024 05:55:00 -0000 Archived-At: List-Archive: https://git.altlinux.org/tasks/353937/logs/events.1.1.log subtask name aarch64 i586 ppc64le x86_64 #100 cbmc failed 6:46 7:01 5:10 2024-Jul-30 05:47:51 :: test-only task #353937 for sisyphus started by vt: #100 build 6.1.1-alt1 from /people/vt/packages/cbmc.git fetched at 2024-Jul-30 05:47:49 2024-Jul-30 05:47:53 :: [i586] #100 cbmc.git 6.1.1-alt1: build start 2024-Jul-30 05:47:53 :: [ppc64le] #100 cbmc.git 6.1.1-alt1: build start 2024-Jul-30 05:47:53 :: [x86_64] #100 cbmc.git 6.1.1-alt1: build start 2024-Jul-30 05:47:53 :: [aarch64] #100 cbmc.git 6.1.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-Jul-30 05:50:51 :: [aarch64] cbmc.git 6.1.1-alt1: remote: build failed 2024-Jul-30 05:50:51 :: [aarch64] #100 cbmc.git 6.1.1-alt1: build FAILED 2024-Jul-30 05:50:51 :: [aarch64] requesting cancellation of task processing 2024-Jul-30 05:53:03 :: [x86_64] #100 cbmc.git 6.1.1-alt1: build OK 2024-Jul-30 05:54:39 :: [i586] #100 cbmc.git 6.1.1-alt1: build OK 2024-Jul-30 05:54:54 :: [ppc64le] #100 cbmc.git 6.1.1-alt1: build OK 2024-Jul-30 05:50:51 :: [aarch64] build FAILED 2024-Jul-30 05:54:54 :: task #353937 for sisyphus FAILED