If as assert fails, is there a bug?

Posted by RichAmberale on Stack Overflow See other posts from Stack Overflow or by RichAmberale
Published on 2010-05-20T21:16:04Z Indexed on 2010/05/20 21:20 UTC
Read the original article Hit count: 256

Filed under:

design

|

assert

|

debugging

I've always followed the logic: if assert fails, then there is a bug. Root cause could either be:

Assert itself is invalid (bug)
There is a programming error (bug)
(no other options)

I.E. Are there any other conclusions one could come to? Are there cases where an assert would fail and there is no bug?

© Stack Overflow or respective owner

Related posts about design

What is difference between Interaction design, Visual Design, Web design, UX design, UI design, UI d

as seen on Stack Overflow - Search for 'Stack Overflow'
What is difference between Interaction design, Visual Design, Web design, UX design, UI design, UI development? BTB, link found below answered for UI Vs UX. http://stackoverflow.com/questions/1334496/difference-between-ui-and-ux >>> More
The Incremental Architect’s Napkin - #5 - Design functions for extensibility and readability

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
Originally posted on: http://geekswithblogs.net/theArchitectsNapkin/archive/2014/08/24/the-incremental-architectrsquos-napkin---5---design-functions-for.aspx The functionality of programs is entered via Entry Points. So what we´re talking about when designing software is a bunch of functions handling… >>> More
Logo Design Online: Process Of Hiring And Working With An Online Logo Design Company

as seen on Article City - Search for 'Article City'
Hiring an online logo design company is not easy these days; you will find hundreds of logo design companies on just click of a mouse. But it';s up to your decision making skills how you select a best... [Author: Gisselle Gloria - Web Design and Development - October 05, 2009] >>> More
OO Design - polymorphism - how to design for handing streams of different file types

as seen on Stack Overflow - Search for 'Stack Overflow'
I've little experience with advanced OO practices, and I want to design this properly as an exercise. I'm thinking of implementing the following, and I'm asking if I'm going about this the right way. I have a class PImage that holds the raw data and some information I need for an image file. Its… >>> More
Is there any guidelines to convert Table design to Div design keeping same cross browser compatible

as seen on Stack Overflow - Search for 'Stack Overflow'
Is there any guidelines to convert Table design to Div design keeping same cross browser compatible layout? >>> More

Related posts about assert

Assert a good practice or not ?

as seen on Stack Overflow - Search for 'Stack Overflow'
Is it a good practice to use Assert for function parameters to enforce their validity. I was going through the source code of Spring Framework and I noticed that they use Assert.notNull a lot. Here's an example public static ParsedSql parseSqlStatement(String sql) { Assert.notNull(sql, "SQL… >>> More
Slow Scala assert

as seen on Stack Overflow - Search for 'Stack Overflow'
We've been profiling our code recently and we've come across a few annoying hotspots. They're in the form assert(a == b, a + " is not equal to " + b) Because some of these asserts can be in code called a huge amount of times the string concat starts to add up. assert is defined as: def assert(assumption… >>> More
IOKit header assert.h gone?

as seen on Stack Overflow - Search for 'Stack Overflow'
I want to get the hardware address of my mac's ethernet card. In all samples I saw in include on . Which seems not to exist on my system. GCC throws an error saying he doesn't know the type IOEthernetAddress. Is assert.h necessary for my task? It would be great if someone coud give me a working sample… >>> More
What is default javac source mode (assert as identifier compilation)?

as seen on Stack Overflow - Search for 'Stack Overflow'
According to Orcale's Java7 assert guide: source mode 1.3 (default) — the compiler accepts programs that use assert as an identifier, but issues warnings. In this mode, programs are not permitted to use the assert statement. source mode 1.4 — the compiler generates an error message if the… >>> More
Can someone help me with this Java Chess game please?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hey guys, Please can someone have a look at this code and let me know whether I am on the right track with the "check_somefigure_move"s and the "check_black/white_promotion"s please? And also any other help you can give would be greatly appreciated! Thanks! P.S. I know the code is not the best… >>> More