analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard

Published 20 hours ago • verified publisher icon goblint

Document implementation-defined behavior following GCC

Open michael-schwarz opened this issue 4 months ago • 0 comments

As a follow-up of #1414 this documents one further instance where we make assumptions (implementation-defined behavior follows GCC).

michael-schwarz avatar Apr 17 '24 08:04 michael-schwarz